ネットワークフロー Ford-Fulkersonのアルゴリズム とか 最小カット最大フローの原則 幅優先探索をしよう こんくらい アルゴリズムの設計法 分割統治法 動的計画法 グリーディ法 分枝限定法

節（Clause） 全ての要素がアトムであるシークェントのことを節という。空シークェントを空節という。 冠頭標準形：スコーレム標準形：節集合 充足不能性で等価である。 スコーレム標準形を節の集合で表したものを節形式という。 名前変代入 名前変えにより…