背景
\（CCF \） \（NOI \） \（2001 \） \（1日目\） \（TL \）、\ （Luogu \） \（P1955 / Vijos1531 \）
問題の意味
与えられた3匹の動物\（A、B、C \ ） コ\（N- \）のみ（今不確か種）。所定\（A \）は食べる\（B \）、\ （B \）食べる（C \）\ \ （C \）食べる（A \）\、得られる（N- \）\さもなければ状（\ 1 XY（X、Y \に [1、N]）\） または\（XY 2（X-、[1、N-]でY \）\）の説明の前に、\（X- \）と\（Y \ ）と同じです。説明の後\（X- \）食べる（Y \）\。プロビジョニング文が偽の場合で、3つがあります：最初はより与えられた動物の数れる（N- \）\言葉で現在の句は、それが現在言うように第三であるよりも、早くも矛盾したように、第二の現れているX（\ \）を食べる\（X-を\） 。嘘の数を探しています。
ソリューション
有名な拡張フィールドの互いに素セット（互いに素セットのようなもの）がそれを果たしました！
関係のみを食べることと同じ3種類の各動物考える食べられるので\（X（X \に[ 1、N]）\） 土の集合に分割される（x_self、x_enemy、x_eat \）\、それぞれ、その前記同様のコレクション、捕食者と食品のコレクションのコレクション。
少し後にもっとしませネットワークない、と。