Struct TwoSat

pub struct TwoSat { /* private fields */ }

2-SATを解く。

Implementations

impl TwoSat

pub fn new(size: usize) -> Self

Time complexity $O(size)$

pub fn add_if(&mut self, a: isize, b: isize)

$a \Rightarrow b$

pub fn add_or(&mut self, a: isize, b: isize)

$a \lor b$

pub fn not_coexist(&mut self, a: isize, b: isize)

$\lnot (a \land b)$

pub fn solve(&self) -> Option<Vec<bool>>

Time complexity $O(size + E)$