タグ

GIGAZINEと計算に関するmohnoのブックマーク (1)

  • 数独の初期ヒント最小個数は「17」、それ未満では解けないと数学者が結論

    by Miss_Bathory 日だけではなく海外でも人気の高い数字パズル「数独(Sudoku)」。初期に配置するヒントの数は20個~30個ぐらいのものが多く、最小では17個のものが確認されていますが、問題として成立するのがいったいどのラインなのかは結論が出ていなかったのですが、アイルランドの数学者が「ヒントが16以下だと解けない」と結論を出しました。 Mathematician claims breakthrough in Sudoku puzzle : Nature News & Comment Gary McGuire's Minimum Sudoku Page, Sudoku Checker ユニバーシティ・カレッジ・ダブリンの数学者Gary McGuireさんは、数独においてヒントが16個以下のものは解法を持ちえないということを証明しました。このMcCuireさんの証明は、数学

    数独の初期ヒント最小個数は「17」、それ未満では解けないと数学者が結論
    mohno
    mohno 2012/01/10
    「McGuireさんは問題を「hitting-set algorithm」を用いて単純化。2年間で700万CPU時間をかけて挑戦し、答えにたどり着きました」←「美しくない」:-)(©「容疑者Xの献身」)
  • 1