この記事は、この記事の無料翻訳（とはいえ、それを理解しようとする試み）と考えることができます。 そして、はい、それは幅広い聴衆よりも数学者向けに書かれました。

小さなネタバレ：最初は、ある種の魔法のように思えましたが、キャッチに気づきました...

今日、チューリングマシン（以下MT）は、アルゴリズムの概念の普遍的な定義であり、したがって「問題ソルバー」の普遍的な定義です。 アルゴリズムには他にも多くのモデルがあります-ラムダ計算、マルコフアルゴリズムなどがありますが、それらはすべて数学的にMTと同等であるため、興味深いものの、理論世界では何も変わりません。

一般的に言えば、他のモデルがあります-非決定的チューリングマシン、量子チューリングマシン。 ただし、それらは（これまで）実際には実装されていない抽象的なモデルにすぎません。

6か月前、Science Advancesは、MTとは大幅に異なる計算モデルを使用した興味深い記事を公​​開しました。この記事は、実際のハードウェアでSSPタスクを計算する方法についての記事でした。

はい。 このモデルで最も興味深いのは、著者によると、NP時間クラスの完全な問題の多項式時間とメモリで（一部の）問題を解決できることです。

おそらく、この結果は問題を解決することを意味するものではないことをすぐに言及する価値があります 。 結局のところ、この問題の声明は「問題を解決しない」 のために そして、時間の多項式に対して通常のチューリングマシン上で非決定性チューリングマシンをシミュレートすることが可能です。 これはまったく異なる計算モデルであるため、古典的な複雑度クラスについては言えません。

私自身は、このマシンを鉄で構築する可能性については現在懐疑的ですが（以下で説明します）、モデル自体は解析するのに十分興味深いものであり、おそらく他の科学分野にも応用できるでしょう。

小さな紹介

今日のコンピューター（より正確には、MTの最も一般的な実装であるVon Neumann）とは何ですか？ 何らかの種類の入出力インターフェイス、メモリ、およびCPU。これらは物理的に分離されています。 CPUには、計算の過程を制御するモジュールと、これらの計算を実行するブロックの両方があります。

CPUの物理的な分離は、データの転送に多くの時間を費やす必要があることを意味します。 実際、このために、さまざまなレベルのキャッシュメモリが発明されました。 ただし、キャッシュメモリはもちろん、生活を楽にしますが、データ転送のすべての問題を解決するわけではありません。

提案されたデータモデルは、脳の働きに触発されました（このフレーズはかなりボロボロですが、ここに収まります）。 その本質は、データを転送する必要がある別のデバイスではなく、直接メモリで計算が行われることです。 計算順序は、外部デバイス（コントロールユニット）によって制御されます。

Universal Memcomputing Machinesと呼ばれるこのコンピューティングモデル（この用語は翻訳していません。さらに、略語UMMを使用します）。

この記事では、まずMTが正式に定義されている方法を思い出してから、UMMの定義を見て、UMMの問題を解決するためのアルゴリズムを設定する方法の例を見て、最も重要な情報オーバーヘッドを含むいくつかのプロパティを検討します。

モデルの正式な説明。

ユニバーサルチューリングマシン（UTM）

チューリングマシンとは何かを覚えていると思います（そうでない場合、この記事を読むのは意味がありません）。 テープ、キャリッジ、すべてのもの。 正式にどのように定義されているかを覚えておきましょう。

チューリングマシンはタプルです


どこで -多くの可能な条件、
-多くの可能なリボン文字
-空の文字
-多くの着信キャラクター
-初期状態
-多くの最終状態

どこで したがって、シフトなしで左にシフトし、右にシフトします。 それは -変換テーブル。

Memprocessor。

まず、メモリセルUMM-memprocessorを定義しましょう。

memprocessorは4タプルとして定義されます どこで -memprocessorの状態、 内部変数のベクトルです。 -「外部」変数のベクトル、つまり、異なるmemprocessorを接続する変数。 言い換えれば、 そして 2つのmemprocessorsの外部変数のベクトルであり、2つのmemprocessorsが接続されている 。 また、memprocessorが誰にも接続されていない場合、 、つまり、内部状態によってのみ決定されます。

そして最後に それは -新しい状態の演算子。

memprocessorは、私たちが頭の中で想像するようなプロセッサではないことを思い出してほしい。 むしろ、新しい状態（プログラム可能）を取得する機能を持つメモリセルです。

Universal Memcomputing Machine（UMM）

ここで、UMMの正式な定義を紹介します。 UMMは、接続されたmemprocessor（一般的に言えば、デジタルまたはアナログのいずれか）から形成されたコンピューティングマシンのモデルです。


どこで -memprocessorの多くの可能な状態
-memprocessorsへの多くのポインタ（で使用 目的のプロセッサを選択するには）
-多くのインデックス （使用した機能の数 ）
-memprocessorsの初期状態
-ポインターの初期セット
-演算子の初期インデックス（$ \ alpha $）
-多くの最終状態


