截位（rnd/prnd/floor）:都是去掉低位数据的操作（去掉低位低精度的数据，或者说小数位，降低数据的精度） 饱和（sat/sym_sat）:都是去掉高位数据的操作，（去掉无符号数高位的0，或者有符号数高位多余的符号位） 函数说明： floor： 这个操作很简单，就是把低位直接截掉，精度损失大 ...
分类：
其他好文 时间：
2018-10-13 02:21:19
阅读次数：
213
参考资料： [1]:挑战程序设计竞赛P324(强烈推荐) [2]:看大神的推荐学习资料 《由对称性解2-SAT问 题》（伍昱的WC论文）、《2-SAT解法浅析》（赵爽） [3]:https://www.cnblogs.com/kuangbin/category/417834.html 相关习题（待完 ...
分类：
其他好文 时间：
2018-10-11 00:02:21
阅读次数：
160
传送门:Problem 3683 https://www.cnblogs.com/violet-acmer/p/9769406.html 参考资料： [1]:挑战程序设计竞赛 题意： 有n场婚礼，每场婚礼有起始时间si，结束时间ti，还有一个主持仪式需要花费ti时间，ti必须安排在婚礼的开始或者结束 ...
分类：
其他好文 时间：
2018-10-10 23:52:24
阅读次数：
233
一、前置技能 > Tarjan求割点 > 高中数学选修2-1 命题与逻辑关系（好像是这个名字） > 莓了 （本文用&&表示与 || 表示或 !x表示x的否命题 与正常的数学符号不同食用请注意） 二、k-SAT > Q: 为什么讲2-SAT之前要先讲k-SAT？ 因为k-SAT被证明是NP-完全问题 ...
分类：
其他好文 时间：
2018-10-09 20:34:36
阅读次数：
158
传送门 这道题真是2-SAT好题啊！！卡了我两个点才做完……垃圾POJ还不告诉我哪错了…… 首先我们先花一段时间把题看懂……（其实是翻译一下），之后我们发现因为每个谷仓只能向一个中转点连边，所以他就是一个布尔变量的两个取值。然后对于每个限制条件，其实就是^嘛！我们把他转换为合取范式之后建一下图。不过 ...
分类：
其他好文 时间：
2018-10-09 16:59:43
阅读次数：
154
tarjan的运用 this is a problem:link 2-SAT处理的是什么 首先，把「2」和「SAT」拆开。SAT 是 Satisfiability 的缩写，意为可满足性。即一串布尔变量，每个变量只能为真或假。要求对这些变量进行赋值，满足布尔方程。 所以看这道题 若ai为真或aj为真， ...
分类：
其他好文 时间：
2018-10-08 15:07:39
阅读次数：
112
比较好想的一道题，直接用队列滑窗，因为扫一遍往队列里加东西时，改变的只有一个值，开桶储存好就行了！ 考场上想到$2-sat$但是忘得差不多了，打死都理不清楚关系。 这道题算是$2-sat$板子题了，主要是如何判断的思想。 首先题目条件疯狂暗示，但是和$2-sat$的一般理解方式不同。题目上给的约束条 ...
分类：
其他好文 时间：
2018-10-07 20:24:30
阅读次数：
190
1.time模块 FUNCTIONS asctime(...) asctime([tuple]) -> string Convert a time tuple to a string, e.g. 'Sat Jun 06 16:26:11 1998'. When the time tuple is n ...
分类：
编程语言 时间：
2018-09-25 01:11:12
阅读次数：
198
题目大意：有$n$个位置，有三种数，每个位置只可以填一种数，$d(d\leqslant8)$个位置有三种选择，其他位置只有两种选择。有一些限制，表示第$i$个位置选了某种数,那么第$j$个位置就只能选规定的数 输出一组合法的选数方案,无解输出$-1$ 题解：考虑$d=0$的情况，就是$2-sat$的 ...
分类：
其他好文 时间：
2018-09-22 19:45:14
阅读次数：
154
这种成功和后来的研究（表明记忆本身并不是先天决定的）使爱立信总结到，记忆的行为与其说是一种习得的行为不如说是一种先天的行为。 这点我们不清楚-构思物体和找出数字模型的能力，回答问题（最好的诗人和哲学家都回避的问题） 任何参加过SAT考试的人都会证实应试技巧很重要，无论是知道什么时候靠猜，什么时候跳过 ...
分类：
其他好文 时间：
2018-09-15 14:32:02
阅读次数：
140
