2017-03-31 109 views
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.

任何人都可以請給我解釋一下它們有什麼區別?最好用一個例子。

+2

他們期待我,而不是相似,但互補的定義。 –

+0

那是怎麼回事?如果一個項集S違反了一個單調約束C,那麼它的任何子集也違反了C_和一個違反反單調約束C的項集的超集也違反了C_ 它們是不是相同? – Khacho

+0

非常感謝。這很清楚。你能寫出答案,以便我可以將它標記爲已解決嗎? – Khacho

回答

1

有了第一個定義,如果S違反C,它的一個超集可能無法也違反C,但一個子集必須 ...若S滿足C,它的一個超集必須也滿足C,但子集可能不是

第二個定義是周圍的其他方法......如果S違反C,它的一個超集必須也違反C,但一個子集可能不 ...如果S滿足C,它的一個超集可能不是也滿足C但子集必須

相關問題