MathLabs

第5問

nn を正の整数とする。(n+1)×n(n+1)\times n 型に並んだ n(n+1)n(n+1) 個の部屋がある。隣り合う二部屋の間には扉が一つある。扉の部分集合を選んで施錠し、次を満たす二部屋 SS、GG が存在するようにする方法の数を求めよ。 (i) SS は第 1 行、GG は第 (n+1)(n+1) 行にある。 (ii) 施錠されていない扉のみを使って SS から GG に到達できる。
ステップ 3/5: HH が A,BA,B を連結することと f(H)f(H) が連結しないことは同値
H achievable  ⟺  f(H) not achievableH\text{ achievable} \iff f(H)\text{ not achievable}
詳しい解説

HH において AA と BB が連結であるとき HH を到達可能と呼ぶ。HH が辺 p1,…,pkp_1,\dots,p_k を通じて到達可能なら、ff の構成上 p1,…,pkp_1,\dots,p_k のどの辺も f(H)f(H) には属さないので、f(H)f(H) における AA から BB への経路はこれらの辺のいずれかを使わずに横切らねばならず、それは不可能である。よって f(H)f(H) は到達可能でない。逆に HH が到達可能でなければ、HH における AA の連結成分から出る辺はすべて HH の外にあり、これらを ff で転置すると AA と BB を結ぶ f(H)f(H) の連結な辺の鎖が得られる。よって f(H)f(H) は到達可能である。以上より HH が到達可能であることと f(H)f(H) が到達可能でないことは同値である。