黄文奇
- 作品数：38 被引量：181H指数：8
- 供职机构：华中理工大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：理学自动化与计算机技术自然科学总论电子电信更多>>
- 关于相对化的P=?NP问题的注记被引量：2
- 1993年
- 问题P=?NP在相对化后随外部信息集的不同可能有相反的答案.本文得出如下进一步的结果:1.存在着无穷个集合S_1,S_2,…,这些集合的复杂度依次严格上升,并且在它们分别地作为外部信息集合,能交替地使命题P=NP和P≠NP,相对比;2.存在着在NP类之外的递归集A,使得P=NP等价于P^A=NP^A.
- 宋恩民金人超黄文奇
- 关键词：NP问题计算机科学
- 递归集的k-1-度上半格的不可补性与不可分配性被引量：1
- 1989年
- 我们在[11]中证明了多项式时间强图灵归约≤_(sn)T 与多项式时间多一归≤_(pm)有表现在完全集上的本质差别,在本文中我们证明了递归集的≤_(sn)T-归约约度上半格〈(?)_k^1;≤〉不可分配,籍此得〈(?)_k^1;≤〉与〈(?)_m^p;≤〉不同构.这表明此二种归约有表现在其度结构上的差别.此外,使用对角线技术我们还证明了〈(?)_k^1;≤〉的某些初始片段不可补.
- 黄文奇陈志祥
- 关键词：递归集
- 计算机芯片切裁的切角算法
- 1991年
- 通过模拟人类社会在解决切裁下料等问题时所采用的思想,本文提出了一种快速、高效实用的切裁方法,证明了该方法具有精确性,探讨了其高效机理。文章指出,利用拟人的思想可为许多 NP 难度问题给出实用的近似算法。
- 许向阳黄文奇
- 关键词：计算机芯片CAD图论
- 解不等圆 packing 问题拟物拟人算法初态选取被引量：4
- 1998年
- 提出形式化了的人工经验方法，由此得出的算法可以极快速地为不等圆填装（ｐａｃｋｉｎｇ）问题求出初始近似解．将此初始近似解作为求解不等圆ｐａｃｋｉｎｇ问题的拟物拟人算法中的初态，可以提高这种拟物拟人算法的计算速度约１０倍．此种方法还有可能发展为关于求解ＮＰ难问题的不仅具有高速度而且具有高精确度高完整度的具有实用价值的纯粹拟人方法．
- 许如初黄文奇
- 关键词：NP难问题PACKING问题拟物拟人算法
- 求解SAT问题的拟物拟人算法—Solar被引量：43
- 1997年
- 利用拟物与拟人的方法,为合取范式可满足性问题的高效率近似求解得出了继承策略、新路策略和赦免策略,然后对著名的Bart Selman跳坑策略给出了一个直观解释.综合这些策略得出了一个新的求解算法——Solar.
- 黄文奇金人超
- 关键词：合取范式计算机算法SAT
- 求解有关空间利用的调度问题的拟物方法被引量：27
- 1991年
- 可将有关空间利用的调度问题看作四维时空中的Packing问题。对于三维空间中的Packing问题已有拟物型的求解方法,将此种方法加以适当引伸后得出了求解有关调度问题的拟物方法。它能被具体化为关于空间利用调度问题的专家系统或计算机辅助设计软件系统。
- 黄文奇陈亮
- 关键词：调度问题NP难度PACKING问题
- 整系数多元多项式快速分解（1）──初始化算法
- 1996年
- 对于一般形式的整系数多元多项式Ｆ（ｘ１，ｘ２，…，ｘｔ）进行因式分解，通常总是首先选定一个变量，比如Ｘｔ，作为主变量，将下的因式分解转化为对关子Ｘｔ首１的，并使Ｆ＊（０，…，０，Ｘｔ）无重因式的多元多项式Ｆ＊进行分解．本文给出了这种转化的一个新算法．由此算法而得到的Ｆ＊之规模要明显地小于以前的方法的结果，从而使得进一步分解Ｆ＊以得到Ｆ的因式分解的计算时间复杂可以大大地降低．
- 黄文奇陈亮余新国
- 关键词：多元多项式因式分解整系数多项式初始化算法
- K-n-度
- 1989年
- 本文基于K-算子提出了K-n-度的概念,得到了NP集类的K-n-度结构的一些初步结果。
- 陈志祥黄文奇
- 关键词：多项式时间归约
- 二元整系数多项式因式分解的一种理论和算法被引量：1
- 1996年
- 将二元多项式看成系数为一元多项式的一元多项式来进行分解，本文建立了二元整系数多项式因式分解的一种理论，提出了一个完整的分解二元整系数多项式的新算法．这个算法能自然地推广到多元整系数多项式的分解中去．
- 余新国赖楚生黄文奇
- 关键词：多项式因式分解复杂度整系数多项式
- 支持求解圆形packing问题的两个拟人策略被引量：63
- 1999年
- 提出两个拟人策略 ,在拟物算法的基础上 ,为具有NP难度的圆形packing问题得到了一个高效率的实用求解算法 .正面回答了DoritS .Hochbaum等人提出的寻求效率更高的启发式算法的问题 .
- 黄文奇许如初
- 关键词：PACKING问题启发式算法
