暗い整数：インターネットルーターでの汎用計算

グレッグイーガンのフィクション「Dark Integers」（算術の矛盾の周りの定理を証明することによって通信する2つの異なる数学を持つ2つの宇宙に関する物語）は、その基本機能のみを使用して既存のインターネットルーター上で汎用コンピューターを構築することが可能であると主張していますパケット交換（および正確には、チェックサム修正）の。

これは原則として可能ですか？

更新。

質問をより正確にするには：

その上に汎用コンピューターを構築できるようにするために、ルーターネットワークに必要なプロパティの絶対最小限のセットは何ですか？

これは役に立ちます：

寄生コンピューティングは、オンラインユニバースへの脅威または健全な追加として同時に見られる可能性のある技術の例です。インターネットでは、すべてのコンピューターで使用されるプロトコルの標準セットにより、信頼できる通信が保証されています。これらのプロトコルは、通信インフラストラクチャで計算するために悪用され、インターネットを、リモートノードに代わってサーバーが意図せずに計算を実行する分散コンピューターに変換します。このモデルでは、1台のマシンがターゲットコンピューターに、標準的な通信に関与させるだけで複雑な計算問題の一部を強制的に解決させます。

では、寄生コンピューティングサイトで、あなたは上の情報詳細なことができますが、TCPパケットのチェックサムを使用して3-SATの問題を解決する方法を。

その他の便利なリンク：

• KKMaharanaによる寄生コンピューティングに関するセミナーレポート
• 寄生コンピューティングに関するNatureの記事（2001年8月）

インターネットルーターなどをコンピューターとして使用するための1つのアプローチは、アルバートラズロバラバシ、ビンセントW.フリー、ハウンジョン＆ジェイB.ブロックマンによるNatureのレターで公開されました 。彼らはアイデアを寄生コンピューティングと呼んだ。彼らのアイデアは、TCPプロトコルで実行されるチェックを使用して、オンラインではあるが計算を実行し、NP完全問題をオフラインで解決することです。ここでは、機能が完全に機能する仮想マシンに拡張されています。多数のドキュメント（ドイツ語）とソースコードも提供されています。

「Silence on the Wire」という本は、このアイデアを拡張して、後で跳ね返されるデータを含む不正な形式のパケットを送信することにより、インターネット上を浮遊するパケットをRAMとして使用する方法を説明しています。RAMの量は、送信されるパケットの数にパケットのサイズを掛けたものに等しくなります。