1、获取当前时间戳 time.time() 2、获取当前时间 time.localtime() 3、获取格式化的日期时间 time.strftime(format,t) 4、将"%a %b %d %H:%M:%S %Y"(如："Sat Mar 28 22:24:24 2016")格式化日期时间转换为 ...
分类：
编程语言 时间：
2019-10-14 12:23:51
阅读次数：
98
[哈夫曼树][1] [2 sat问题][2] [线性代数基础][3] [矩阵和行列式基础][4] [可并堆1][5] [可并堆2][6] [概率与期望概念][7] [Kruskcl重构树1][8] [Kruskcl重构树2][9] [匈牙利算法][10] [带权并查集][11] [C++参考手册][ ...
分类：
其他好文 时间：
2019-10-08 22:26:03
阅读次数：
110
感觉方法和题解差不多，但是题解写的好烦啊...也不是烦，就是很复杂 这里建议开一个数组表示当前这个点选或者不选的编号，这样之后自己理思路也会清楚一点 然而我调了一个小时才发现我是Tarjan写错了...... 这道题对于每一个菜分两种情况讨论，每一种情况又有选和不选两种方案 所以相当于每一个菜可以拆 ...
分类：
Web程序 时间：
2019-10-06 15:10:56
阅读次数：
133
题目传送门 题意： 有n个人，k盏灯，灯有红蓝两种颜色，每个人都猜了三种灯的颜色，问如何安排灯的颜色，使得每个人猜的灯至少有两个是对的。 思路： 很容易想到2-sat，但是显然枚举每个人猜对的情况是不显示的，因为猜对两个和猜对三个两种情况就很难搞了。所以我们枚举每一个人猜的灯错的是哪一盏，如果某一盏 ...
分类：
其他好文 时间：
2019-10-01 18:30:45
阅读次数：
89
几个关于2-sat的题 HDU3062 传送门：http://acm.hdu.edu.cn/showproblem.php?pid=3062 题意： 从2n个人去宴会，有 m条关系 i和j不能同时去 夫妻不能同时去 问能否有n个人出席 题解： 因为是n对夫妻，我们将编号扩展 奇数是丈夫，偶数是妻子 ...
分类：
其他好文 时间：
2019-09-23 22:46:45
阅读次数：
108
"题目" 比较精妙的$\text{2 sat}$建图了 还是按照套路把每个电台拆成$(0/1,i)$表示不选/选 前两种连边是板子就不解释了 考虑如何限制选择一个唯一的$f$，并且还能限制不选$f\notin [l_i,r_i]$的电台 考虑前缀优化建图，我们建$(0/1,i)$表示在$[0,i]$ ...
分类：
其他好文 时间：
2019-09-22 19:51:57
阅读次数：
95
Sat Sep 21 06:00:00 2019Begin automatic SQL Tuning Advisor run for special tuning task "SYS_AUTO_SQL_TUNING_TASK"End automatic SQL Tuning Advisor run ...
分类：
数据库 时间：
2019-09-21 23:29:36
阅读次数：
173
namespace TwoSat { const int N = 2007; int dfn[N << 1], low[N << 1], belong[N << 1], idx; int in[N << 1], ou[N << 1], stk[N << 1], top; int ans[N], sc... ...
分类：
其他好文 时间：
2019-09-21 20:54:54
阅读次数：
59
传送门 题目看一半："woc 裸的 $2-sat$ 白给??" 看完以后："...???" 如果没有 $f$ 的限制，那就是个白给的 $2-sat$ 问题，但是现在有这个限制... 直接枚举 $f$ 显然不行，考虑把 $f$ 也纳入我们构建的 $2-sat$ 模型 对于某个限制在 $[l,r]$ 的 ...
分类：
其他好文 时间：
2019-09-17 12:57:34
阅读次数：
100
前言 正好今天学习OI一整年，发篇博客纪念纪念。 听说联赛现在全国排名？那完了，一年OI一场空。 记得去年这个时候刚学OI，跟那些初中就开始学的大佬听课，第一节他们就讲2-sat，第二节就是线性代数。 我的内心是 然后，我就自闭了一个月。 如今又来看这些玄学玩意儿。 先列一下知识点（显得我更像是抄课 ...
分类：
其他好文 时间：
2019-09-01 12:31:33
阅读次数：
131
