erlang - Erlang 列表理解,排列
问题描述
我正在修改书中的一个排列示例。以下代码按预期工作。
perms([]) -> [[]];
perms(L) -> [[H|T] || H <- L, T <- perms(L--[H])].
当我替换表达式时,它变成了这样:
[ [1 | perms([2])],
[2 | perms([1])] ]
[ [1 | [[2 | perms([])]]],
[2 | [[1 | perms([])]]] ]
[ [1 | [ [2 | [[]] ] ]],
[2 | [ [1 | [[]] ] ]] ]
这可以正确评估为 [[1,2], [2,1]]。
但是,当我将基本情况从包含空列表的列表更改为空列表时:
perms([]) -> [];
它返回一个空列表。当我替代时,我得到了这个。
[ [1 | [[2 | [] ]]],
[2 | [[1 | [] ]]] ]
我用 flatten 尝试了这两种表达方式,但它们产生了相同且正确的结果。
[[1 | lists:flatten([[2 | lists:flatten([[]]) ]])], [2 | lists:flatten([[1 | lists:flatten([[]]) ]])]]
[[1 | lists:flatten([[2 | lists:flatten([]) ]])], [2 | lists:flatten([[1 | lists:flatten([]) ]])]].
所以我无法弄清楚两个表达式之间的区别。
解决方案
这个函数实现了一个递归算法:
- 非空列表的排列是什么?对于列表中的每个元素,将列表的排列减去该元素,并将元素添加到每个这样的排列中。
- 空列表的排列是什么?只有一个:空列表本身,所以我们返回一个包含一个元素的列表,即空列表:
[[]]
通过将基本情况更改为 return[]
而不是[[]]
,您是在说:
- 空列表的排列是什么?有零排列。
然后在递归的情况下,您将进入“对...进行排列”的步骤 - 但没有排列,因此您无法在元素前添加任何内容。
推荐阅读
- amazon-web-services - 如果 EKS 工作程序节点位于私有子网中,则 ELB 服务中断
- python - Python:选择尖括号之间的文本
- c# - asp.net 实体框架“插入”语句与外键约束冲突
- javascript - 如何将脚本插入 Dojo html 文件?
- c# - 如何从数据库中获取数据列表中的特定 ID?
- plsql - 用于 varchar 处理的 PL/SQL 中的 NVL 与 NVL2
- html - Web Scraping:在找到关键字时需要帮助返回整段文本
- sql-server - Microsoft 从 SQLExpress nchar 查询 Excel 未返回
- parsing - 如何报告使用 anltr 定义的未定义语法的错误
- python - Pandas: Subset data frame using list, keeping duplicates multiple times