■差分基底(その18)

 一般に,m=p^k+1のとき,オイラー関数を用いて

  φ(m^2−m+1)/6k通りφ(p^2k+p^k+1)/6k

  L=m^2−m+1

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

 φ(p)=p−1

[1]m=3,L=7:{1,2,4}

  m=3=2^1+1→φ(7)/6=6/6=1通り

[2]m=4,L=13:{1,4,6,2},{1,7,2,3}

  m=4=3^1+1→φ(13)/6=12/6=2通り

[3]m=5,L=21:{1,3,10,2,5}

  φ(21)=21(1−1/3)(1−1/7)=12

  m=5=2^2+1→φ(21)/12=12/12=1通り

[4]m=6,L=31:{1,2,5,4,6,13}

  m=6=5^1+1→φ(31)/6=30/6=5通り

{1,14,4,2,3,7}

{1,3,2,7,8,10}

{1,5,12,4,7,2}

{1,3,6,2,5,14}

[5]m=7:存在しない

[6]m=10,L=91:

  φ(91)=91(1−1/7)(1−1/13)=72

  m=10=3^2+1→φ(91)/12=6

[7]m=18,L=307:

{1,2,24,15,4,16,12,25,38,50,14,17,5,8,10,11,49,6}

{1,17,31,8,13,51,34,19,6,16,20,4,43,7,23,3,2,9}

{1,12,9,5,38,16,28,3,32,37,2,18,58,8,7,4,6,23}など

φ(307)/6=306/6=51通り

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