0
我已經通過網絡查看了這個答案,我得到的是兩個類似的定義。這是我發現的:反單調性和單調性約束是什麼意思?
單調約束具有以下屬性。如果一個項集S違反了單調約束C,那麼它的任何子集也違反了C.等價地,滿足單調約束C的項集的所有超集也滿足C(即,C向上關閉)。 Monotone
反單調約束具有以下好的屬性。如果項集S滿足反單調約束C,則其所有子集也滿足C(即,C向下關閉)。同樣地,違反了反單調約束的項目集的任何超C也違反C. Anti-monotone
引用的定義中的鏈接:
約束C是單調的,當且僅當對所有項目集S和S': 若S⊇S'和S違反C,然後S'違反C.
約束C是反單調當且僅當所有項集S和S': 若S⊇小號'且S滿足C,則S'滿足C.
任何人都可以請給我解釋一下它們有什麼區別?最好用一個例子。
他們期待我,而不是相似,但互補的定義。 –
那是怎麼回事?如果一個項集S違反了一個單調約束C,那麼它的任何子集也違反了C_和一個違反反單調約束C的項集的超集也違反了C_ 它們是不是相同? – Khacho
非常感謝。這很清楚。你能寫出答案,以便我可以將它標記爲已解決嗎? – Khacho