处理两个复杂输入（删除列表中重复符号的列表）

Question

这个问题来自htdp<的练习17.6.5 /a>.我需要一些有关如何确定列表列表中一对符号是否唯一的指导。

这是我到目前为止得到的结果：

;; pair : symbol, list of symbols -> list of list of symbols

;; an auxiliary function that returns a list of possibly non-unique 
;; lists of pairings from a name (symbol) and a list of names (list of symbols).

;; output from (pair 'Alice '(Bob Charlie))
;; (list 
;; (list 'Alice 'Bob) (list 'Bob 'Alice) (list 'Alice 'Charlie)
;; (list 'Charlie 'Alice) (list 'Bob 'Charlie) (list 'Charlie 'Bob))

(define (pair name alist)
  (cond
  [(empty? alist) empty]

  [(cons? alist) (append (pair name (first alist))
                         (pair name (rest alist))
                         (pair (first alist) (rest alist)))]

  [else (list (append (list name)(list alist))
              (append (list alist)(list name)))]))

如果将此函数应用于问题（5 个名称），它会生成 30 个符号对列表，其中 10 个是重复的。去除它们的适当方法是什么？在其他语言中，解决此问题的一种方法是通过创建数据结构并将每个项目插入该结构中来引入副作用，但前提是该项目尚未包含在该结构中。

我考虑过排序，但意识到我无法对符号进行排序，因为我只能测试是否相等，所以我几乎被困在这里，希望能得到任何见解。

编辑： 我添加了“非相同”的函数定义，它使用名称（符号）并生成对列表。

(define (non-same name alist)
  (cond
    [(empty? alist) empty]
       [(equal? name (first (first alist))) (cons (first alist) (non-same name (rest     alist)))]
       [else (non-same name (rest alist))]))

以下测试通过：

(non-same 'Mary (pair 'Mary '(Jane Laura Dana Louise)))
;; outputs (list (list 'Mary 'Jane) (list 'Mary 'Laura) (list 'Mary 'Dana) (list 'Mary 'Louise))

所以看来我走在正确的轨道上。不幸的是，我似乎是通过机缘巧合找到了解决方案，现在必须思考它是如何工作的，哈哈。

感谢所有阅读此问题的人，特别是克里斯的有用评论。

Answer 1

从读到这个问题，我有一种感觉，你找错了树。

您只需要三个函数：random-pick、non-same 和 arrangements。最后一个已在练习 12.4.2 中定义。

我从你的问题推测你想实现非相同。您将需要实现一个传递给 filter 的函数（或任何 HtDP 等效项）。然后，就很简单了：（

(define (non-same names arrangements)
  (define (usable? arrangement)
    ...)
  (filter usable? arrangements))

当然，您自己填写 ... 。该函数只需要返回一个布尔值，并且您不必触摸 append完全（正如您在问题中所做的那样）。）

我希望这足以提供暗示。如果您需要其他提示，请询问。 :-)