[論文レビュー] Lecture notes on descriptional complexity and randomness

Péter Gács|arXiv (Cornell University)|May 10, 2021

Computability, Logic, AI Algorithms参考文献 43被引用数 42

ひとこと要約

Algorithmic Information Theory の基礎に関する教育的調査で、記述的複雑性とランダム性を正式な定義と主要技法とともに導入する。

ABSTRACT

A didactical survey of the foundations of Algorithmic Information Theory. These notes are short on motivation, history and background but introduce some of the main techniques and concepts of the field. The "manuscript" has been evolving over the years. Please, look at "Version history" below to see what has changed when.

研究の動機と目的

• Algorithmic Information Theory の基礎の動機づけと概説。
• 記述的複雑性（例：C(x)）とランダム性の正式な概念を導入する。
• 乱数性と複雑性を研究するための主要技法と概念を提示する。
• 乱数性に関連する均一テストと一般化された概念を論じる。

提案手法

• 現代的な表記で Kolmogorov 複雑性 C(x) と前置複雑性 K(x)を導入・定義する。
• アルゴリズム的確率と関連するテストを通じてランダム性を説明する。
• 均一テストと一般化された複雑性概念を提示する。
• 無限系列のランダム性やクラステストに関する材料を取り入れる。
• 正式な定義と教育的なトピックの進行を提供する。

実験結果

リサーチクエスチョン

• RQ1 Algorithmic Information Theory における記述的複雑性とランダム性の正確な形式的定義は何か？
• RQ2 均一テストはランダム性をどのように特徴づけ、複雑性の一般化概念とどのように関連するか？
• RQ3 無限系列のランダム性を同じ形式的枠組みでどのように扱えるか？

主な発見

• 記述的複雑性とランダム性の正式な定義を提供する。
• Algorithmic Information Theory で用いられる主要な技法と概念の概要。
• 現在の標準に合わせた表記の更新を注記（C(x) および K(x)）。
• アルゴリズム的確率と均一／クラステストを通じたランダム性を扱う。
• 枠組み内の無限系列と均一テストに関する材料を含む。