摘要：
介绍 2-SAT是一个非常简单的东东，但是网上很多的资料都把这个玩意写得无比复杂。 可能这就是详细把，由于我太菜了，只会记结论。 SAT 是适定性（Satisfiability）问题的简称。一般形式为 k - 适定性问题，简称 k-SAT。而当 k>2 时该问题为 NP 完全的。所以我们只研究 k= 阅读全文
posted @ 2020-08-12 21:06
RainbowCrown
阅读(127)
评论(0)
推荐(0)
摘要：
Description Sample Input Input1: 3 2 1 0 2 1 1 0 2 0 1 1 2 1 Input2: 2 1 1 0 1 0 1 1 1 1 Sample Output Output1: 0 1 Output2: IMPOSSIBLE Data Constrain 阅读全文
posted @ 2020-08-12 21:05
RainbowCrown
阅读(116)
评论(0)
推荐(0)
摘要：
Description 在一个N行M列的二维网格里，有些格子是空地（用字符‘.’表示），有些格子是障碍物（用字符‘#’表示）。每个空地格子都有一只虫子，虫子不会移动。FJ打算用最少的炸弹把所有的虫子消灭。FJ每次可以选择在一个空地格子（不妨假设是格子a）放置一个炸弹，这个炸弹爆炸后，格子a的虫子会被 阅读全文
posted @ 2020-08-12 20:33
RainbowCrown
阅读(141)
评论(0)
推荐(0)
摘要：
Description 给定两个字符串A和B，表示JYY的两个朋友的名字。我们用A(i,j)表示A字符串中从第i个字母到第j个字母所组成的子串。同样的，我们也可以定义B(x,y)。 JYY发现两个朋友关系的紧密程度，等于同时满足如下条件的四元组(i,j,x,y)的个数： 1≤i≤j≤|A| 1≤x≤ 阅读全文
posted @ 2020-08-12 20:16
RainbowCrown
阅读(144)
评论(0)
推荐(0)
浙公网安备 33010602011771号