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

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

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

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

おおう、全パターンか(;´Д`)

参考：2007/06/05(火)23時38分17秒

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

すべての初期状態から26手以内で実際に揃えたんだろ(;´Д`)完璧じゃんQ.E.D.

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

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

膨大な試行を繰り返して1手早く可能だってわかるのはソフトウェア工学の観点からも貴重な情報だ

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

マイコミジャーナルによると、 米ノースイースタン大学のコンピュータ科学
部の教授と大学院生が、「ルービックキューブは26手以内で揃う」ことを証明
したそうです。

これまでは、どんな状態であっても27手以内というのが証明されていました
が、それよりも1手少なくできるとのこと。

実証は、7テラバイトのディスクをRAMの拡張として使用し、秒間1億回のシ
ミュレーションが可能なコンピュータで行ったとのこと。これにより、「ルー
ビックキューブをどのような状態からでも26手以内に揃えられるソリューショ
ンを、およそ1秒程度のスピードで見つけ出せる」


証明になってんのかこれ