計算とアルゴリズム 1.1～1.3と演習問題1-8。計算量の話。基本。演習問題1-8は2SATがO(m+n)で解けることを示す問題。解答では最大独立集合を求める問題に帰着し、構成したグラフの特殊性から最大独立集合を求める問題はO(m+n)と言っている。しかし証明が載っ…