Memcomputingは本当にNP完全な問題を解決しますか?


9

Scienceに掲載された記事「多項式リソースと集団状態を使用した多項式時間のNP完全問題のメムコンピューティング」に出会いました

Memcomputingは、相互作用するメモリセル(略してMemprocessors)を使用して同じ物理プラットフォームで情報を格納および処理する、計算の新しい非Turingパラダイムです。最近、メムコンピューティングマシンが非決定性チューリングマシンと同じ計算能力を持つことが数学的に証明されました。したがって、それらは多項式時間でNP完全な問題を解決でき、適切なアーキテクチャを使用して、入力サイズとともに多項式でのみ成長するリソースで解決できます。

(イタリック鉱山)。

これがScienceで出版され、一部の著者による関連資料がNature Physicsで出版されたという事実がなければ、主張の強力な性質を考慮して、私はこれを重大ではないと見なします。でIEEEジャーナル物理学レビューEで、このような主張は、彼らが深刻せずに公開しましょうではないでしょう評判の査読出版されているすべてが。

それは本当ですか?これらの人々は、自分のモデルを使用してPタイムでNP完全問題を解決できますか?


1
最後の質問への答えはもちろんノーです。誰かが派手な新しい計算モデルを発明したからといって、Pの定義は変わりませんでした。
EmilJeřábek2017年

@EmilJeřábek彼らは新しい計算モデルを発明しただけでなく、NPと同等であると主張しました。
Alexander S King

3
何かが混同されています。モデルがPと同等であることを証明した場合、これはP = NPであることを意味します。
Sasho Nikolov 2017

この論文の要約には、「最近、メムコンピューティングマシンが非決定性チューリングマシンと同じ計算能力を持っていることが数学的に証明されました」と記載されています。これは、2つのモデルが同じアルゴリズムの問​​題を解決できることを意味します。多項式の時間の複雑さが多項式の時間の複雑さに再び変換されるという意味ではありません。
Gamow 2017年

回答:


9

これはコメントで十分に回答されていると思います。

  • 著者は、決定論的チューリングマシンと非決定論的チューリングマシンに関する記述であるP = NPを主張していません。

  • 著者らは、非決定論的なチューリングマシンと同等の能力を発揮すると主張する計算モデルを提案しています。

  • 著者は、小さな入力サイズに対してこの計算モデルを実装する物理マシンを構築します。

  • 著者は、より大きなバージョンの構築は、多項式サイズのリソースで物理的に実現可能/可能であると主張しています。

  • この最後の主張は、もちろん証明されておらず、実際には正式な陳述ではありませんが、多項式サイズのリソースを使用してNP完全な問題を解決することは一般に物理的に可能であることを意味します。

  • ブログ投稿のスコットアーロンソンは、この最後の主張に問題がある理由と、そのアプローチのスケーラビリティに問題がある理由を説明しています。http//www.scottaaronson.com/blog/?p = 2212


本日(2019年10月)の時点では、この2015年の記事からNP完全なソルバーを再現した研究者は一人もいません。さらに、同じ著者による関連するすべての後続のmemcomputingの記事では、NP完全なソルバーの再現を支援するコードは1行もありませんでした。
G.コーエン
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.