対戦表の推論問題の解き方｜条件整理で最小情報から全体を特定する思考プロセス解説

バドミントンの対戦関係をもとに、追加情報から全体の関係を一意に特定する推論問題は、条件整理と場合分けの考え方が重要になります。本記事では、与えられた条件をどのように読み解き、なぜ特定の組み合わせで全体が確定するのかを段階的に整理します。

問題の構造を整理する

登場人物はM、N、O、P、Qの5人で、それぞれ「対戦した／していない」の関係のみが与えられています。

まず重要なのは、全体が「グラフ構造（点と線）」として扱えるという点です。

各人を点、対戦を線と考えることで整理が容易になります。

Mは4人のうちちょうど2人と対戦しているため、Mの接続数（次数）は2です。

NはOとしか対戦していないため、Nの対戦相手はOのみで確定します。

この時点でN-Oの関係は固定され、Oの候補関係も大きく制約されます。

X：OはPと対戦している

Y：QはMと対戦している

Z：OはQと対戦している

これらはそれぞれ「辺（対戦関係）」を追加する情報であり、全体の構造を一気に制約します。

XによりO-Pの関係が確定し、ZによりO-Qの関係が確定します。

これでOはN・P・Qのうち複数と関係が確定し、残りの構造が強く制限されます。

さらにNはOとしか対戦しないため、N-Oが固定され、Oの対戦相手が完全に埋まります。

結果としてMの対戦相手も消去法で確定し、全体が一意に定まります。

Y（QとMの対戦）は局所的な情報にとどまり、Oの関係制約を十分に絞れません。

そのため、複数の対戦パターンが残り、全体の一意性が保証されません。

この違いが「最小で確定できる組み合わせ」に影響します。

この問題の本質は、対戦関係をグラフとして捉え、制約を順に固定していくことにあります。

N-Oの固定条件を起点に、XとZでOの接続が完全に決まり、全体構造が確定します。

局所情報ではなく、制約の連鎖を作れる組み合わせが正解の鍵になります。