这篇博客介绍了如何利用2-SAT算法解决JSOI2019比赛中的精准预测问题。关键在于理解只有致死预测的情况，并处理难兄难弟型预测的时间先后关系，确保图中无环。通过建立特定的图结构，使用bitset进行优化以减少空间需求，实现了O(ωNM)的时间复杂度解决方案。
【题目链接】
【思路要点】
- 显然有 2 − s a t 2-sat 2−sat 建图，注意到只有致死预测，且难兄难弟型预测存在时间先后关系，所建出的图应当不存在环。
- 记 l i v e i , d e a d i live_i,dead_i livei,deadi 分别表示 T + 1 T+1 T+1 时刻时表示 i i i 生/死的变量。
- 由于只有致死预测，当且仅当以下全部条件成立， L i v e ( i , j ) = 1 Live(i,j)=1 Live(i,j)=1 ：
( 1 ) (1) (1) 、 l i v e i live_i livei 不能到达 d e a d i dead_i deadi 。
( 2 ) (2) (2) 、 l i v e j live_j livej 不能到达 d e a d j
最低0.47元/天 解锁文章
扫一扫
882
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
