作业：子列表？检查一个项目是否是第一个项目的子列表

Question

所以我有这个程序需要使用具有以下属性的 Racket 在 Scheme 中编写，我很难过。该函数称为sublist?，有两个输入S 和L，它们都是列表。它检查 S 是否是L 的子列表并返回#t 或#f。

示例类似于：

sublist? of (A A) and (A B C) is #f
sublist? of (A B C) and (A B D A B C D) is #t
sublist? of (A (B)) and (C ((A (B))) (C)) is #t

需要创建一个名为extractLists 的小函数来提取列表，(atomicSublist S L) 用于检查两个提取的列表以查看S 的每个元素是否在L 中。

目前为止

(define (atomicSublist S L)
  (cond ((null? L) #f)
        ((equal? S (car L)) #t)
        (else (atomicSublist S (cdr L)))))

第二部分并没有真正做任何事情，甚至不输出S的提取值。

更新代码： 只是为了测试，我现在使用atomicSublist 来检查。

Answer 1

从一个更简单的问题开始，然后进行概括。

您将如何编写一个函数来检查符号 'a 是否是一个列表？

Answer 2

我不认为你想要这张支票((equal? S (car L) ) #t)，因为 L 的车永远不会等于列表 S。

这就是我想出的 atomicSublist 的内容。

    (define (atomicSublist S L)
        (cond
            [(null? S) #t]
            [(member? (car S) L) (atomicSublist (cdr s) L)]
            [else #f]))

Answer 3

这个问题有点模棱两可。这应该返回什么？ (子列表？'(a (b)) '(a b c d e)) ??

不管怎样，这是我写的：

(define (sublist? s l)  
  (cond ((null? s) true)
        ((atom? (car s))
         (cond ((exists? (car s) l) (sublist? (cdr s) (remove-elm (car s) l)))
               (else false)))
        (else 
         (cond ((sublist? (car s) l) (sublist? (cdr s) (remove-elm (car s) l)))
               (else false)))))


(define (exists? elm l)
  (cond ((null? l) false) 
        ((atom? (car l))
         (cond ((symbol=? elm (car l)) true)
               (else (exists? elm (cdr l)))))
        (else
         (cond ((exists? elm (car l)) true)
               (else (exists? elm (cdr l)))))))



(define (remove-elm elm l)
  (cond ((null? l) '())
        ((null? elm) l)
        ((atom? elm)
         (cond ((atom? (car l)) 
                (cond ((symbol=? elm (car l)) (cdr l))
                      (else (cons (car l) (remove-elm elm (cdr l))))))
               (else
                (cons (remove-elm elm (car l)) (remove-elm elm (cdr l))))))
        (else
         (remove-elm (cdr elm) (remove-elm (car elm) l)))))


(define (atom? elm)
  (and (not (null? elm)) (not (pair? elm))))

(sublist? '(a a) ('a b c d e)) 返回#f。 (sublist? '(a b c) '(a d b e c f)) 返回 #t。 (sublist? '(a (b)) '(c ((a (b)) e f))) 返回#t。 (sublist? '(a (b) b) '(c ((a (b)) e f))) retrns #f。但是，(sublist? '(a (b)) '(a b c d)) 返回 #t。