摘要：
命题逻辑（还记得我吗？） 命题公式 由若干布尔变量和运算符（$\neg, \cap, \cup, \rightarrow, \leftrightarrow$）得到的公式 有一些命题，我们能否从中得到另一个命题 将问题转化成更“正式”的问题 使用自动化程序解决“正式”的问题 通过形式化，可以将每个概念 阅读全文
摘要：
1179: [Apio2009]Atm Description Siruseri 城中的道路都是单向的。不同的道路由路口连接。按照法律的规定， 在每个路口都设立了一个 Siruser i 银行的 ATM 取款机。令人奇怪的是，Siruseri 的酒吧也都设在路口，虽然并不是每个路口都设有酒吧。Ban 阅读全文
摘要：
Mobile phones Time Limit: 5000MS Memory Limit: 65536K Total Submissions: 21905 Accepted: 10188 Description Suppose that the fourth generation mobile p 阅读全文
该文被密码保护。 阅读全文
摘要：
1088: [SCOI2005]扫雷Mine Description 相信大家都玩过扫雷的游戏。那是在一个n*m的矩阵里面有一些雷，要你根据一些信息找出雷来。万圣节到了，“余”人国流行起了一种简单的扫雷游戏，这个游戏规则和扫雷一样，如果某个格子没有雷，那么它里面的数字表示和它8连通的格子里面雷的数目 阅读全文
摘要：
1717: [Usaco2006 Dec]Milk Patterns 产奶的模式 Description 农夫John发现他的奶牛产奶的质量一直在变动。经过细致的调查，他发现：虽然他不能预见明天产奶的质量，但连续的若干天的质量有很多重叠。我们称之为一个“模式”。 John的牛奶按质量可以被赋予一个0 阅读全文
摘要：
1342: [Baltic2007]Sound静音问题 Description 静音问题 数字录音中，声音是用表示空气压力的数字序列描述的，序列中的每个值称为一个采样，每个采样之间间隔一定的时间。 很多声音处理任务都需要将录到的声音分成由静音隔开的几段非静音段。为了避免分成过多或者过少的非静音段，静 阅读全文
摘要：
2251: [2010Beijing Wc]外星联络 Description 小 P 在看过电影《超时空接触》(Contact)之后被深深的打动，决心致力于寻找外星人的事业。于是，他每天晚上都爬在屋顶上试图用自己的收音机收听外星人发来的信息。虽然他收听到的仅仅是一些噪声，但是他还是按照这些噪声的高低 阅读全文
摘要：
3942: [Usaco2015 Feb]Censoring Description Farmer John has purchased a subscription to Good Hooveskeeping magazine for his cows, so they have plenty o 阅读全文
摘要：
4800: [Ceoi2015]Ice Hockey World Championship Description 有n个物品，m块钱，给定每个物品的价格，求买物品的方案数。 有n个物品，m块钱，给定每个物品的价格，求买物品的方案数。 Input 第一行两个数n，m代表物品数量及钱数 第二行n个数， 阅读全文
摘要：
1692: [Usaco2007 Dec]队列变换 Description FJ打算带他的N(1 <= N <= 30,000)头奶牛去参加一年一度的“全美农场主大奖赛”。在这场比赛中，每个参赛者都必须让他的奶牛排成一列，然后领她们从裁判席前依次走过。 今年，竞赛委员会在接受队伍报名时，采用了一种新 阅读全文
摘要：
4173: 数学 Description Input 输入文件的第一行输入两个正整数 。 输入文件的第一行输入两个正整数 。 Output 如题 如题 Sample Input 5 6 Sample Output 240 HINT N,M<=10^15 N,M<=10^15 sol：推公式 $m m 阅读全文
摘要：
题意：求第k个无平方因子数是多少 无平方因子数(square-free number)，即质因数分解之后所有质因数的次数都为1的数 膜拜Po姐姐 二分答案 设二分后值为x 我们考虑前x个数中是否含有超过k个不是平方因子的数 我们考虑平方因子一定含有至少一个质数的平方 那么考虑容斥，即质数平方个数为0 阅读全文
摘要：
1123: [POI2008]BLO Description Byteotia城市有n个 towns m条双向roads. 每条 road 连接 两个不同的 towns ,没有重复的road. 所有towns连通。 Byteotia城市有n个 towns m条双向roads. 每条 road 连接 阅读全文
摘要：
1718: [Usaco2006 Jan] Redundant Paths 分离的路径 Description In order to get from one of the F (1 <= F <= 5,000) grazing fields (which are numbered 1..F) t 阅读全文
摘要：
题面太长而且是英文不贴 大意：求割点 裸题 /*To The End Of The Galaxy*/ #include<cstdio> #include<cstdlib> #include<iostream> #include<cstring> #include<algorithm> #includ 阅读全文