セットを比較する関数。

Question

2つのリストを比較して同じセットを表すかどうかを調べる関数を作成しようとしています。つまり、'(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

(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はそのための構成です。 1つのCONDに収まらない場合は、2つ目の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を使用してリストを比較することはできません。等号を使用してください。

(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は場合に使用します、ここで過剰です：

(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))))) 

今、あなただけの機能が宿題に頼まれたものを行うようにする必要があります。とにかくあなたの宿題です。

Answer 2

私はあなたが1がある問題を解決するための組み込み関数を使用することはできませんが、ちょうど注意することが推測：N（

(set-difference list1 list2)