どこで -関数によって入力として使用されるmemprocessorsの数 、 -出力関数として使用されるmemprocessorsの数 。

ご想像のとおり、チューリングマシンとの類推により、 -遷移関数、状態テーブルの類似物。 例を見たら、みましょう -memprocessorsへのポインター、 、 memprocessorsのデータの状態ベクトルであり、 次のコマンドのインデックスです


一般的に言えば、UMMとMTの主な違いは、フォーマリズムを破棄することです。UMMでは、1つのメモリセル（つまり、memprocessor）に影響を与え、コントロールユニットからの追加呼び出しなしで自動的に環境に影響を与えます。

UMMの定義から直接わかる2つのプロパティに注意してください。

• プロパティ1.本質的な並列処理 （この用語を正しく翻訳する方法をまだ決めていませんので、そのままにしておきます）。 任意の機能 任意のプロセッサのセットで同時に実行できます。 このためのチューリングマシンでは、追加のテープとヘッドを入力する必要があります。
  
• プロパティ2.機能的多型 。 チューリングマシンとは異なり、UMMは多くの異なる演算子を持つことができるという事実にあります 。
  

一般的に言って、チューリングマシンを修正してこれらの特性も持たせることはそれほど難しくありませんが、著者は主張しています。

そして、定義によりさらにいくつかのコメント。 UMMは、チューリングマシンとは異なり、有限数のmemprocessorを持つ無限状態空間を持つことができます（それらはアナログである可能性があるため）。

ところで、UMMはニューラルネットワークの一般化と考えることができます。

1つの定理を証明しましょう。

UMMはユニバーサルマシン（つまり、MTの動作をシミュレートできるマシン）です。

証明。

つまり、チューリングマシンがUMMの特殊なケースであることを示す必要があります。 （反対が真実かどうか-証明されていない、そして記事の著者が正しい場合、これは証明と同等になります ）

UMMの定義で、 。 私たちが示すmemprocessorsの1つ 、残り（おそらく無限数）として 。 次に、ポインターを定義します 。 状態のシンボルとして使用します 、 リボン記号（ ）

単一の関数で構成されます （省略） 、1つの関数しかないため）。 新しい状態 遷移表MTによって決定されます。 -新しい状態があります。 -新しいリボンシンボル。 新しいポインター 、 キャリッジの移行がない場合、 キャリッジが右に移動した場合、 残っている場合。 その結果、録音するとき 初期状態 および開始文字 と UTMはユニバーサルチューリングマシンをシミュレートします。

定理は証明されています。

アルゴリズム

UMMの問題を解決する方法の例を見てみましょう（現時点では、モデルに慣れるためだけです）。 サブセット合計問題（SSP ）を取ります。

たくさんあります そして番号が与えられます 。 サブセットはありますか 要素の合計が等しい 。

指数アルゴリズム

UMMでは、memprocessorsがマトリックス形式で配置されていると仮定します（図を参照）。 3つの操作を定義します。

1. -これは直接計算です。 アクティベーションラインを使用して、計算が実行される行と境界列を選択できます。 計算の本質は、左端のセルの値を行全体に追加することです。
   
2. データを移動する操作です。 制御ノードは2つの列を選択し、最初の列の値が2番目の列にコピーされます。 制御ノードは必ずしもコピー操作自体を実行するわけではなく、単に必要な行で列をアクティブにします。
   
3. -同様の操作 、彼女だけが1つの値を取り、それを列に書き込みます。
   

これら3つの操作を組み合わせて、遷移関数を取得できます 。

アルゴリズムの最初のステップで、長さのすべてのサブセットの合計を取得します サブセットの2番目のステップ などなど。 正しい番号が見つかったら（左の列に表示されます）、答えが見つかりました。 各ステップは1回の関数呼び出しで実行されます。 したがって、アルゴリズムは機能します ステップ。

次に、これらの操作を実行するために必要なmemprocessorの数を計算します。 繰り返しkでは、 memprocessors。 スターリング公式によるこの式の推定は 。 ノードの数は指数関数的に増加しています。

今では、これがどんな種類のオブジェクトであるかが多かれ少なかれ明らかになったと思います。 次に、UMMが提供する最もおいしいもの、つまり3番目のプロパティである情報オーバーヘッドに進みましょう。

指数情報のオーバーヘッド

n個のmemprocessorがあるとします。選択したmemprocessorの状態を次のように示します。 。 個々のmemprocessorの状態 内部変数に含まれる 。 -ベクトル。 また、各memprocessorについて、外部変数を「in」と「out」の2つのグループに分けます（1つのmemprocessorのoutは別のmemprocessorに接続されています）。 写真は空の円-コンポーネントを示しています 。 また、目的のmemprocessorに接続され、すぐに読み取れるデバイスがあるとします 。

複数のmemprocessorに接続されたこのデバイスは、両方のステータスを読み取ることができます。つまり、グローバルステータスは、 どこで -可換、連想操作、 。 この操作は次のように定義されます


