由于 SSS 可以是第一行的任意房间,GGG 可以是最后一行的任意房间,是否存在合适的一对与第一行内部相连的 n−1n-1n−1 扇门、以及最后一行内部的 n−1n-1n−1 扇门是否上锁无关;这样的自由门共有 2(n−1)2(n-1)2(n−1) 扇。将第一行收缩为一个顶点 AAA,最后一行收缩为一个顶点 BBB,其余房间与门构成一个图 G\mathcal{G}G,共有 n2+(n−1)2n^2+(n-1)^2n2+(n−1)2 条边,问题归结为计数这些边的子集 HHH,使得 AAA 与 BBB 在 HHH 中连通。