TwoSat 構造体

2-SAT [詳解]

#include "two_sat.hpp"

公開メンバ関数
	TwoSat (int n)
void	add (int i, bool fi, int j, bool fj)
	条件 i==fi || j==fj を追加
vector< bool >	solve ()
	2-SATを解く

詳解

2-SAT

two_sat.hpp の 5 行目に定義があります。

構築子と解体子

TwoSat()

TwoSat::TwoSat ( int n )

inline

two_sat.hpp の 6 行目に定義があります。

関数詳解

add()

void TwoSat::add ( int i, bool fi, int j, bool fj )

inline

条件 i==fi || j==fj を追加

two_sat.hpp の 9 行目に定義があります。

solve()

vector< bool > TwoSat::solve ( )

inline

2-SATを解く

解が存在しないなら空のvectorを返す

two_sat.hpp の 18 行目に定義があります。

---

この構造体詳解は次のファイルから抽出されました:

• graph/two_sat.hpp