公共文化服务平台

搜索到73篇“ NP完全性“的相关文章

特殊形式和结构的MSP问题NP完全性研究: 2021年; 针对一个NP完全问题,即MSP问题,研究其问题的结构性质,猜想特殊的结构可以使其算法证明得到简化。以简化证明为导引,提出一种特殊形式和结构的MSP问题。而约束了形状的特殊形式和结构的MSP问题如果不具备NP完全性,会极大影响进一步简化算法证明的研究意义。因此,提出的特殊形式和结构的MSP问题进行了NP完全性质证明。类比对SAT问题开展研究时,同样开展特殊结构的2-SAT问题、3-SAT问题、k-SAT、max-SAT问题研究,特殊形式和结构的MSP问题同样具有重要意义,并进一步推动原问题的研究。; 马兰刘新朱哲; 关键词：NP完全性

d-正则(k,s)-SAT问题的NP完全性被引量：1: 2020年; 研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则约束的d-正则(k,s)-SAT问题,其要求实例中每个变元的正负出现次数之差不超过给定的自然数d.通过设计一种多项式时间的归约方法,证明d-正则(k,s)-SAT问题存在一个临界函数f(k,d),使得当s≤f(k,d)时,所有实例都可满足;当s≥f(k,d)+1时,d-正则(k,s)-SAT问题是NP完全问题.这种多项式时间的归约变换方法通过添加新的变元和新的子句,可以更改公式的子句约束密度,并约束每个变元正负出现次数的差值.这进一步说明,只用子句约束密度不足以刻画CNF公式结构的特点,对临界函数f(k,d)的研究有助于在更强正则约束条件下构造难解实例.; 符祖峰许道云; 关键词：SAT问题 NP完全性

MSP问题NP完全性研究被引量：4: 2015年; 针对文献[1,2]提出的MSP问题,研究了MSP问题与着色问题、子图同构问题的对应关系,揭示了MSP问题所反映的NP完全问题的共性;分析了MSP问题的相变现象,为文献[1,2]提出的多项式时间算法框架的测试提供了难例产生方法。; 吴添君姜新文; 关键词：NP完全相变

MSP问题NP完全性研究: 自从Steve Cook证明了第一个NP完全问题以来，大量的NP完全问题不断被发现，而且很多问题具有重要的实际应用。比如，SAT问题是大规模集成电路自动布线和人工智能领域的关键问题，着色问题在组合优化、规划调度等方面有着...; 吴添君; 关键词：NP完全性

SAT子类的NP完全性和间隙问题复杂性研究: 从1972年发现NP-完全性以来，很多学者就对NP-难的优化问题能否有快速算法来计算其近似解感兴趣，然而对大部分这类问题，寻求有效的近似算法都令人失望。于是尝试来证明求其近似解也是NP-难的，但除了极少个例成功之外就陷入...; 邓天炎; 关键词：NP完全性; 文献传递

缺陷幻方填充问题的NP完全性判定研究: 缺陷幻方填充问题是幻方研究中发现的具有密码学意义的新问题,它是幻方数字锁原理和幻方数码防伪技术的基础,对此问题进行深入理论研究,以确认其安全强度,有着重要的理论和现实意义。同时,本文的研究对于推动幻方本身研究的发展也将有...; 陈剑南; 关键词：幻方 NP完全性拉丁方相异代表系边色数; 文献传递

密钥覆盖问题的NP完全性证明被引量：1: 2006年; 给出了密钥覆盖问题的模型建立过程,并从顶点覆盖问题的判定形式出发,证明了密钥覆盖问题的判定形式是NP完全问题,为组通信安全的研究,尤其是多播安全的研究奠定了更为坚实的基础.; 陆正福洪孙焱; 关键词：组密钥管理组合优化顶点覆盖问题

空间方向关系推理计算的NP完全性研究: 2003年; 空间方向关系推理问题的NP完全性证明是基于两个重要的变换基础之上的,其中一个变换是把空间方向关系推理问题变换为一个限定满足问题,基于这种变换,空间方向关系推理问题中的变量和值域相应地变换为限定满足问题中的空间目标和方向关系限制;另一个变换是从不全等3可满足问题到方向关系限定满足问题,基于这种变换,3可满足问题实例中的变量可以变换为两个方向关系限制.为此,一个满足所有目标方向关系限制的空间结构可以建立,从而可以证明空间方向关系推理问题的NP完全性性质.; 毛建华邱小剑刘丽; 关键词：NP完全性地理信息系统

NP完全性理论中关于集合恰当覆盖的一个证明: 1997年; NP完全性理论是国际上数学与计算机科学理论研究的新领域.本文证明了NP完全性理论中关于集合恰当覆盖的一个结论,充实了NPC理论中关于集合覆盖的论证.; 石凤仙; 关键词：数学基础

表的等价性的NP完全性的讨论: 1996年; 本文给出了表的等价性判定的一些结果：三元可满足性问题、表达式的ＮＰ完全性、表的ＮＰ完全性，还给出了函数依赖对表的影响、强等价性的复杂性的一些讨论。为对表的进一步研究指出了方向。; 郝忠孝张英慧; 关键词：NP完全性等价性数据库

相关作者