 |
| ||||
Home Page
F.A.Qs
Statistical Charts
Past Contests
Scheduled Contests
Award Contest
| ||||||||||
| Online Judge | Problem Set | Authors | Online Contests | User | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Web Board Home Page F.A.Qs Statistical Charts | Current Contest Past Contests Scheduled Contests Award Contest | |||||||||
a必须为1可不可以表示为：a0->b0且a0->b1，这样子a0也是不能选的。。。但是这么构造2-sat居然wa，求解。。。In Reply To:在基本的2-SAT基础上，增加了诸如“a必须为1”的条件。若a必须为1，则连边a0 --> a1，这样只要一选a0，自然就矛盾了。 Posted by:ImLazy at 2008-09-26 12:05:23 Followed by: Post your reply here: |
All Rights Reserved 2003-2013 Ying Fuchen,Xu Pengcheng,Xie Di
Any problem, Please Contact Administrator
