コルモゴロフ複雑性とは何か｜最短記述としての既約さ
コルモゴロフ複雑性（Kolmogorov Complexity）とは、対象を出力する最短プログラムの長さである。記述が短いほど、その対象は既約に近い。冗長な合成は、より短い生成手続へ分解できる。
名称は Andrey N. Kolmogorov（アンドレイ・N・コルモゴロフ、1903–1987）に由来する。関連して Per Martin-Löf（ペール・マルティン＝レーフ、1942–）のランダム性の議論がある。計算量や圧縮の下限を語る道具であり、経営データへの「最短説明」は、経営への写像に留める。
歴史に残る仕様・論文・プロダクトは、しばしばこの意味で整数系における素数的性質を持つ。分解できる合成数は冗長である、という比喩で読める。
最小記述長
同じ出力を生むプログラムが複数あるとき、最短のものの長さがコルモゴロフ複雑性である。圧縮できる対象は、規則を持つ。これ以上短くできない対象は、その記述系においてランダムに近い。
| 対象 | 読み方 |
|---|---|
| 短い生成手続で書ける | 構造・法則がある |
| どの手続も長い | 既約／ランダムに近い |
| 長く見えるが圧縮できる | 見かけの複雑さ |
正確なコルモゴロフ複雑性は計算不能である。実務では、相対的な記述長の比較や、最小記述長の近似として使う。
仕様とUIの選別
ソフトウェア開発で、1ヶ月議論した仕様が却下され、1日で書き直した既約なUIが残ることがある。これを美意識だけの話にせず、記述長の観点で読む。余計な分岐、例外、属性依存を削った手続の方が、検証と実装が短い。
Eコマースでは、初訪問者が購買決定に至る情報の最短経路を設計する。クエリの測地線を揃えることは、ブーリアンな遷移を短く保つことに近い。
素数的な論文・既約な証跡
合成数のように分解できる文書は、二次要約や言い換えで消える。歴史に残る主張は、それ以上短くできない核を持つ。経営の証跡も同様で、長い物語より、短い棄却条件と再現可能な手順の方が残る。
ランダムネスとの関係
ペール・マルティン＝レーフのランダムネスは、効果的に記述できる例外集合に属さない列として定義される。コルモゴロフ複雑性の高い列は、その意味でランダムに近い。
隠れマルコフやViterbiは、観測列の背後にある最短・最尤の経路を復元する手続である。記述の短さと説明のよさを、別の角度から扱う。
実務チェックリスト
- 仕様をこれ以上短くできないか試したか
- 例外と属性依存を増やしすぎていないか
- 証跡が物語ではなく再現手続か
- 圧縮できない核（reject条件）を明示したか
- 見かけの機能数と記述長を混同していないか
コルモゴロフ複雑性の有効性は、短いほど常に正しいことではなく、検証可能な核を最短の手続へ圧縮し、冗長な合成を捨てることにある。
計算不能性と近似
任意の文字列の正確なコルモゴロフ複雑性を求める一般手続は存在しない。それでも、圧縮率、重複排除、共通部分の括り出し、仕様の分岐数といった近似指標は使える。
「短い」だけで正しいとは限らない。誤りを短く書いても、reject条件を満たさなければ棄却する。最短性と妥当性は別軸である。
既約なUIの条件
既約な画面は、機能が少ないことと同義ではない。ユーザーが目的を完了するまでの決定木が短いことである。隠れた例外、権限分岐、属性ごとの特例が増えると、記述長が膨らむ。
初訪問者の測地線を揃えるとは、最初の数ステップで棄却につながる迷いを消すことである。説明文を増やすより、状態を減らす。
証跡の素数性
二次要約しか残らない企画書は、合成数的である。一次の制約、測定定義、棄却条件が残る文書は、既約核を持つ。監査と再現は、後者を要求する。
記述長と資本効率
同じ売上を、長い手順と短い手順のどちらで達成するかは、資本効率に効く。短い手順は、教育コスト、障害点、監査コストを減らす。ただしreject条件を削って短くしてはならない。削ってよいのは冗長な充足条件である。
既約核を残し、装飾を捨てる。その選別自体が、公理とSatisficingの仕事である。
運用への落とし込み
リリース前に、画面遷移数、例外分岐数、権限分岐数、説明文の延べ文字数を数える。前回より増えて目的が同じなら冗長化の疑いを記録する。減ってreject条件が欠けていれば欠陥の疑いを記録する。
増減の理由を、機能追加の美談ではなく記述長の用語で残す。サポート票の「どこで迷ったか」を分岐番号へ対応づけ、迷い密度の高い分岐から削る。削る対象は充足条件である。reject条件の確認ステップを削って短く見せない。
ドキュメントの寿命
既約核のある文書は、担当が変わっても残る。核の無い文書は、人事異動で消える。オンボーディング期間に「どの文書が残ったか」を数え、残存率の低い文書種別から記述長レビューを入れる。残存は人気ではなく、再現に必要だったかの代理指標である。
コードレビューの指標
差分の行数だけでなく、分岐の純増減と設定フラグの純増減を見る。行が減ってフラグが増えるなら、複雑さが設定空間へ逃げただけである。フラグの直行積が状態空間を増やす。レビュー承認条件に、フラグ純増時の停止条件と既定値を必須にする。既定値が「後で決める」のままマージしない。
まとめに代えて
短いことが善なのではなく、妥当な核が短いことが強い。コルモゴロフ複雑性は計算不能でも、冗長な分岐を削る圧力として機能する。仕様、UI、証跡、論文のどれも、二次要約で消える部分と、消えない核を分ける。核はreject条件と測定定義に近く、消える部分は充足条件の装飾に近い。資本効率は、同じ目的をどれだけ短い手続でHaltできるかに現れる。短くするためにreject条件を削った瞬間、それは既約ではなく欠陥になる。
『P vs NP経営』の詳細はこちら https://link.amazon/B04IEdYsn