P/NP 問題は、計算複雑さの分野における未解決の問題です。人々は、「すべてのコンピューティングの問題を適切な時間内に効率的に解決できるか?」という質問に対する答えを見つけようと努めてきました。
適切な時間とは何ですか?実際、宇宙の終焉までに解決できる問題は、妥当な時間内に考慮されます。しかし、多くの問題は妥当な時間内に解決するのが難しいようであり、これらの問題の難しさを証明するには数学が必要です。
2021 年の調査では、上記の質問に対する答えが得られ、問題の大部分が効果的に解決するのが難しいことが確認されました。
ワシントン大学のポール・ビーム氏はこの研究について、「山に登るように、この研究は計算理論研究への道への足がかりとなる。」とコメントしました。
#この研究の 3 人の研究者: コンピューター科学者の Srikanth Srinivasan (左)、Nutan Limaye (右上)、Sébastien Tavenas。
この研究では、加算と乗算のみを含む問題を検討しましたが、これらの問題は、特定の方法 (加算と乗算の特定の交互パターン) での解決に限定される場合、非常に困難になります。 驚くべきことに、この研究では新しいフレームワークやツールは使用されておらず、その代わりに、著者らは、高等研究所数学部の教授であるウィグダーソン氏とノーム氏との間の数十年にわたる共同研究を回避することに成功しました。エルサレムのヘブライ大学のニサン、作品の中で説明されている数学の壁。
研究者の一人、デンマークのオーフス大学のスリカンス・スリニバサン氏は、「この障害を回避する非常に簡単な方法があることに気づきました。そして、もしそのような簡単な方法でそれができるなら、何かが不可能だと思うなら、もっと良い方法を必ず見つけることができます。」
重要な質問
コンピューターの出現後、科学者たちはコンピューター アルゴリズムが多くの問題を解決できることを発見しましたが、これらのアルゴリズムにはコストがかかる場合があります。時間がかかりすぎます - 実際の計算時間より長くなります。
彼らは、問題の大きさに関係なく、一部の問題は本質的に解決が難しすぎるのではないかと疑い始めました。たとえば、グラフでは、ハミルトニアン パスが存在するかどうか、つまり各頂点を 1 回だけ通過するパスが存在するかどうかを判断することが重要な問題になります。頂点 (およびエッジ) の数を増やすと、そのようなパスが存在するかどうかを判断するのに時間がかかるはずですが、最良のアルゴリズムであっても、グラフ サイズが大きくなると指数関数的に時間がかかるため、この問題の解決は非現実的になります。
コンピュータ科学者は、特定の問題クラスの 1 つの困難な問題を解決するために何らかの方法で効果的なアルゴリズムは、同様に困難な他の問題の解決策に変換できることを証明しようとしています。彼らはこのタイプの問題を NP 問題と呼んでいます。もちろん、難しくなさそうで、解決するのにそれほど時間がかからない問題もたくさんあります。これらの問題の多くはある意味で等価でもあり、このような問題は P 問題と呼ばれます。彼らは、NP 問題は実際には P 問題よりも難しく、NP 問題は決して効率的に解決できないと主張しています。しかし、証拠がなければ、この考えは間違っている可能性があります。
そこでコンピューター科学者たちは、NP 問題が実際に難しいことを証明する方法を探し始めました。そのためには、NP 問題を解くには指数関数的な時間がかかる必要があることを示す必要がありましたが、これを証明するのは簡単ではありませんでした。
「難しい」とはどれくらい難しいのでしょうか?
足し算と掛け算だけを必要とする特定の問題のセットを想像してください。たとえば、一連の点が与えられた場合、その点に関するデータを使用して、加算と乗算だけですべての可能なハミルトニアン パス (存在する場合) を計算することが可能です。
問題のサイズが大きくなると、一部の算術問題 (ハミルトニアン パスの計算など) に時間がかかります。 1979 年、ハーバード大学のレスリー ヴァリアントは、多くの算術問題は難易度の点で同等であるが、他の問題は難易度の点で同等であることを示しました。コンピューター科学者たちは後に、これら 2 種類の問題を、彼の名前にちなんで、それぞれ VNP と VP と名付けました。
P 問題や NP 問題と同様に、VNP 問題の難しさを証明することはできません。VNP 問題は NP 問題に基づいているため、NP 問題よりも難しいことだけがわかります。たとえば、パスがある場合は、まずパスを決定する必要があります。パスが存在するかどうか。
「NPよりも難しいので、難しいことを示すのは簡単なはずです」とシュピルカは言いました。
その後の数十年間で、コンピュータ科学者は、VP 対 VNP 問題に関して、P 対 NP 問題よりもはるかに大きな進歩を遂げましたが、そのほとんどは、Valiant の作成として知られる代数の複雑さのサブフィールドに限定されていました。 Limaye、Srinivasan、Tavenas による最近の研究が発表されるまでは、一般的な意味での算術に問題があるかどうかを判断することはまだ困難でした。
多項式の調整
この新しい研究は、コンピューター科学者が加算と乗算の問題についてどのように考えるかを探るのに役立ちます。数学的には、これらの問題は、加算および乗算される変数で構成される多項式 (例: x^2 5y 6) で記述することができます。
ハミルトニアン パスの計算など、特定の問題については、それを表す多項式を構築できます。たとえば、変数を使用して各点とエッジを表すことができ、より多くの点とエッジが追加されるにつれて、より多くの変数を多項式に追加できます。
ハミルトニアン パスの計算のような算術問題が難しいことを示すには、より多くの点とエッジが追加されると、対応する多項式を指数時間で解くためにより多くの演算が必要になることを示す必要があります。たとえば、x^2 には 1 つの演算 (x * x) が必要ですが、x^2 y には 2 つの演算 (x * x プラス y) が必要です。演算の数は多項式のサイズと呼ばれます。
しかし、多項式のサイズを決定するのは困難です。たとえば、多項式 x^2 2x 1 です。マグニチュード 4 (2 つの乗算と 2 つの加算) があるように見えますが、この多項式は 2 つの和の積 (x 1)(x 1) として書き換えることができ、オペランドが少なくなります (加算が 2 つ、乗算が 1 つ)。多くの場合、問題のサイズが大きくなり、より多くの変数が多項式に追加されると、数学的変換は問題のサイズを単純化し、縮小するのに役立ちます。
ヴァリアントの研究から数年後、コンピュータ科学者は問題の規模を分析しやすくする方法を発見しました。これを行うために、彼らは、多項式が切り替わる回数、または和と積の間で切り替わる回数を指定する「深さ」と呼ばれるプロパティを提案しました。たとえば、多項式 x^2 2x 1 は積の和 (x^2 と 2x など) であるため、深さは 2 になります。対照的に、式 (x 1)(x 1) は、積の和として 0 (x 1)(x 1) と同じ深さを持つため、深さは 3 になります。
多項式を簡素化するために、コンピューター科学者は多項式を「一定の深さ」と呼ばれる特性を備えた固定形式に制約します。この場合、和と積のパターンは時間の経過とともに変化しません。問題が大きくなるにつれて変化します。これにより、多項式のサイズがより固定され、深さが増加するにつれて多項式のサイズが減少します。一定の深さの式は式と呼ばれます。深さが一定であるため、多項式の研究をさらに進めることができます。
魔法の「深さ」
1996 年、ニサンとウィグダーソンによる論文は行列の乗算の問題の解決に焦点を当て、この問題を 2 つの方法で単純化しました。まず、深さ一定、つまり深さ 3 の公式を使用してそれを表現しました。第 2 に、彼らは各変数の最大指数が 1 である単純な構造を持つ式のみを考慮しており、元の問題は「多重線形」問題になります。
コンピュータ科学者は、多項式のサイズが(指数関数的増加の増加率に匹敵する)準指数関数的に増加することを犠牲にして、特定の問題を比較的単純な集合多重線形構造に変換できることを発見しました。
Nisan と Wigderson はその後、行列の乗算問題は行列が大きくなるにつれて解くのに指数関数的な時間がかかることを示しました。言い換えれば、彼らは重要な問題が難しいことを示し、あるクラスの問題が難しいことを示すために努力します。ただし、その結果は、単純な集合的な多重線形構造を持つ定式化にのみ当てはまります。
Leslie Valiant
多項式の深さを増やすと、多くの場合、そのサイズが減少します。コンピュータ科学者は、時間の経過とともに、これら 2 つの特性間のトレードオフをより正確にしてきました。彼らは、深さ 3 に 2 つの深さレベルを追加すると、アンサンブル多重線形多項式がアンサンブル多重線形構造のサイズ ゲインのバランスを取ることができることを示しています。深さ 5 の構造化された数式に指数関数的な時間がかかる場合、一般的な構造化されていない性質の深さ 3 の数式も同様です。
Srikanth Srinivasan らによる新しい研究は、行列乗算問題の深い 5 集合の多線形定式化が実際に指数関数的な速度で増大することを示しています。これは、一般的な深さ 3 の式にも指数関数的な時間がかかることを意味します。次に、同様のパターンがすべての深さ (3 と 5 だけでなく) に当てはまることを示しました。この関係により、彼らは、同じ問題に対する一般的な式のサイズは、問題のサイズに応じて指数関数的に増大することを示しました。
また、深さがどのようなものであっても、深さが一定の式で行列の乗算を表現するのは難しいことも示しています。
この研究の結果は、算術問題が「難しい」場合、つまり深さが一定の式で表現できない場合について、初めて一般的な理解を提供します。行列乗算の特定の問題は、VP 問題として知られています。そして、VP 問題は一定の深さに制限されない場合には比較的簡単であることが知られており、一定の深さが問題の「難しさ」の原因であることがわかります。
VNP の問題は VP の問題よりも難しいですか?新しい結果はこれを直接示しているわけではなく、一定の深さの公式が難しいことを示しているだけです。しかし、これは依然として、VNP 問題が VP 問題と同等ではないことを証明する重要なマイルストーンです。
より大きな P 対 NP の問題については、いつか答えが見つかるだろうとより楽観的になれるようになりました。結局のところ、難しい問題を解決するには、まずどの方向が絶望的であるかを知る必要があります。
以上が問題が VPN の問題であることを証明するにはどうすればよいですか?コンピューター科学者は簡単な方法を見つけましたの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

