时钟门控条件（clock gating condition）逻辑状态切换的频率(switching activity)与非图（AIG，and-inverter graph）形式化验证（Formal Verification）活性属性（Liveness Property）安全属性（Safety Property）模型检测（Model Checking）时钟门控（clock gating）触发器（Fl

试题编号：201509-5试题名称：最佳文章时间限制：1.0s内存限制：256.0MB问题描述：问题描述　　小明最近在研究一门新的语言，叫做Q语言。Q语言单词和文章都可以用且仅用只含有小写英文字母的字符串表示，任何由这些字母组成的字符串也都是一篇合法的Q语言文章。　　在Q语言的所有单词中，小明选出了他认为最重要的n个。使用这些单词，小明可以评价一篇Q语言文章的“重要度”。　　文章“重要度”的定义为

试题编号：202009-5试题名称：密信与计数时间限制：1.0s内存限制：256.0MB问题描述：问题描述背景小明和小鱼研究出了一套加密通信的规则。小鱼给小明发送信息（仅由小写字母组成的字符串）的流程如下：·小鱼使用手中的密码本，将明文信息生成密文，该密文也仅由小写字母组成且与明文等长；·小鱼将密文发送给小明；·小明使用手中的密码本（内容与小鱼的密码本很可能不同），将密文解密为明文，该明文与小鱼的

试题编号：202009-4试题名称：星际旅行时间限制：1.0s内存限制：256.0MB问题描述：问题描述在一个n维欧几里得空间的宇宙中，小 A 打算完成一次星际旅行。利用n维直角坐标系，宇宙中每个点的位置都可以用n维坐标来表示。其中，在宇宙中心的O点（未必是坐标系原点）处，有一个半径为r的超球体黑洞，任何物体若落入黑洞内部（不包括其表面）则无法逃脱。小 A 选定了m个不在黑洞内部的点P1,P2,…

问题描述试题编号：201412-5试题名称：货物调度时间限制：1.0s内存限制：256.0MB问题描述：问题描述　　某公司要处理一个周期性的物流问题。　　有n个城市，第i个城市在每周的第j(1≤j≤7) 天会生产aij吨某种货物，同时需要消耗bij吨该种货物。已知每周的产量等于消耗量（即aij之和等于bij之和）。　　城市之间有m条道路，第k条道路连接了城市sk和tk。一条道路上运输1吨货物有一个

演算法笔记新网址：演算法笔记Maximum Subarray1D p-Center ProblemLongest Increasing SubsequenceLongest Common SubsequenceLongest Palindrome Substring0/1 Knapsack ProblemShortest PathMaximum Subarray1D p-Center Proble

Graph is a collection of edges E and vertices V. Graph has a wide variety of applications in computer. There are different ways to represent graph in computer. It can be represented by adjacency matri

A rare book collector recently discovered a book written in an unfamiliar language that used the same characters as the English language. The book contained a short index, but the ordering of the item

若某个家族人员过于庞大，要判断两个是否是亲戚，确实还很不容易，现在给出某个亲戚关系图，求任意给出的两个人是否具有亲戚关系。

经过一段时间的紧张筹备，电脑小组的“RP 餐厅”终于开业了，这天，经理 LXC 接到了一个定餐大单，可把大家乐坏了！员工们齐心协力按要求准备好了套餐正准备派送时，突然碰到一个棘手的问题:筷子！CX 小朋友找出了餐厅中所有的筷子，但遗憾的是这些筷子长短不一，而我们都知道筷子需要长度一样的才能组成一双，更麻烦的是 CX 找出来的这些筷子数量为奇数，但是巧合的是，这些筷子中只有一只筷子是落单的，其余都成