2018-2019 ACM-ICPC, Asia Seoul Regional Contest ( TV Show Game )2-SAT
花了几天时间肝了几道2-SAT的题。越做题越会发现,这个东西挺模板的了解原理之后只要会建边基本上就做出来了(除非加什么花里胡哨的二分)。这篇博客写一个Seoul区域赛场的一个2-SAT问题。读者可以去codeforces.com的gym搜seoul然后倒数第二题就是这道题了。首先我们捋一下2-SAT解决问题流程:其实2-SAT细究的话,也就是个 Tarjan求强连通分量...
原创
2019-04-19 17:18:20 ·
1657 阅读 ·
1 评论