スタンフォード大学ヒト指向の人工知能研究所によってリリースされた2025年の人工知能インデックスレポートは、進行中の人工知能革命の良い概要を提供します。 4つの単純な概念で解釈しましょう:認知(何が起こっているのかを理解する)、感謝(利益を見る)、受け入れ(顔の課題)、責任(責任を見つける)。 認知:人工知能はどこにでもあり、急速に発展しています 私たちは、人工知能がどれほど速く発展し、広がっているかを強く認識する必要があります。人工知能システムは絶えず改善されており、数学と複雑な思考テストで優れた結果を達成しており、わずか1年前にこれらのテストで惨めに失敗しました。 2023年以来、複雑なコーディングの問題や大学院レベルの科学的問題を解決することを想像してみてください

メタのラマ3.2:マルチモーダルとモバイルAIの前進 メタは最近、ラマ3.2を発表しました。これは、モバイルデバイス向けに最適化された強力なビジョン機能と軽量テキストモデルを特徴とするAIの大幅な進歩です。 成功に基づいてo

今週のAIの風景:進歩、倫理的考慮、規制の議論の旋風。 Openai、Google、Meta、Microsoftのような主要なプレーヤーは、画期的な新しいモデルからLEの重要な変化まで、アップデートの急流を解き放ちました

