|
Halt0 |
|
#42492
おお, そういうことでしたか. ありがとうございます. どうも modular solution の定義を勘違いしていたっぽいです. つまり, {0 6 14 19 26 29 31 34 40 41 45 47 67 69 72 73 83 85 86 92 95 96 102 116} + 1 + 148*({1 2 4 5} - 1) ={1 7 15 20 27 30 32 35 41 42 46 48 68 70 73 74 84 86 87 93 96 97 103 117 149 155 163 168 175 178 180 183 189 190 194 196 216 218 221 222 232 234 235 241 244 245 251 265 445 451 459 464 471 474 476 479 485 486 490 492 512 514 517 518 528 530 531 537 540 541 547 561 593 599 607 612 619 622 624 627 633 634 638 640 660 662 665 666 676 678 679 685 688 689 695 709} を構成して a(96) の上界を得ているのですね. なるほど. (一瞬 modular solution から x,y をとってきたとき (x+y)/2 + 74 が modular solution に含まれているとまずいけどその可能性はないのか…？ などと悩んでしまいましたが, x, (x+y)/2+74, y が mod 148 で等差数列になるから定義からアウトでしたね. 平均という言葉に引きづられていた…) トップページに"Note that if m(n) is even, then terms i and i+m(n)/2 exclude each other. "と書かれていることにも合点がいきました. |
|
10月6日（月） 4:05:37
42493 |