haskell - 检查第一个参数中的所有元素是否出现在第二个参数中

Question

我从代码中得到了错误的结果。

我想检查第一个参数列表中的元素是否出现在第二个参数列表中，我使用了此问题 Check, if list is a sublist of another list 中的代码但我没有得到想要的结果。

del :: Eq t => [t] -> [t] -> Bool
del [] [] = True 
del _ []  = False 
del [] _  = True
del (x:xs) (y:ys)
    | x == y    = del xs ys
    | otherwise = del (x:xs) ys

del [2,3] [3,3,1]  -- should return False, which it does, but 
del "cbbbc" "bca"  -- should return True, but instead it returns False

我不明白为什么？

Answer 1

"cbbbc" 不是 "bca" 的子列表，这意味着列表 "cbbbc" 不会出现在 内“bca”，就像 “ca” 一样。你的问题是另一回事。这是一个工作代码，时间复杂度为 O(n):

del :: Eq a => [a] -> [a] -> Bool
del xs ys = all (`elem` ys) xs

这意味着:当(且仅当)对于 xs 中的每个 x 时，返回 True，x是 ys 的元素。