■MOLS(その1)
MOLSとはたがいに直交するラテン方陣の略号である。オイラーは直交ラテン方陣(グレコ・ラテン方陣、オイラー方陣)の研究に着手した。
7x7の49士官問題は解くことができたが、6x6の36士官問題は不可能であると記したものの、証明できなかった。
そして、オイラーは
予想「n=2(mod4)に対して、位数nの直交するラテン方陣の対は存在しない」
を提示した。この予想は長い間解けないまま残っていた。
===================================
1900年にタリーがn=6に対して予想が正しいことを示すまで1世紀以上かかった。
ボーズ・パーカー・シュリックハンデがそのほかのすべてのn=2(mod4)に対して、予想が間違いであることを証明するまでに2世紀を要した
のである。
===================================