可满足性问题(Satisfiability Problem,简称SAT Problem)是众多NP完全问题的“种子”,它是一类问题的难度标准,很多NP完全问题最终......

令G=(V, E)是一个图,M是边集E(G)的子集.如果有e∈E(G)/M,e至少与M中一条边相连,则称 M为图G的边控制集.进一步,若M是匹配,则称M ......

关键节点识别已经成为分析与理解复杂网络特性、结构、功能的有效方式.提出了一种基于节点中心性的关键节点识别算法框架(greedy a......