Будущее время во французском языке. Futur proche. Елена Шипилова.
Hewlett-Packard最高経営責任者（CEO）のマーク・ハード（Mark Hurd）氏が辞任したことで、少なくとも1つの潜在的な成果が得られた.HP研究者は、コンピュータサイエンスの最も困難な問題の解決策であると述べた。 HP Labsの主要研究者であるVinay Deolalikarは、P対NPの問題として広く知られていることに対する解決策であると主張しています。
Clay Mathematics Instituteが解決する人に授与を誓ったこの問題は難しい100万ドルそれは、ミレニアム賞問題として総称される7つの問題のうちの1つであり、研究所はこの恩恵を提供しています。ポアンカレ容疑者の7人のうちの1人が2006年に正式に解雇された。
Deolalikarが現金を受け取るかどうかは不明だが、Clay氏は問題を解決したとは言わなかった。コンピュータサイエンスにおける顕著な問題は、「答えが素早くチェックできる質問があるかどうかを判断することには関わりますが、直接手続きで解決するには非常に長い時間を要します。この問題では、Pは多項式時間を表し、NPは非決定論的多項式時間を表す。
「PがNPと等しくないという証明を発表することを嬉しく思う」とDeolalikarは数名の教授の電子メールで発表したブリティッシュコロンビア州サイモンフレイザー大学のシニア講師であるGreg Bakerによって日曜日に掲載されました。
要するに、これは、特定の問題がブルートフォースサーチによってのみ解決できることを意味するかもしれません。この証拠を構築するための大きな努力は、様々な分野間の概念的な連鎖を解明し、共通のレンズを通してそれらを見ることでした」と、Deolalikar氏は書いています。
「この証拠は数学の中の複数の分野の原則を組み合わせることを必要としました。
当然、問題に精通している人は、デオリリカが問題点を解決したことを宣言することを躊躇します。そして、彼らが徹底したアプローチ、通常提示されているより危険な推測とは異なる、Deolalikarを賞賛している間に、誰も彼が問題を解明したとは断定的には主張していない[
]。統計物理学とNPの一次論理の特徴付けとの間の接続」は、マサチューセッツ工科大学の電気工学とコンピューターサイエンスの助教授Scott Aaronson氏は、ブログ記事の中で非凡なコメントを書いている。ジョージア工科大学のコンピュータサイエンス教授であるディック・リプトン氏は、
IDG News Service
のエンタープライズソフトウェアと一般的な技術ニュースを扱っています。
。 @Joab_JacksonでTwitterのJoabに従ってください。 Joabの電子メールアドレスは[email protected]です。