Satisficingとは何か｜最適解ではなく充足水準で止める
Satisficing（満足化）とは、最適解を探し続けるのではなく、外部主体が定めた充足水準を満たした時点で計算を止める意思決定の枠組みである。Herbert A. Simon（ハーバート・A・サイモン、1916–2001）が提唱した概念（Administrative Behavior ほか）を、制約充足と Weighted MAX-SAT（重み付き最大充足可能性）の語彙で実務へ写す。経営への写しであり、定理の直接適用ではない。
事業の制約はしばしば同時に満たせない。最適解の探索を止めないと、計算資源と組織の注意が枯渇する。必要なのは、何をHardとし、どのSoftをどの重みで満たせば採用するかを、探索前に宣言することである。
Hard clauseとSoft clause
| 種別 | 例 | 扱い |
|---|---|---|
| Hard clause | 法令、現金下限、安全性、品質下限 | 一度でも破れば棄却 |
| Soft clause | 納期、表現、品揃え、局所利益率 | 重み付きで最大化・緩和 |
Weighted MAX-SATは、Hardを守りながらSoftの加重和を最大化する枠組みである。「99%なら常に十分」という普遍閾値は存在しない。充足水準は外部主体が事業ごとに固定する。
最適解探索が止まらない理由
市場のネットワーク最適化を、ハミルトン閉路や巡回セールスマン問題へ還元できる流通・獲得効率の問題として見ると、系の内部で真面目に最適解を求めるほど計算資源が膨らむ。
完璧なOptimizingを求める無限ループに入る前に、Satisficingで打ち切る。打ち切りは諦めではない。検証可能な停止条件である。
外部主体が固定するもの
- 目的関数（何を最大化・充足するか）
- Hard clause（一度でも破れば棄却）
- Soft clauseの重みと受入閾値
- 探索上限（期間、資本、試行回数）
- タイムアウトと再起動条件
探索中に都合よく目的を差し替えると、結果は検証不能になる。目的変更は新しい計算ラウンドとして記録する。
BMC・CDCLとの接続
Satisficingは単独の精神論ではない。Bounded Model Checkingで探索深さを有限にし、CDCLでConflictを再訪禁止の学習節へ変換し、Hardを満たしSoftが閾値へ達した時点でHaltする。
| 手続 | 役割 |
|---|---|
| BMC | Bound k を固定し、反例の有無を見る |
| CDCL | 失敗を短い禁止節へ圧縮する |
| Satisficing | 受入閾値で局所探索を止める |
この停止は事業全体の終了ではない。局所探索ラウンドの終了である。
やってはいけない混同
| 混同 | 正しい区別 |
|---|---|
| 満足化＝妥協の美談 | 事前に宣言した充足水準での停止である |
| Softを満たせばHardは後回しでよい | Hardを破った割当は棄却する |
| 閾値は業界標準で決まる | 外部主体が毎回固定する |
| 止まれば最適である | 最適性の保証ではない |
実務チェックリスト
- HardとSoftを探索前に分けたか
- Softの重みと受入閾値を数値化したか
- Boundとタイムアウトを固定したか
- 採用・棄却・未決・再起動の記録形式があるか
- 目的変更時にラウンドを分けたか
Satisficingから得られる示唆は、「ほどほどでよい」ではない。有限資源で停止できる問題へ変換し、充足した解を検証可能な手続で採用することである。
満足化の歴史的位置
ハーバート・サイモンは、完全合理性のもとで最適解を求めるモデルが、現実の認知限界と合わないことを指摘した。人間と組織は、すべての代替案を評価できない。したがって、受入可能な水準を満たす最初の案を採用する手続が合理的になり得る。
計算量の語彙へ移すと、探索空間が指数的に膨らむ問題に対し、外部から閾値を与えてHaltすることに対応する。閾値が無い最適探索は、停止問題に近い実務的危険を持つ。
Softの重みの付け方
重みは好みの点数ではない。次を区別する。
- 法令違反の回避は重みではなくHardである
- 顧客体験の欠落は、離脱率や再購率で重みを較正する
- 短期利益は、現金下限を守る範囲でのみSoftとして最大化する
- 表現や品揃えは、ブランド公理と衝突しない範囲で緩和する
重みを後から感情で動かすと、学習節とBoundの意味が壊れる。変更するならラウンドを分ける。
充足した後に残る仕事
Satisficingで採用した解は、永久最適ではない。残差が許容損失を超えたら、境界を細かくするか、Hardを見直す。粗視化と同様、一度決めて終わりではない。
採用ログには、少なくとも次を残す。
- 宣言したHardと閾値
- Boundと試行回数
- 棄却したConflictの要約
- 採用した割当の証跡
- 次ラウンドの見直し条件
現場での一日の回し方
朝にHardとBoundを確認する。当日の試行上限、現金下限、品質下限、法令チェックリストを掲示する。日中は候補を実行し、Conflictをその場で短い禁止として記録する。夕方、Softの加重が閾値を超えた案があれば採用し、超えていなければ未決として閉じる。
未決は敗北ではない。目的・制約・Boundのどれを変えるかの材料である。翌日へ感情的に持ち越さず、変更点だけを新ラウンドの公理として書く。
最適幻想のコスト
最適解を待つあいだに、在庫は劣化し、人材は燃え、競合は動く。計算の外側の時間が、目的関数に入っていないことが多い。Satisficingは、その外側時間を停止条件へ内部化する。
まとめに代えて
最適解を偶像化すると、組織は探索を止められなくなる。Satisficingは、停止を倫理的敗北ではなく、検証可能な設計選択へ変える。Hardを守り、Softに重みを与え、Bound内で充足した案を採用する。残差が許容を超えたら、公理と閾値を更新して次のラウンドを開く。この反復こそが、有限資源の経営における計算の本体である。計算の速さだけではなく、止め方の上手さが資本効率を決める。閾値を隠す文化は、後から目的を差し替える文化であり、検証可能性を毀損する。公開された充足水準だけが、学習節と反例経路を意味ある記録にする。
『P vs NP経営』の詳細はこちら https://link.amazon/B04IEdYsn