|
Halt0 |
|
http://www.math.uni.wroc.pl/~jwr/non-ave/ を更に見てみたところ,
http://www.math.uni.wroc.pl/~jwr/non-ave/DATABASE.TXT a(93)<=676 1 2 8 11 13 16 22 23 27 29 49 51 54 55 65 67 68 74 77 78 84 98 130 136 144 149 156 159 161 164 170 171 175 177 197 199 202 203 213 215 216 222 225 226 232 246 278 284 440 445 452 455 457 460 466 467 471 473 493 495 498 499 509 511 512 518 521 522 528 542 574 580 588 593 600 603 605 608 614 615 619 621 641 643 646 647 657 659 660 666 669 670 676 (1095251260 Gavin Theobald) とのことで 93 枚は可能な模様. http://www.math.uni.wroc.pl/~jwr/non-ave/BEST.TXT を見ると, どうも a(96)<=709 が Theorem 24 によってわかっているっぽいですが (たぶん), 具体的にどのように書き表せるのかはよくわかりません. Theorem 24 というのは http://www.math.uni.wroc.pl/~jwr/non-ave/methods.htm の Theorem N のことみたいですが, この定理がどのように導かれるのかも, この定理をどうやって適用したのかも, 私にはよくわかりませんでした. #追記 ひねりも何もないやり方ですが上の Gavin Theobald 氏の結果に 690 722 728 を付け加えれば 96 枚にできるので, とりあえず a(96)<=728 ですね. a(97) に関しては未だ a(97)<=736 までしかわかってないっぽいので (というか更に736を付け加えればそれで成立する模様) 現時点で本問の限界は96枚と思われます. |
|
10月4日（土） 20:23:00
42491 |