玄関の鍵を確実に空ける方法

鍵のパターンを記号化すると全部で4通り
00
01
10
11
1がクローズで0がオープンとする
両方とも0になったときに玄関のドアは開くこととする
これらを初期状態がどうあれ一定の試行回数で解決できることを証明する

左が初期状態、右が試行する作業
00	- 00 オープン
	- 01
	- 10
	- 11
01	- 00
	- 01 オープン
	- 10
	- 11
10	- 00
	- 01
	- 10 オープン
	- 11
11	- 00
	- 01
	- 10
	- 11 オープン

可能な初期状態4つすべてにおいて、最大4回の試行回数で鍵をオープンできることを証明できた

さらに応用として
初期状態には特性があるのでそれにあわせて試行順序をかえる

頻度が多い順に並び変える
00 > 10 > 11 > 01