P vs NP経営｜Premise
Premise （設計と意図｜Design & Intent）
One-sentence aim: A finite agent converts apparent chance into a deterministic procedure and recursively condenses net profit. Vocabulary stays CNF (Conjunctive Normal Form) / SAT (Boolean Satisfiability) / 0|1 / rules / planar 3-coloring. Search does not halt without an outer will and a satisficing stop condition.
一文の狙い: 有限資源の人間が、偶然に見える成功を決定手続きへ落とし、純利益を再帰凝縮する。語彙は常に CNF（Conjunctive Normal Form／連言標準形）・SAT（Boolean Satisfiability／充足可能性）・0/1・ルール・平面3色であり、探索は公理系の外側の意思と satisficing がなければ停止しない。
Ontology: Premise · Glossary · Reference · Conjecture · Lineage. Repo: G-premise.md.
What this page is （このページの位置）
Premise は四層オントロジー（Glossary / Reference / Conjecture / Lineage）の入口である。定義面でも書誌でも予想リストでも演算者系譜でもない。設計と意図の単一ソースであり、工程1→10と螺旋 Cycle0–5 と外側停止の核文を固定する。
Premise = design & intent (this page) Glossary = (V, E, Walk) Reference = bibliographic map Conjecture = problem geodesic Lineage = operator nodes + primary corpora
Aim / Non-aim （狙うこと／狙わないこと）
| Aim | Non-aim |
|---|---|
|
|
Outer halt （外側停止の核文）
命題と判定の探索空間を移動する問題は、公理系の内部だけでは停止しない。停止には、公理系の外側の意思と、satisficing としての停止条件の入力が必要である。経営者の仕事は、系の内部で最適解を見つけ尽くすことではなく、外側から目的と停止条件を与え、計算を止めることである。
工程6が全書の反復核である。Cycle ごとに角度だけ変え、核は変えない。
Contrast （一般論との対比）
| 一般論 | 本書 |
|---|---|
| 真実／真理を探す | 公理を選択し、0/1を割り当てる |
| 統合的な真理がある | 充足する／しないがあるだけ |
| 内部努力で最適解に到達する | 外側の意思と satisficing がなければ探索は停止しない |
| すべてを判定できる枠がある | 停止問題・不完全性により、全アルゴリズムを判定する手続は無い |
着地は「本書の真理」ではなく「本書が選択する公理」である。
Pipeline 1→10 （工程）
| # | 工程 | 核 |
|---|---|---|
| 1 | 問題設定 | P vs NPは道具 |
| 2 | 対象定義 | 事業＝停止可能TM（Turing Machine／チューリングマシン） |
| 3 | 還元 | CNF（Conjunctive Normal Form／連言標準形）、0/1、平面化 |
| 4 | 型照合 | Conflict、2-SAT（2-Satisfiability／2充足可能性） |
| 5 | 探索と緩和 | BMC（Bounded Model Checking／有界モデル検査）／CDCL（Conflict-Driven Clause Learning／矛盾駆動型節学習）（内部だけでは終わらない） |
| 6 | 公理介入 | 外側の意思、satisficing |
| 7 | 脱ランダム化 | 運→決定手続き |
| 8 | 信頼性 | ZKP（Zero-Knowledge Proof／ゼロ知識証明）／BFT（Byzantine Fault Tolerance／ビザンチン耐故障性） |
| 9 | 既約 | 素数性、独立証跡 |
| 10 | 出力 | ROIC（Return on Invested Capital／投下資本利益率）再帰凝縮 |
Spiral Cycle0–5 （螺旋構成）
| Cycle | 角度 | 章 |
|---|---|---|
| 0 | 確証パッケージ | 序章 |
| 1 | 定義の言い換え | 第1–2章 |
| 2 | 手続きの言い換え | 第3–5章 |
| 3 | 応用の言い換え | 第6–8章 |
| 4 | 所有と勝利の言い換え | 第9–11章 |
| 5 | 帰還 | 終章 |
成功条件: 言い換えをしながら何度も同じ話（CNF／SAT／平面3色／外側satisficing停止）がされている、と読者が認知する。
Title mapping （題名との対応）
- P vs NP 経営／決定論: 決着ではなく、決定論的経営マシンへの変換である。
- 富を再帰的に凝縮する: creation ではなく condensation である。
- デランダマイゼーション型チューリングマシン決定法: 偶然を、記号とステップの停止可能手続きへ落とす方法である。
Ontology projection （四層への射影）
| Layer | Role | Live |
|---|---|---|
| Glossary | 記号×原典トポロジー | open |
| Reference | 文献目録（地図） | open |
| Conjecture | 歴史的予想の測地線 | open |
| Lineage | 前提語彙ライブラリ（演算者系譜） | open |
Lineage の Intent（前提語彙ライブラリ）は Premise の訓練集合側である。原典を学べば少なくとも著者と同等の演算能力を再現できる、という前提。結論の暗記ではなく、記号→ステップ→制約→停止の機械を内在化する。
Failure modes （失敗条件）
| ID | 失敗 |
|---|---|
| A | 偽の新規性（別命題に見える言い換え） |
| B | 地図の喪失（何周目かわからない） |
| C | 対比が「本書こそ真理」に逆転する |
| D | 別テイストで章が自立する |
| E | 探索が外側停止なしに内部完結して読める |
Abbreviations （短縮語）
| Abbreviation | Expansion (EN) | 日本語 |
|---|---|---|
| P | Polynomial time | 多項式時間 |
| NP | Nondeterministic Polynomial time | 非決定性多項式時間 |
| TM | Turing Machine | チューリングマシン |
| CNF | Conjunctive Normal Form | 連言標準形 |
| SAT | Boolean Satisfiability | 充足可能性 |
| 2-SAT | 2-Satisfiability | 2充足可能性 |
| BMC | Bounded Model Checking | 有界モデル検査 |
| CDCL | Conflict-Driven Clause Learning | 矛盾駆動型節学習 |
| ZKP | Zero-Knowledge Proof | ゼロ知識証明 |
| BFT | Byzantine Fault Tolerance | ビザンチン耐故障性 |
| BPP | Bounded-error Probabilistic Polynomial time | 有界誤差確率的多項式時間 |
| RP | Randomized Polynomial time | 乱択多項式時間 |
| ROIC | Return on Invested Capital | 投下資本利益率 |
| AI | Artificial Intelligence | 人工知能 |
Source: book v1.0.113 · STYLE.md · chapters/00-prologue.md · appendices/G-premise.md