摘要：
Description 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件 阅读全文
摘要：
Description Input 第一行包含两个整数N和 M， 表示该无向图中点的数目与边的数目。 接下来M 行描述 M 条边，每行三个整数Si，Ti ，Di，表示 Si 与Ti之间存在 一条权值为 Di的无向边。 图中可能有重边或自环。 第一行包含两个整数N和 M， 表示该无向图中点的数目与边的 阅读全文
摘要：
Description 魔法之龙玛里苟斯最近在为加基森拍卖师的削弱而感到伤心，于是他想了一道数学题。 S 是一个可重集合，S={a1,a2,…,an}。 等概率随机取 S 的一个子集 A={ai1,…,aim}。 计算出 A 中所有元素异或 x, 求 xk 的期望。 魔法之龙玛里苟斯最近在为加基森拍 阅读全文
摘要：
Description 有一个长度为 n 的 01 串，你可以每次将相邻的 k 个字符合并，得到一个新的字符并获得一定分数。得到的新字 符和分数由这 k 个字符确定。你需要求出你能获得的最大分数。 有一个长度为 n 的 01 串，你可以每次将相邻的 k 个字符合并，得到一个新的字符并获得一定分数。得 阅读全文