■MOLS(その1)

MOLSとはたがいに直交するラテン方陣の略号である。オイラーは直交ラテン方陣(グレコ・ラテン方陣、オイラー方陣)の研究に着手した。

7x7の49士官問題は解くことができたが、6x6の36士官問題は不可能であると記したものの、証明できなかった。

そして、オイラーは

予想「n=2(mod4)に対して、位数nの直交するラテン方陣の対は存在しない」

を提示した。この予想は長い間解けないまま残っていた。

===================================

1900年にタリーがn=6に対して予想が正しいことを示すまで1世紀以上かかった。

ボーズ・パーカー・シュリックハンデがそのほかのすべてのn=2(mod4)に対して、予想が間違いであることを証明するまでに2世紀を要した

のである。

===================================