问题
1. SAT问题
问题P为若干个子句的逻辑与，每个子句是若干变量的逻辑或（P是合取范式/CNF），问是否存在一组输入，使得P为真。
根据对偶性，这一问题可以表述为：命题S是若干子句的逻辑或，每个子句是若干变量的逻辑与（S是析取范式/DNF），问S是否为恒真命题。
分类： ACM
ACM/ICPC乌鲁木齐2017解题报告
两位队友的博客：
BEH三题是我写的，其余题目鸣谢二位大腿。
A:Banana
开始样例错了。
代码：
#include #include #include #include us[......]
[CCPC2015][HDU5548]Mahjong解题报告
题目
给定点数为1~K的麻将牌各4张（这4张完全相同），问有多少种方案，从中选出一个M[……]
[Shanghai2015]Discover Water Tank解题报告
题目：
http://acm.hdu.edu.cn/diy/diy_previewproblem.php?cid=30741&pid=1004
http://cogs.pro/cogs/problem/problem.php?pid=1407
A lot of frogs are living[……]
CF 461D Appleman and Complicated Task解题报告
题目
给你一个n*n网格，每一格要么是0要么是1要么为空，要求你用0或1填满所有空格，使得每个格子周围的0有偶数个。
题解
首先我们观察到这样一个事实：当第一行确定后，整个网格的填法就确定了。我们以N=[……]
CF 449E Jzzhu and Squares解题报告
题目大意
给定一个N*M的网格。对一个顶点为格点的正方形R（不一定与格线平行），计算出其中有多少个单位格被R完全包含（记作F(R)）。求所有正方形的F(R)之和。
题解
首先画一个“勾股图”：
[……]
ACM/ICPC2016沈阳网络赛（不完全）解题报告
比赛地址：
1003.hannnnah_j’s Biological Test
题目大意：
圆周上有N个不同的椅子，要让M个相同的人坐在上面，使得两人之间至少隔K把空椅子，求方案数（模[……]