> マイコミジャーナルによると、 米ノースイースタン大学のコンピュータ科学
> 部の教授と大学院生が、「ルービックキューブは26手以内で揃う」ことを証明
> したそうです。
> これまでは、どんな状態であっても27手以内というのが証明されていました
> が、それよりも1手少なくできるとのこと。
> 実証は、7テラバイトのディスクをRAMの拡張として使用し、秒間1億回のシ
> ミュレーションが可能なコンピュータで行ったとのこと。これにより、「ルー
> ビックキューブをどのような状態からでも26手以内に揃えられるソリューショ
> ンを、およそ1秒程度のスピードで見つけ出せる」
> 
> 証明になってんのかこれ

コンピュータ科学では
数式では困難な証明をすべての組み合わせを試みることによって証明することがある
ところで4色問題はとりあえず世界地図を使って試されたが4色で塗れない場所はなかったそうだ

参考：2007/06/05(火)23時35分46秒