2-SAT問題の効率的解法と実装テクニック
制約充足問題のモデリング
論理変数の組み合わせで矛盾しない割り当てを求める問題において、各制約が「Aを選択するならばBは不可」のような2項条件に限定される場合、2-SATアルゴリズムが有効です。この手法は、論理式を有向グラフとして表現し、強連結成分(SCC)の解析を通じて解の存在を判定します。
グラフ構築のポイント
各変数xについて、2つのノードを定義します：
...
6月21日 18:03 投稿
エージェント型と探索アルゴリズムの設計原理
エージェントの4つの基本タイプ
反応型エージェント
現在のセンサー入力に基づいて即座に行動を選択する。内部状態を持たず、ルールベースで動作する。
例：自動ドア（人を検知 → 開く）、煙感知器（煙検知 → 警報）
制限：部分観測や動的環境には対応不可。
モデル保持型エージェント
観測できない環境状態を推定するために内部モデルを維持する。
状態更新式：現在状態 ...
5月26日 20:39 投稿