どこで そして -との可換および連想演算 そして 。 また、 行った それから


どこで -交換可能な連想操作 。

今たくさん持っている 整数、メッセージを定義 どこで -あらゆる種類のサブセットから取得したインデックス 。 たくさんの投稿 から成る 同様に可能性のあるメッセージ 、シャノンに関する情報量は

ここで、n個のmemprocessorを使用して、ゼロ以外のコンポーネントを公開します どこで 。 すべての要素をエンコードしました memprocessorsで。 一方、必要なmemprocessorに接続し、それらのグローバル状態を読み取ることで（式に従って、要素の合計が取得されます）、可能な状態mを考慮することができます。 言い換えると、n個のmemprocessorsが（必要に応じて情報を圧縮して）エンコードできます。 メッセージを同時に。

指数情報オーバーヘッドを使用したSSPソリューションアルゴリズム

ここで、私はこのアルゴリズムの詳細を理解できなかったと言わざるを得ません（私は電気工学と信号処理がそれほど得意ではなかったことがわかり、著者はそのような無知のためにすべてを塗りつぶさないことにしたようです）が、一般的な考えは。

開始するために、彼らは関数を見ることを提案します


括弧を開くと、すべての種類のインデックスセットに製品があります。 （私たちはそのようなセットを ）、そしてそれらは等しい


言い換えれば、私たちの機能 すべてのサブセットの合計に関する情報が含まれています 。 ここで、関数gを信号源と考えると、各指数は結果の信号に寄与し、周波数の寄与は 。

ここで必要なのは、この信号にフーリエ変換を適用し、信号に含まれる周波数を確認することだけです。 周波数を持つコンポーネントがある場合 その後、サブセット 、量で 存在します。

通常のコンピューターでこの問題を解決したら、高速フーリエ変換を適用できます。 漸近的な挙動を推定します。

これを行うには、信号から取得するポイントの数を推定します。 コテルニコフの定理により、これらのポイントは どこで -可能な最大頻度の評価。 記事では、著者は追加の変数を導入しました 比例している そしてそれを通して漸近性を考慮しました。

したがって、 FFTを使用して、次の問題を解決できます。 。 ここで、バックパック問題（およびSSPはバックパック問題の特殊なケース）と同様に、$ p $は指数関数的に増加することに注意する必要があります。 Goertzelのアルゴリズムもタスクに使用できます。これにより、 。 著者によって提案された方法では、あなたが取り除くことができます 漸近では、線形時間を提供します。

さて、あなた自身の言葉で（より詳細な議論については、元の記事を参照してください）、彼らはこれをどのように達成しましたか。

取る アナログmemprocessors、その内部値はからのいくつかの値になります 。 オペレーターとして そして それぞれ、加算と乗算が行われます。

しかし、これは私たちのモデルです。 鉄では、各memprocessorは独自の周波数（の数に対応する信号発生器）であることがわかります ）、memprocessorsの一般的な状態は、単にシグナルの追加です。 これらのmemprocessorsは関数をシミュレートすることがわかります 。

さて、今、結果を読み取るために、信号に特定の周波数があるかどうかを確認する必要があります。 FFTを実装する代わりに、彼らは与えられた周波数のみを通過させる鉄片を作りました（ここでは私も方法をよく理解していませんでしたが、エレクトロニクスの私の知識は責任がある）。

合計時間漸近 、memprocessorsの漸近的な動作は 。 発射しましょうか？ 急がないでください。

いくつかのモデルの問題

実際、著者はタスクの「困難な」部分を巧みにシフトしました。これにより、出展者はソフトウェアから技術に移行しました。 以前の記事では、それについてまったく言葉がありませんが、7月の記事では、数行でそれを認めています。

シグナルのコーディングがすべてです（ ここで明確な説明を見つけました ）。 アナログ信号をエンコードし、個別の信号発生器を使用するという事実により、信号レベルの決定には指数関数的な精度が必要になります（所望の周波数を分離する鉄片で）。これには指数関数的な時間が必要になる場合があります。

著者は、この迷惑は、離散信号発生器の代わりにアナログを使用することで回避できると主張しています。 しかし、私はあなたがすべてのためにアナログ回路を使用できるという大きな疑問を持っています 同時に、ノイズにdrれないようにしました（かつて彼らはアナログコンピューターを捨て、デジタルコンピューターを使い始めたのは彼らのためでした）。

まとめ

奇跡的な魔法は起こりませんでした。 NP完全問題の計算は依然として困難です。 では、なぜこれをすべて書いたのですか？ 主に、物理的な実装が複雑であるにもかかわらず、モデル自体が非常に興味深いと思われるため、それらの研究が必要です。 すぐに（まだではないにしても）同様のモデルが多くの科学分野で非常に重要になります。

たとえば、前述したように、ニューラルネットワークはUMMの特殊なケースです。 わずかに異なるマットを使用して、反対側からそれらを見ると、ニューラルネットワークについてもう少し学ぶ可能性があります。 装置。