内容：
- 簡単な紹介
- 例の分析
I.はじめに
通常の互いに素セットだけという接続を維持することができます朋友的朋友是朋友。私たちはある時、の反対を維持したい場合敌人的敌人是敌人、あなたは型をチェックし、設定する必要があります。
互いに素セットの種類は2互いに素セットに分割されている要素に言及、中国聯通は、2友人であることを、私たちは同じ焦点を置いてチェックする場合は、反対の二つが敵であることを、私たちがするかどうかその二つの異なるチェック焦点に。
しかし、今回はこの2つの要素がに属している必要があります知っていないA地層やB私たちが最初に裁判官の前にそれを入れて、地層。場合に関連するが、合併の2回目されていない地層に開始は、彼らが、何を決定する必要があり朋友、それは同じ調査および焦点に配置されます。場合敌人、それは異なるフォーカスの調査であろう。
第二に、例のブリーフ
三元互いに素なセットタイプ（、P2024 [NOI2001]食物連鎖）
説明：
与えられた\（N \）の要素は、以下の2つの関係：
- \（x \ SIM Y \）（xおよびyは同じであることを意味します）
- \（X \ RIGHTARROW Y- \）（Yを食べることのx手段）
定数を与える\（M \）を決定文で、\（N- \）の関係要素、真と偽の判決文を。
優先mothod：
もちろん、我々は二つの要素xとyの間の関係の3種類があることがわかります。
- \（X \ Y \）
- $ X \ RIGHTARROW yの$
- \（X \ LEFTARROWと\）
上述の互いに素なセットを使用して、この時点で二元の種この調査及び二つの要素の唯一の2つのセットの間の関係ので、明らかに不可能である。反対に通信。
しかし、ばらばらのセットのない種類の二元、三元を使用して、我々はセットああを確認することができます。この時点で、我々はすべての要素は、3つの互いに素なセットに分割され、
A地層は最先端の動物を表し、B地層は、中間段階の動物を表すC地層は、動物の最低レベルを表します。この場合、不変で\（A \ RIGHTARROW B \）、\ （B \ RIGHTARROW C \） 。それでは、どのように要素をマージするのですか？
$ X \ simのyの$場合は、私たちは、xとy、その後、私たちはしますに属しているエンド地層中に知らない
A、B、C地層xのそれぞれとyが一緒に接続されています。その\（X_A \ eqcirc Y_A \） 、\（x_b \ eqcirc y_B \） 、\（X_C \ eqcirc Y_c \） （\（X_C \）を表しCで\（X- \ \）、$ \ eqcircを$左右を表します合わせた素子の両側）。場合は\（X \ RIGHTARROWのy \）私たちは、以前に定義された地層続くので、我々はまた、地層の端部には、xとyを知らない
Axと地層でB、他の2に類似のy合併、中を。それ\（X_A \ eqcirc y_B \） 、\（x_b \ eqcirc Y_c \）、$ X_C \ eqcirc Y_A $。真と偽のステートメントを決定するためにどのようにそれを持っていますか？まず、あなたは文が真であることを、我々は判断し、その決定をすることができ、正面から判断することは非常に困難であること、困難であり、抗困難であり、私たちは反対のことを考えてみましょう。
文の場合は\（X- \ SIM Y- \） 、我々はどうか、である負側から判断\（X \ RIGHTARROW Y \）または\（X- \ LEFTARROW \ y軸）。その決意\（X_A \ eqcirc y_B \）または\（Y_A \ eqcirc x_b \） 。
文の場合は\（X-は\ \ y軸をRIGHTARROW） 、我々はそれがあるかどうかを判断する（X \ SIMのy \）\または\（\ Y- LEFTARROW X- \） 。その決意\（X_A \ eqcirc y_A \）または\（Y_A \ eqcirc x_b \） 。
最後に、質問は単純なテンプレートです。