証明概略(続)
この図から、XY=Kとすると、
なので長さkの と
の2つのサイクルはKを
構成する⇒同じ要素数のサイクルが常にペアで存
在
K(a1) = a3, K(a3) = a5, ...
K(a2) = a2k, K(a4) = a2, ...
a1 a3 a5 ... a2k 3 a2k 1
a2 a4 a6 ... a2k 2 a2k
X
X
X
X
X
Y
K K K KK
KK K K KK
K
(a1, a3, ..., a2k 3, a2k 1)
(a2, a4, ..., a2k 2, a2k)
で共通項を置き換えると、
Q = MLRL 1
M 1
A = SPNP 1
QPN 1
P 1
S 1
B = SP2
NP 2
QP2
N 1
P 2
S 1
F = SP6
NP 6
QP6
N 1
P 6
S 1
...............
• S,N,Qの3つの変数(置換)が未知で、このまま
解くのは厳しい
• しかし丁度いいタイミングでレイェフスキの手
元にドイツ軍の日鍵のデータが届く
⇒プラグボード配列Sが既知となった
残る未知数はNとQ Qを消去することを考える
既知のPとSを左辺に追い出し、U〜Zと置く
...............
Z = P 6
S 1
FSP6
= NP 6
QP6
N 1
V = P 2
S 1
BSP2
= NP 2
QP2
N 1
U = P 1
S 1
ASP = NP 1
QPN 1
UV = NP 1
(QP 1
QP)PN 1
V W = NP 2
(QP 1
QP)P2
N 1
WX = NP 3
(QP 1
QP)P3
N 1
XY = NP 4
(QP 1
QP)P4
N 1
Y Z = NP 5
(QP 1
QP)P5
N 1
各値の積を取ると、
共通項 を消去して以下の式を得る
QP 1
QP
V W = NP 1
N 1
(UV )NPN 1
WX = NP 1
N 1
(V W)NPN 1
XY = NP 1
N 1
(WX)NPN 1
Y Z = NP 1
N 1
(XY )NPN 1
G = T 1
HT という形の変換が持つ性質を利用
して、 を一意に定めることができる
NPN 1
NPN 1
Z C Z C
B L D D
初期ボンベの仕組み
• プラグボードの効果は打ち消し合うので無視できる
• プラグボード無しで、クリブの文字位置に応じてローター
位置を進めた複数の擬似エニグマ回路を直列につなぐ
• 最初にペアになっていると仮定した文字を突っこみ、最
初と最後に矛盾があるかどうかだけを見ればよい
擬似
エニグマ
(AAA)
プラグ無し
SとBがプラグ結線さ
れており、初期ロー
ター位置をAAAとした
場合
擬似
エニグマ
(AAD)
擬似
エニグマ
(AAF)
擬似
エニグマ
(AAJ)
矛盾