摘要：
Description: 有n个布尔变量$x_1$~$x_n$，另有m个需要满足的条件，每个条件的形式都是“$x_i$为true/false或$x_j$为true/false”。比如“$x_1$为真或$x_3$为假”、“$x_7$为假或$x_2$为假”。2 SAT 问题的目标是给每个变量赋值使得所有 阅读全文
posted @ 2019-03-02 13:50
cloud_9
阅读(153)
评论(0)
推荐(1)
摘要：
Description： 给定 $n$ 个整数 $a_1, a_2, \dots, a_n, 0 \le a_i \le n$，以及 $n$ 个整数 $w_1, w_2, \dots, w_n$。称 $a_1, a_2, \dots, a_n$的 一个排列 $a_{p[1]}, a_{p[2]}, 阅读全文
posted @ 2019-03-02 12:32
cloud_9
阅读(192)
评论(0)
推荐(0)
摘要：
Description: 一条东西走向的穆西河将巴邻旁市一分为二，分割成了区域 $A$ 和区域 $B$。每一块区域沿着河岸都建了恰好 $1000000001$ 栋的建筑，每条岸边的建筑都从 $0$ 编号到 $1000000000$。相邻的每对建筑相隔 $1$ 个单位距离，河的宽度也是 $1$ 个单位 阅读全文
posted @ 2019-03-02 10:30
cloud_9
阅读(180)
评论(0)
推荐(0)
浙公网安备 33010602011771号