つながりの慰めの幻想:私たちはAIとの関係において本当に繁栄していますか? この質問は、MIT Media Labの「AI(AHA)で人間を進める」シンポジウムの楽観的なトーンに挑戦しました。イベントではCondedgを紹介している間

導入 あなたが科学者またはエンジニアで複雑な問題に取り組んでいると想像してください - 微分方程式、最適化の課題、またはフーリエ分析。 Pythonの使いやすさとグラフィックスの機能は魅力的ですが、これらのタスクは強力なツールを必要とします

メタのラマ3.2:マルチモーダルAIパワーハウス Metaの最新のマルチモーダルモデルであるLlama 3.2は、AIの大幅な進歩を表しており、言語理解の向上、精度の向上、および優れたテキスト生成機能を誇っています。 その能力t

データ品質保証:ダグスターと大きな期待でチェックを自動化する データ駆動型のビジネスにとって、高いデータ品質を維持することが重要です。 データの量とソースが増加するにつれて、手動の品質管理は非効率的でエラーが発生しやすくなります。

MainFrames:AI革命のUnsung Heroes サーバーは汎用アプリケーションで優れており、複数のクライアントの処理を行いますが、メインフレームは大量のミッションクリティカルなタスク用に構築されています。 これらの強力なシステムは、頻繁にヘビルで見られます


ホットAIツール

Undresser.AI Undress
リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover
写真から衣服を削除するオンライン AI ツール。

Undress AI Tool
脱衣画像を無料で

Clothoff.io
AI衣類リムーバー

AI Hentai Generator
AIヘンタイを無料で生成します。

人気の記事

ホットツール

ゼンドスタジオ 13.0.1
強力な PHP 統合開発環境

MinGW - Minimalist GNU for Windows
このプロジェクトは osdn.net/projects/mingw に移行中です。引き続きそこでフォローしていただけます。 MinGW: GNU Compiler Collection (GCC) のネイティブ Windows ポートであり、ネイティブ Windows アプリケーションを構築するための自由に配布可能なインポート ライブラリとヘッダー ファイルであり、C99 機能をサポートする MSVC ランタイムの拡張機能が含まれています。すべての MinGW ソフトウェアは 64 ビット Windows プラットフォームで実行できます。

mPDF
mPDF は、UTF-8 でエンコードされた HTML から PDF ファイルを生成できる PHP ライブラリです。オリジナルの作者である Ian Back は、Web サイトから「オンザフライ」で PDF ファイルを出力し、さまざまな言語を処理するために mPDF を作成しました。 HTML2FPDF などのオリジナルのスクリプトよりも遅く、Unicode フォントを使用すると生成されるファイルが大きくなりますが、CSS スタイルなどをサポートし、多くの機能強化が施されています。 RTL (アラビア語とヘブライ語) や CJK (中国語、日本語、韓国語) を含むほぼすべての言語をサポートします。ネストされたブロックレベル要素 (P、DIV など) をサポートします。

ドリームウィーバー CS6
ビジュアル Web 開発ツール

SublimeText3 Mac版
神レベルのコード編集ソフト(SublimeText3)
