xiaozi-qwq

摘要： 首先，看到 \(n\) 和 \(m\) 的范围不大，而且没有什么很明显的头绪，考虑搜索 具体来说，从大到小枚举每一个卡片，对每一个人进行判断，看这个人能不能拿，能不能拿的判断依据是这个人剩余的数能不能整除卡片的编号 但是，直接这么搜索会TLE，所以考虑到剪枝。看到“整除”，就应该想到质因数分解。考虑 阅读全文

摘要： Part 0:前置知识 Tarjan求SCC Part 1:初识2-SAT sat即Satisfiability(可满足性问题)，2-set问题指对于一串布尔变量，其只有True和False两种取值，在满足若干个约束条件的前提下，对变量赋值 举个栗子： A、B、C去吃早餐 小A认为一顿好早餐应该菜品 阅读全文