1251 - Forming the Council PDF (English) Statistics Forum Time Limit: 2 second(s) Memory Limit: 32 MB In a city there are n voters, and m people forme ...
分类：
其他好文 时间：
2017-06-30 17:29:54
阅读次数：
228
习题 9: 打印，打印，打印 1 # Here's some new strange stuff, remember type it exactly. 2 3 days = "Mon Tue Wed Thu Fri Sat Sun" 4 months = "Jan\nFeb\nMar\nApr\nM ...
分类：
编程语言 时间：
2017-06-30 01:12:43
阅读次数：
282
吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。 1.易知吝啬SAT的解可以在多项式时间内验证，因此属于NP问题。 2.如果我们把吝啬SAT问题中的k设置为输入的数目，那么SAT问 ...
分类：
其他好文 时间：
2017-06-26 21:23:26
阅读次数：
229
POJ 3207 Ikki's Story IV - Panda's Trick 题目链接 题意：一个圆上顺序n个点，然后有m组连线，连接两点，要求这两点能够往圆内或圆外。问能否构造出使得满足全部线段不相交 思路：2-sat，推断相交的建边，一个在内。一个在外，然后跑一下2-sat就可以 代码： # ...
分类：
其他好文 时间：
2017-06-21 14:10:21
阅读次数：
136
POJ 2296 Map Labeler 题目链接 题意： 坐标轴上有N个点。要在每一个点上贴一个正方形，这个正方形的横竖边分别和x，y轴平行，而且要使得点要么在正方形的上面那条边的中点，或者在以下那条边的中点。而且随意两个点的正方形都不重叠（能够重边）。问正方形最大边长能够多少？ 思路：显然的2- ...
分类：
其他好文 时间：
2017-06-21 13:45:45
阅读次数：
117
import timeimport calendarimport os# 时间格式熟悉"""# 格式化成2016-03-20 11:45:39形式time01 = time.strftime("%Y-%m-%d %H:%M:%S", time.localtime())print()# 格式化成Sat ...
分类：
编程语言 时间：
2017-06-21 11:52:40
阅读次数：
198
哪些工具可以用于性能优化？ ST05-性能追踪。包含SQL追踪加RFC，队列和缓存追踪。SQL追踪主要用于测量程序中select语句的性能。 SE30-运行时分析。用于测量应用的性能。 SAT是过时的SE30的替代品。提供了和SE30相同的功能和额外的一些特性。 ST12事务（ST-A/PI软件组件 ...
分类：
其他好文 时间：
2017-06-18 20:47:50
阅读次数：
326
【BZOJ2199】[Usaco2011 Jan]奶牛议会 Description 由于对Farmer John的领导感到极其不悦，奶牛们退出了农场，组建了奶牛议会。议会以“每头牛 都可以获得自己想要的”为原则，建立了下面的投票系统： M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投 ...
分类：
其他好文 时间：
2017-06-18 15:54:39
阅读次数：
149
【BZOJ1997】[Hnoi2010]Planar Description Input Output Sample Input 2 6 9 1 4 1 5 1 6 2 4 2 5 2 6 3 4 3 5 3 6 1 4 2 5 3 6 5 5 1 2 2 3 3 4 4 5 5 1 1 2 3 4 ...
分类：
其他好文 时间：
2017-06-18 15:49:04
阅读次数：
136
【BZOJ1823】[JSOI2010]满汉全席 Description 满汉全席是中国最丰盛的宴客菜肴，有许多种不同的材料透过满族或是汉族的料理方式，呈现在數量繁多的菜色之中。由于菜色众多而繁杂，只有极少數博学多闻技艺高超的厨师能够做出满汉全席，而能够烹饪出经过专家认证的满汉全席，也是中国厨师最大 ...
分类：
Web程序 时间：
2017-06-18 15:15:17
阅读次数：
173
