摘要: 4195: [Noi2015]程序自动分析Description在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。考虑一个约束满足问题的简化版本:假设x1,x2,x3,…代表程序中出现的变量,给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件,请判定是... 阅读全文
posted @ 2016-05-15 23:30 SiriusRen 阅读(141) 评论(0) 推荐(0)
摘要: 代码只有10行,反正我是看了题解才知道的。 嗯 首先 看到这个题, BFS+一堆判断(什么平年闰年跨年各种乱搞肯定能搞出来,但是Code length就不一定了)。。。 然后呢 就看到了这个题解 从后往前推,对于某一天的胜败由两天决定:后一天和后一个月的同一天(当然有的没有第... 阅读全文
posted @ 2016-05-15 20:06 SiriusRen 阅读(138) 评论(0) 推荐(0)
摘要: 题意:给你个数,让你把它拆成2的幂的和,问有几种拆分方案。 思路:仔细想一想,就是个递推。如果是奇数,那么它的方案数和它减一这个数的方案数是一样的。因为1不能拆成除1以外的2的幂之和。(呃说的不太清楚,意会意会(⊙﹏⊙)b)。【举个例子:100的方案数 和101的方案数是一样的】如... 阅读全文
posted @ 2016-05-15 19:52 SiriusRen 阅读(130) 评论(0) 推荐(0)
摘要: 题目大意:FJ需要修补牧场的围栏,他需要 N 块长度为 Li 的木头(N planks of woods)。开始时,FJ只有一块无限长的木板,因此他需要把无限长的木板锯成 N 块长度为 Li 的木板,Farmer Don提供FJ锯子,但必须要收费的,收费的标准是对应每次据出木块的长... 阅读全文
posted @ 2016-05-15 19:27 SiriusRen 阅读(145) 评论(0) 推荐(0)
摘要: 题意: 给你一个5*6的矩阵,你可以在任意位置对这个位置及其上下左右(如果有的话)进行xor【读作:叉欧二 ( :-D) 】操作,求解在哪些地方进行。 思路: 0. 一个显而易见就超时的方法(2^30),枚举第i个灯是开是关 但为第一种方法提供了思路 1.好像可以枚举第一... 阅读全文
posted @ 2016-05-15 18:03 SiriusRen 阅读(173) 评论(0) 推荐(0)