アカウント名:
パスワード:
解が存在する場合、解が唯一に決まらないという意味でいいんですよね。
でしょうね。
...うーんコンピュータ使うのはいいけど、力技くさいなぁ。
# 四色問題は、まず状態を分析して場合わけしてからコンピュータだったんだが...
統一的な記述はできなかったのかな?
力技といっても、もちろんある程度論理で制限してからのしらみつぶし。すべて数え上げていたら、700万時間ぽっちじゃ解けません。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
弘法筆を選ばず、アレゲはキーボードを選ぶ -- アレゲ研究家
「問題として成立しない」が意味不明ですが (スコア:0)
解が存在する場合、解が唯一に決まらないという意味でいいんですよね。
Re: (スコア:1)
でしょうね。
...うーんコンピュータ使うのはいいけど、力技くさいなぁ。
# 四色問題は、まず状態を分析して場合わけしてからコンピュータだったんだが...
統一的な記述はできなかったのかな?
M-FalconSky (暑いか寒い)
Re:「問題として成立しない」が意味不明ですが (スコア:0)
力技といっても、もちろんある程度論理で制限してからのしらみつぶし。
すべて数え上げていたら、700万時間ぽっちじゃ解けません。