摘要: 2 - sat问题: 就是一些元素,他们的值只能为布尔值0,1. 给出一些限制关系,并且每对关系都是两个数之间的。 让你找出一组构造,让所有关系都满足。 解法: 首先要建图: 我们规定,a为1的点为a + n,a为0的点为a。 那么对于给定的一对关系a , b。 如果是a == 1,b == 1,那 阅读全文
posted @ 2021-02-04 15:18 levill 阅读(65) 评论(0) 推荐(0) 编辑
摘要: H:签到。 F:可以发现长度就是1,2,3这些第一个不在自己i位置上的,他们自己的位置减去i。 长度找到后就去翻转验证能不能行即可。 本来应该是要双端队列去模拟这个过程的,暴力翻转复杂度肯定不够。 但是懒得写队列暴力了写了下过了。 #include<bits/stdc++.h> using name 阅读全文
posted @ 2021-02-04 10:21 levill 阅读(85) 评论(0) 推荐(0) 编辑