Platon Sudoku · 数独研究室
唯一解の前提 · 基本概念
唯一性の推論には完成解が一つという保証が必要です。
このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。
Google Play で見る定義
唯一性の推論には完成解が一つという保証が必要です。
探し方
問題の出所が唯一解を保証するか確認します。
よくある誤り
局所的な候補図だけで問題全体の唯一性は証明できません。
段階的な例
学習盤 · 局所候補の図
候補を見る
唯一性の推論には完成解が一つという保証が必要です。
条件を確認
問題の出所が唯一解を保証するか確認します。
結論を出す
局所図では唯一解を証明できず、問題の出所による保証が必要です。
見分ける練習
学習盤 · 局所候補の図
見分ける練習 1
問題が唯一解を保証しています。前提にできますか？
結論を出す
成立
見分ける練習 2
唯一解の保証がありません。局所図だけで前提にできますか？
結論を出す
不成立
見分ける練習 3
問題が唯一解を保証しています。前提にできますか？
結論を出す
成立
見分ける練習 4
唯一解の保証がありません。局所図だけで前提にできますか？
結論を出す
不成立
見分ける練習 5
問題が唯一解を保証しています。前提にできますか？
結論を出す
成立
見分ける練習 6
唯一解の保証がありません。局所図だけで前提にできますか？
結論を出す
不成立
見分ける練習 7
問題が唯一解を保証しています。前提にできますか？
結論を出す
成立
見分ける練習 8
唯一解の保証がありません。局所図だけで前提にできますか？
結論を出す
不成立
見分ける練習 9
問題が唯一解を保証しています。前提にできますか？
結論を出す
成立
見分ける練習 10
唯一解の保証がありません。局所図だけで前提にできますか？
結論を出す
不成立
見分ける練習 11
問題が唯一解を保証しています。前提にできますか？
結論を出す
成立
見分ける練習 12
唯一解の保証がありません。局所図だけで前提にできますか？
結論を出す
不成立
練習
このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。
Google Play で見る