数学＠ふたば保管庫 [戻る]
|
ケンペ鎖で解けた |
|
>No.95833 スーパーコンピュータ使って力技で解いた(らしい) 『らしい』と言うのはまだコンピュータ使わない証明方法が出てこないから。 |
|
>スーパーコンピュータ使って力技で解いた(らしい) 数百の場合わけになるところまではトポロジーで何とかしたんだが それ以上はどうしようも無いのでそれら「全ての場合」について コンピュータ上で実際に塗ってみて証明したんだよ |
|
去年サイエンスZEROの量子コンピュータ回で4色問題解かせてたな |
|
量子アニーリングで四色問題と巡回セールスマン問題を解いてたね |
|
巡回セールスマン問題は分子コンピュータなら数秒で解けるな |
|
巡回サンタクロース問題とは違うの？ |
|
入力にかかる時間はどれくらいなの |
|
帰納法で証明できないのか考えたがなあ |
|
>量子アニーリングで四色問題と巡回セールスマン問題を解いてたね 再放送見たけど、四色だけで巡回はまだ |
