Last login: Sat Mar 30 07:38:24 2019 from 10.0.0.3[root@vmhzpcentosdisk ~]# fdisk -l 在esxi上给虚拟机新增磁盘，后重启虚拟机； Disk /dev/sda: 1075 MB, 1075838976 bytes, ...
分类：
其他好文 时间：
2019-03-30 10:27:39
阅读次数：
155
芝士 2 SAT问题就是一种给出n个变量，满足一些二元限制比如(x取1，y必须取0)，要求求出n个变量赋值的合法方案的题目 3 SAT及更多是NP完全问题 2 SAT求解可以用tarjan，时间复杂度$O(n+m)$，但是要求输出字典序最小解的时候只有$O(nm)$的算法 算法流程就是要拆点连边，x ...
分类：
其他好文 时间：
2019-03-27 21:15:11
阅读次数：
160
sqli1： 脚本 1 # -*- coding: utf-8 -*- 2 """ 3 Created on Sat Mar 23 09:37:14 2019 4 5 @author: kenshin 6 """ 7 8 import requests,re 9 url = 'http://loca ...
分类：
数据库 时间：
2019-03-23 16:06:39
阅读次数：
232
链接：https://www.luogu.org/problemnew/show/P4782 分析 按照逻辑关系建图，跑tarjan，如果上下点在一个环中，说明不可能，不然就可能。 代码 ...
分类：
其他好文 时间：
2019-03-15 14:34:13
阅读次数：
133
2-sat问题： 给定$n$个二元组$(A,B)$，你需要从这些二元组中选取$n$个元素，每个二元组中必须恰好选择一个元素。 同时给出$m$个约束条件，每个条件形如“选A必须选B”、“选A就不能选B”等。求一种合法的选取方案。 思路： 暴力$O(2^n\times m)$多好啊。 考虑将所有约束条件 ...
分类：
其他好文 时间：
2019-02-27 19:08:17
阅读次数：
138
"题目" 来学$2$ $sat$了 这个东西确实不难 这个算法就是给你一堆$bool$变量$x_1,x_2...x_n$，之后给你一些限制 限制的形式就是给你一对$(u,o1,v,o2)$ 让$x_u=o1$或者$x_v=o2$ 之后满足所有限制 这个东西非常容易就能抽象成一个图论模型 我们把每个$ ...
分类：
其他好文 时间：
2019-02-26 17:47:50
阅读次数：
130
T1 啊我死了 显然是一个2—sat模型，两个状态如果存在一个串是另一个的前缀，产生冲突所以对i与j+n建边（反向的也不要忘了），建完跑2 sat，如果有解就输出Yes，否则输出No。 直接暴力建边时间复杂度是n^2 siz的，有50分。所以需要优化建边的过程。 考虑把每一个状态串插入到trie树上 ...
分类：
其他好文 时间：
2019-02-22 21:27:36
阅读次数：
231
1 #include 2 #include 3 int main(){ 4 char str1[61], str2[61], str3[61], str4[61]; 5 char week[7][4]={"MON", "TUE", "WED", "THU", "FRI", "SAT", "SUN"}... ...
分类：
其他好文 时间：
2019-02-21 23:04:26
阅读次数：
179
解题关键：2-sat模板，tarjan解决。 ...
分类：
其他好文 时间：
2019-02-09 17:38:53
阅读次数：
183
（1）、异步任务 （2）、定时任务 cron表达式： 0-7或SUN-SAT 0,7代表SUN 特殊字符对照表 ...
分类：
编程语言 时间：
2019-02-08 23:13:56
阅读次数：
215
