https://github.com/m1kit/competitive-lib/blob/master/src/dev/mikit/atcoder/lib/misc/TwoSat.java
とりあえず SCC に依存しないように 2 SAT の中に SCC を貼っています.
SCC は細かい高速化を入れているので結構速くなっていると思います.
「変数xの値がfに確定した」とか書きたくなりませんかね addClause(x,f,x,f)とすればいいのですが, 頻出なら関数化したくなるもので
addClause(x,f,x,f)
確かにあるとよいかもしれません．関数名をどうしましょうか
とりあえず set(int x, boolean f) でコード書きました.
set(int x, boolean f)
Activity
m1kit commentedon Sep 9, 2020
https://github.com/m1kit/competitive-lib/blob/master/src/dev/mikit/atcoder/lib/misc/TwoSat.java
suisen-cp commentedon Sep 10, 2020
とりあえず SCC に依存しないように 2 SAT の中に SCC を貼っています.
SCC は細かい高速化を入れているので結構速くなっていると思います.
NASU41 commentedon Sep 15, 2020
「変数xの値がfに確定した」とか書きたくなりませんかね
addClause(x,f,x,f)とすればいいのですが, 頻出なら関数化したくなるものでsuisen-cp commentedon Sep 15, 2020
確かにあるとよいかもしれません．関数名をどうしましょうか
NASU41 commentedon Jan 22, 2021
とりあえず
set(int x, boolean f)でコード書きました.