摘要：
前置知识 SET问题的标准定义：在计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是确定是否存在满足给定布尔公式的解释的问题。（全是废话） 说人话就是，你要给n个变量，n需要给他赋值使它满足给你一些形如(x1为1或x3为0或x4为3)的条件，你必 阅读全文
摘要：
基础理解: 不是一种算法，而是一种思路，一种优化方式。用同余来构造某些状态，来优化时间空间复杂度（多用来优化dp） 最短路常用spfa，不会被卡，因为同余的特殊构造，可保证spfa的时间复杂度（听大佬说的，我不会证） 主要用于给定n个整数，求这n个整数能拼凑出多少的其他整数（n个整数可以重复取），以 阅读全文
摘要：
难度：困难 主要算法：贪心 题目链接：https://www.luogu.com.cn/problem/P6631 解题思路 简化问题：定义直线为覆盖ai,ai+1,ai+2 的操作，跳线为覆盖ai,ai+2,ai+4的操作。题意简化为使用一些直线和一些跳线使每个位置被覆盖正好ai次。 小范围思考： 阅读全文
摘要：
前置知识 meet in middle (折半搜索) 会的大佬请跳过 不会的请自己前往oi wiki或CSDN（百度吧，少年） 解题思路 纯暴力 看完题目考虑将每一种情况计算出来，排序后找不超过T的最大值 因为每个数有（选/不选）两种情况 所以总共2^n种结果 显而易见，时间复杂度 O（2^n） n 阅读全文