反モンタニティと単調性の制約は何を意味しますか？

Question

私はこの答えをウェブで見てきました。私が得たものは、両方の場合に似た定義です。これは私が見つけたものです：

モノトーンの制約は次の性質を持っています。項目セットSが単調制約Cに違反すると、そのサブセットのいずれかもCに違反する。同様に、単調制約Cを満たすアイテムセットのすべてのスーパーセットもCを満たす（すなわち、Cは上向きに閉じられる）。 Monotone

アンチモノトーン制約には、次のniceプロパティがあります。項目集合Sが反単調制約Cを満たす場合、その部分集合のすべてもCを満たす（すなわち、Cは下向きに閉じられる）。

制約Cがある場合にのみ、すべての項目セットのための場合は単調である：等価的に、アイテムセットのいずれかのスーパーセットはCもC. Anti-monotoneリンクの定義を引用

に違反する抗モノトーン制約に違反しますSとS '：S⊇S場合 は'とSがCに違反し、その後、S 'はC.

制約Cは抗単調であるに違反している場合にのみ、すべての項目セットのSとSのためならば'： S⊇Sの場合'であり、SがCを満たす場合、S'はCを満たす。

誰も私にそれを説明できますか？それらの違いは何ですか？好ましくは一例である。最初の定義で

Answer 1

、SはC、それのスーパーセットに違反した場合Sを満たすにはC、それのスーパーセット必見もCを満たさない場合はも... Cが、サブセット必見に違反するかもしれませんが、サブセットはではありません。

2番目の定義は、SはC、それのスーパーセットもCに違反しているが、サブセットがないかもしれないしなければならないに違反している場合...他の方法で回避され...そしてSを満たすC、それのスーパーセットであればもCを満たしていませんが、サブセットはでなければなりません。