2-SAT。建立n个变量，其中第i个变量表示第i个城市是否是首都。对于边(x,y)，连边x->y'，y->x'。对于一个有y个城市的国家，新建2y个变量，分别表示前i个城市和后i个城市中是否有首都。然后求出SCC，判断是否存在合法的方案即可，时间复杂度$O(n+m)$。#includeconst i...
分类：
其他好文 时间：
2015-07-11 18:21:42
阅读次数：
112
题意：给出n个点，每个点上有一个数字可以0或1，然后给出m条限制，要求a和b两个点上的数字满足 a op b = c，op和c都是给定。问是否能够有一组解满足所有限制？（即点上的数字是0是1由你决定）思路：题意很清晰了，难点在建图。要考虑所有可能的冲突：当op为and： （1）c为0时，其中1个必....
分类：
其他好文 时间：
2015-07-10 20:30:12
阅读次数：
96
题意：有A,B,C三种任务，每个人必获得1个任务，大于等于平均年龄的可以选择A和C，小于平均年龄的可以选择B和C。这些人有一些是互相讨厌的，必须不能执行同任务，问能否安排他们工作？若行，输出任意一组解。思路： 依然是 2-SAT，只不过换了个样子，建图时不同而已。这里每个人依然有2人选择，也有冲突....
分类：
其他好文 时间：
2015-07-10 18:37:15
阅读次数：
91
题意：有n个飞机要降落，每机都可以在两个时间点上选择降落。但是两机的降落时间间隔太小会影响安全性，所以，要求两机的降落时间应该达到最大，当然也不能冲突了。问最大的时间间隔是多少？（其实问的是max(每种方案中两机间的最小间隔) ）思路： 用Kosaraju算法也是可以过的，而且代码也比较少，那就用....
分类：
其他好文 时间：
2015-07-10 14:43:18
阅读次数：
109
我们知道在默认情况下，第一个枚举数的值为0，后面每个枚举数的值一次加1.enum Days {Sat, Sun, Mon, Tue, Wed, Thu, Fri}; 我们也可以用初始值来重写默认值。enum Days {Sat=1, Sun, Mon, Tue, Wed, Thu, Fri}; .....
分类：
编程语言 时间：
2015-07-09 19:22:58
阅读次数：
143
由于枚举也是用户定义类型，所以是可以定义运算符， 如：1 enum Day {sun, mon, tue, wen, thu, fri, sat};2 3 Day& operator++(Day& d)4 {5 return d = (sat == d) ? sun : Day(sta ...
分类：
编程语言 时间：
2015-07-04 18:11:03
阅读次数：
111
原文 The secretary told me that Mr. Harmsworth would see me. I felt very nervous when I went into his office. He did not look up from his desk when I entered. After I had sat down, he said that bus...
分类：
其他好文 时间：
2015-07-03 14:15:59
阅读次数：
95
原文 Postcards always spoil my holidays. Last summer, I went to Italy. I visited museums and sat in public gardens. A friendly waiter taught me a few words of Italian. Then he lent me a book. I rea...
分类：
其他好文 时间：
2015-06-26 13:38:54
阅读次数：
84
之前我的图论一直都是DFS一下，BFS一下，求个欧拉回路，拓扑排个序这种渣渣水平。终于鼓起勇气拾起白书第五章的东西。学(bei)习(song)了一下求双连通分量，二分图的判定，强连通分量，2-SAT。DFS加上时间戳这个东西，很强大。最后刷了白书上的例题：BCC：LA3523可以参加会议的是双联通分...
分类：
其他好文 时间：
2015-06-21 22:22:01
阅读次数：
252
# -*- coding: utf-8 -*-"""Created on Sat Jun 20 19:36:34 2015@author: chaofn"""import os"""这个程序的目的是将linux下/ifs/home/fanchao/Manesh_pdb目录中的所有文件（一共有215个...
分类：
编程语言 时间：
2015-06-20 23:24:49
阅读次数：
230
