很明顯的 2-SAT,大力推薦這一題。

建圖精隨:

a & b = 1, {-a->a, -b->b}

a & b = 0, {a->-b, b->-a}

a || b = 1, {-a->b, -b->a}

a || b = 0, {a->-a, b->-b}

a ^ b = 1, {-a->b, b->-a, a->-b, -b->a}

a ^ b = 0, {a->b, b->a, -a->-b, -b->-a}

我的code

http://codepad.org/BMSO6kGE

p.s: 2-SAT小複習 http://ckhs1328.pixnet.net/blog/post/106668042

 

 

 

文章標籤
創作者介紹
創作者 jghs1328 的頭像
jghs1328

jghs1328

jghs1328 發表在 痞客邦 留言(0) 人氣()