2
数独のYウィング戦略
私は最近、本当に難しい数独を生成する新しい数独アプリを手に入れました。これは標準的な戦略では解決できません。それで、私はいくつかの新しいものを学ばなければなりませんでした。これらの戦略の1つはY-Wing戦略です。「厳しい戦略」の下にランク付けされていますが、実際はそれほど難しくありません。 例 この戦略では、4つのセルのみが重要です。したがって、画像内の他のセルはすべて無視しました。 各セルのすべての候補を調べます。次の例では、候補のあるセル3 7（つまり、同じ行に、同じ3x3ボックスに1 2 4 5 6 8 9あるなどの理由で候補をすでに拒否していることを意味します）、候補のあるセル、候補のあるセルと候補のあるセル。Y-Wing戦略は、正解セルの候補からを削除し、候補としてのみ残して、それを埋めることができることを示唆します。したがって、正しい数を見つけ、完全な数独を解決するための一歩近づいています。126 73 62 662 なぜ6削除できるのですか？ 説明 6が真のセルの正しい数であると仮定しましょう。今そこにある6ので、我々は削除することができ、この列に6のみ残し、右上のセルの候補から7、我々は埋めることができたし。同じことは、左下のセルで発生します。を削除して6に記入でき3ます。ここで、左上のセルを見ると矛盾が生じています。これ7は、同じ行と列に既にaが存在するため、候補のと3を削除し7て、3候補をまったく残さないようにするためです。これは明らかに不可能です。したがって、6は正しいセルの正しい数にはなりません。 より正確には：候補を持つセルが4つあり[A B] [A C] [C D] [B C]（この順序または循環回転）、セルが（同じ行、同じ列、または同じ3x3ボックスを介して）円で接続されている（セル1がセル2に接続されている場合） 1セルに接続された4セルに接続されているセル3）に接続され、削除することができるよりも、Cより[C D]細胞。これは3個のセルという、非常に重要である[A B]、[A C]と[B C]2人のだけの候補者それぞれが含まれています。異なるセルには[C D]、多かれ少なかれ含まれている可能性があります（Dゼロ、1つ、またはさらに多くの候補が可能です）。 どちらの方法でも接続できると明示的に述べたことに注意してください。次の例では、戦略が再び適用されていることがわかります。しかし、今回は4つのセルが長方形を形成していません。左下と右下のセルは、同じ3x3ボックス内にあるため、単純に接続されています。Y-Wingによると、1左上のセルの候補として削除できます。今回は、このセルにまだ2つの候補が残っているため、実際には新しい正しい番号が見つかりませんでした。しかし、それにもかかわらず、1さまざまな戦略への扉を開くことができます。 戦略についての詳細が必要な場合、またはさらにいくつかの例が必要な場合は、sudokuwiki.orgにアクセスしてください。 チャレンジ仕様 セルの候補を表す4つのリストを入力として受け取ります。4つのセルは円のように接続されます（セル1はセル2に接続され、セル2はセル3に接続され、セル3はセル4に接続され、セル4はセル1に接続されます）。各リストは昇順でソートされていると想定できます。 あなたの仕事は、（Y-Wing戦略を適用して）1人の候補者を削除し、結果の候補者リストを同じ順序で返すことです。戦略を適用できない場合は、同じ候補者リストを返すだけです。 2つの解決策がある場合（セルBのAを削除するか、セルDのCを削除することができます）、1つのソリューションのみを返します。どちらでもかまいません。 入力は、任意のネイティブリストまたは配列形式にすることができます。リストのリストなどを使用することもできます。STDIN、コマンドライン引数、プロンプトまたは関数引数を介して入力を受け取り、戻り値を介して、または単にSTDOUTに出力することで出力を返すことができます。 これはコードゴルフです。最短のコード（バイト単位）が優先されます。 テストケース [3 7] [6 7] [2 6] [3 6] => [3 …