比较集合的功能；帮助提高效率

Question

我正在尝试编写一个函数来比较两个列表以查看它们是否代表相同的集合。那就是'(a b c d d) 和'(d c b a d) 代表同一个集合。元素可以按任意顺序排列。

这就是我所拥有的，它有效：

(defun samesetp (list1 list2)
  (cond
    ((null list1) (null list2))
    ((eq list2 (remove (car list1) list2 :count 1)) nil)
    (t (samesetP (cdr list1) (remove (car list1) list2 :count 1))))))

我不喜欢这样的原因是 (remove (car list1) list2 :count 1)) 被计算了两次 - 一次是为了测试 remove 操作是否真的删除了任何东西，一次是为了递归地测试没有该元素的列表的其余部分。

谁能提出一种在不使用不同算法的情况下改进这一点的方法？

Answer 1

我猜你不允许使用内置函数来解决问题，但请注意有一个：

(set-difference list1 list2)

Answer 2

(defun samesetp (list1 list2)
    (cond
        ((null list1) (null list2))
        ((eq list2 (remove (car list1) list2 :count 1)) nil)
        (t (samesetP (cdr list1) (remove (car list1) list2 :count 1))))
    )
)

首先让我们正确格式化它：

(defun samesetp (list1 list2)
  (cond ((null list1) (null list2))
        ((eq list2 (remove (car list1) list2 :count 1)) nil)
        (t (samesetP (cdr list1) (remove (car list1) list2 :count 1)))))

如果您使用表单两次并且想要更改它，那么您需要存储一个值。 LET 就是它的构造。如果它不适合一个 COND，那么您需要第二个。

(defun samesetp (list1 list2)
  (cond ((null list1) (null list2))
        (t (let ((list3 (remove (car list1) list2 :count 1)))
             (cond ((eq list2 list3) nil)
                   (t (samesetP (cdr list1) list3)))))))

现在，EQ 不能用于比较列表。使用 EQUAL。

(defun samesetp (list1 list2)
  (cond ((null list1) (null list2))
        (t (let ((list3 (remove (car list1) list2 :count 1)))
             (cond ((equal list2 list3) nil)
                   (t (samesetP (cdr list1) list3)))))))

这里的 COND 是多余的，使用 IF:

(defun samesetp (list1 list2)
  (if (null list1)
      (null list2)
    (let ((list3 (remove (car list1) list2 :count 1)))
      (if (equal list2 list3)
          nil
        (samesetP (cdr list1) list3)))))

现在，您只需让函数执行作业中要求的操作。但无论如何，这是你的功课。