アルゴリズムのためのオントロジが存在するか?

アルゴリズムの複雑さの理論は、プログラムそのものの表現に適用されたときにコルモゴロフの複雑さが既に共通の基底言語を用いてプログラムの列挙と比較の確かな理論的メトリックとして既に役立っていると考えているようです。

人間のゲノムプロジェクトと同様のアルゴリズムを基本コードや言語に基づいて列挙しようとするオンラインデータベースが存在するか?

ベストアンサー

[拡張コメントのほうが多い]

私はあなたの最初の段落の前提に同意しないと思う…それは、私がデータベースを知らない間に、小さなチューリングマシンを系統的に研究するいくつかの研究があったと言われています。
小型ユニバーサルモノトーンチューリングマシン
https://cstheory.stackexchange.com/a/20980/129
https:///cstheory.stackexchange.com/a/11614/129
これが興味深いものもありますが、まだそれは「果実(すなわち理解)が多い」と言います。私はいつかそれが望む。

また、小さなチューリングマシンのリストと、人によって構築されたアルゴリズムを理解することとの間には不一致があります(すべての遺伝子をリストすることと、それらが何をするかの理解にはまだギャップがあります。つまり、人々によって構築されたアルゴリズムのオントロジには、トーマス・クリムペルのコメントに記載されているようなものが含まれていなければなりません。
(注:ホログラフィックアルゴリズムも含まれていなければならず、アルゴリズムのオントロジーでは比較的最近の驚きです!)しかし、小さなTMのオントロジは全く違って見えます。アルゴリズムの人々の空間の一角がどれほど小さいかを考え、計算上の問題を考えると、小さなTMやすべてのアルゴリズムの意味でアルゴリズムの完全なオントロジーが存在することは間違いありません人々はビルドするだろう。しかし、私は一部の人がまだいくつかの目的のために面白いかもしれないと思う…

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です