SML：從另一個列表中減去一個列表

Question

從另一個列表中減去一個列表最簡單的方法是什麼？我需要使用ListPair來解決這個任務嗎？請注意，我需要比較ROWS，而不是單個元素。舉例來說，有兩個列表 「L1」 和 「L2」：

L1 = 
[(1, 2, 3), 
(4, 5, 6)] 

L2 = 
[(1, 2, 3), 
(4, 5, 6), 
(3, 2, 3] 

我需要通過應用L3 = L2-L1獲得 「L3」：

L3 = 
[(3, 2, 3)] 

感謝。

Answer 1

正如我所理解的問題，你想刪除L2中也是L1中的元素，但每次出現只有一次。

一個簡單的解決方案可能會涉及一個輔助函數，告訴您在L1中是否找到元素，以及刪除此元素的L1的其餘部分。

fun remFirst _ [] rest = (false, rev rest) 
    | remFirst x (y::ys) rest = 
    if x = y then 
     (true, rev rest @ ys) 
    else 
     remFirst x ys (y :: rest) 

現在，你可以通過L2迭代，每次remFirst返回true丟棄元素，然後用列表的其餘部分進行。

如果您想要刪除L2與L1共有的前綴，事情會變得簡單一些。

fun remPref [] _   = [] 
    | remPref xs []   = xs 
    | remPref (x::xs) (y::ys) = if x = y then remPref xs ys else (x::xs) 

更新：問題現在已被改變。

如果現在要求從L2中刪除L1中的元素，則過濾器很有用。

List.filter (fn x => List.all (fn y => x <> y) L1) L2