和にならない分割

1,2,3 … N の数字を順番にk 個の集合のいずれかに入れていく。 そのとき、どの集合のどの3つの要素a,b,c をとっても、a+b=c の関係を満たさないよう にする。 k=2,3,4に対して条件を満たす最大のNは既に求まっている。k=5に対して条件を満たす、 なるべく大きなN を見つける。

ここでは集合A,B … E を考え、集合A から順に使用する。つまり1 は集合A に入れる。 また、各集合から見てA 寄りの集合を下位、E 寄りのものを上位と呼ぶこととする。つ まり集合B は集合A よりも上位で集合C よりも下位となる。

仮に設定したルール

  1. 各集合に数字を入れる際には、可能な限り続けて入れるよう努める。 その集合を始めて使用する場合を例に説明すると下記のような工夫をする。
    (a) N, N+1 … 2N
    (b) N, N+2, N+3 … 2N, 2N+1 (ただしN≧2)
    (c) N, N+1, N+3, N+4 … 2N-1, 2N, 2N+2 (ただしN≧3)
    
    ただし、(b)の場合はN+1、(c)の場合はN+2 並びに2N+1 は当該集合よりも下位の集 合に入れなくてはならないものとする。 ここで示した(a),(b),(c)について、どのパターンが有利かは他の要素の格納状況による ため、必ずしも一概には言えないが、(a)よりも(b)あるいは(c)の方が有利であるケースが 多いものと考えられる。 本来は、(a),(b),(c)のいずれを選択するかについてもプログラム自身に判断させて実行 させたいところであるが、今回は分割可能なパターンが複数存在する場合は、その情報 を画面に表示し、ユーザが手動で選択することとした。
  2. 下位の集合に限界まで詰め込んだら、上位の集合を使い始めることとする。 まずは、このルールに基づいてk=1,2,3 に対して分割を行ってみた。
    k=1 集合A(1,2)
    k=2 集合A(1,2,4,8)、集合B(3,5,6,7)
        3 を入れる際に候補(3,4,5,6),(3,5,6,7)より後者を選択
    k=3 集合A(1,2,4,8,11,21)、集合B(3,5-7,19)、集合C(9,10,12-18,20)
        9 を入れる際に候補(9-18),(9,10,12-18,20)より後者を選択
    

この結果を検証すると、k=1並びにk=2では、最適解と合致しているが、k=3の場合は、下記に示す最適解を導き出すことはできなかった。

    集合A(1,2,4,8,19,24)、集合B(3,5-7,11,21-23)、集合C(9,10,12-18,20)
これは、11を集合A,Bのどちらに格納した方が有利かによるが、現行のルールにはそれらを判断する基準を定義しておらず、より下位の集合Aに入れてしまったためである。 ただし、この解はk=3の場合に最適であるものの、k=4以降では最適解とは合致しない。

k=4以降の評価を行うにあたっては下記を初期値(k=3での分割)として採用した。

    集合A(1,2,4,8,11,22)、集合B(3,5-7,19,21,23)、集合C(9,10,12-18,20)

k=4で導き出された結果

    集合A(1,2,4,8,11,22,25,50,63)
    集合B(3,5-7,19,21,23,51-53,64-66)
    集合C(9,10,12-18,20,54-62)
    集合D(24,26-49)
    24を入れる際に(24-48),(24,26-49)より後者を選択

k=2,3,4では、ユーザによる手動での選択が各々1度入っている。 ただし、これは現行のルールで(a)(b)(c)を等価としたためであり、(b)あるいは(c)の方が(a)よりも優位であるとした場合には、この手動での選択なしに同等の結果が得られる。

k=5で導き出された結果

    集合A(1,2,4,8,11,22,25,50,63,69,135,140,150,178,191)
    集合B(3,5-7,19,21,23,51-53,64-66,137-139,151-153,179-181)
    集合C(9,10,12-18,20,54-62,141-149,182-190)
    集合D(24,26-49,154-177)
    集合E(67,68,70-134,136)
    67を入れる際に(67-134),(67,69-135),(67,68,70-134,136)より(67,68,70-134,136)を選択

ここで、現行のルールには反映されていないが、集合Dの(154-177)については(154,156-177,179)とし、155と178を集合Aに入れるという分割が可能である。 仮にルール化するとすれば、下記のようになる。

(b') 既にその集合が使われていて、その最初の要素(最小の数)をsとした場合、
     s+1がその集合の要素で無い場合に限り(b)と同様の分割が可能
    N,N+2,N+3 … N+s-1,N+s+1

これを適用し、179までの分割に反映すると下記のようになる

    集合A(1,2,4,8,11,22,25,50,63,69,135,140,150,155,178)
    集合B(3,5-7,19,21,23,51-53,64-66,137-139,151-153)
    集合C(9,10,12-18,20,54-62,141-149)
    集合D(24,26-49,154,156-177,179)
    集合E(67,68,70-134,136)
この結果を初期条件に180以降の分割を実行すると下記の結果が得られる。
    集合A(1,2,4,8,11,22,25,50,63,69,135,140,150,155,178,183,193)
    集合B(3,5-7,19,21,23,51-53,64-66,137-139,151-153,180-182,194-196)
    集合C(9,10,12-18,20,54-62,141-149,184-192)
    集合D(24,26-49,154,156-177,179)
    集合E(67,68,70-134,136)
これは、既知の解196 (Journal of Recreational Mathematics 7(2) '74) と合致する。 参考までにこの結果を初期値としてk=6の評価を行うと568が得られた。
    集合A(1,2,4,8,11,22,25,50,63,69,135,140,150,155,178,183,193,199,395,400,
           410,438,451,519,532)
    集合B(3,5-7,19,21,23,51-53,64-66,137-139,151-153,180-182,194-196,397-399,
           411-413,439-441,520-522,557-559)
    集合C(9,10,12-18,20,54-62,141-149,184-192,401-409,442-450,523-531,
           560-568)
    集合D(24,26-49,154,156-177,179,414-437,533-556)
    集合E(67,68,70-134,136,452-518)
    集合F(197,198,200-394,396)
    197を入れる際に(197-394), (197,198,200-394,396)より後者を選択

ここで、集合Dの(414-437)については(414,416-437,439)とし、415と438を集合Aに入れるという分割が可能である。

    集合A(1,2,4,8,11,22,25,50,63,69,135,140,150,155,178,183,193,199,395,400,
           410,415,438)
    集合B(3,5-7,19,21,23,51-53,64-66,137-139,151-153,180-182,194-196,397-399,
           411-413)
    集合C(9,10,12-18,20,54-62,141-149,184-192,401-409)
    集合D(24,26-49,154,156-177,179,414,416-437,439)
    集合E(67,68,70-134,136)
    集合F(197,198,200-394,396)
この状態を初期条件に440以降の分割を実行すると下記の結果が得られる。
    集合A(1,2,4,8,11,22,25,50,63,69,135,140,150,155,178,183,193,199,395,400,
           410,415,438,443,453,524,537,571)
    集合B(3,5-7,19,21,23,51-53,64-66,137-139,151-153,180-182,194-196,397-399,
           411-413,440-442,454-456,525-527,572-574)
    集合C(9,10,12-18,20,54-62,141-149,184-192,401-409,444-452,528-536,
           562-570)
    集合D(24,26-49,154,156-177,179,414,416-437,439,538-561)
    集合E(67,68,70-134,136,457-523)
    集合F(197,198,200-394,396)

上記では574となっている。