论文部分内容阅读
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名ψ,使得ψ(F)=H?”的复杂性.对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI.
MAX和MARG中公式改名的复杂性
【摘 要】
：
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名ψ,使得ψ(F)=H?”的复杂性.对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的
【机 构】
：
贵州大学计算机科学系,贵阳,550025
【出 处】
：
南京大学学报(数学半年刊)
【发表日期】
：
2006年2期
其他文献
讨论rn“虚实”相生,成就“高深”rn职业学校因其办学特点,要求校长面对的工作确实相当繁多.rn正如案例中的高职校校长所说,校长要忙重点创建,创建国示范、高水平现代化示范
本文通过对荣华二采区10
法国是近代行政诉讼的发源地,其最具特色的越权之诉制度,着眼于公共利益,不以申诉人为限,是一种对事不对人的客观诉讼,对构建符合我国国情的行政公益诉讼制度有着重大的借鉴
Geochemical characteristics and petrogenesis of Mesozoic basalts from the North China Craton: A case
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
民间文学是产生于民众中的一种艺术,但随着现代化的发展,民间文学的生存空间变得越来越狭窄.本文试图以两个典型的例子分析在当今网络社会中,是否存在民间文学；民间文学的创作
Resonant Structure Described by a Deep Folded Potential for the 12C+12C Scattering at Lower-Energy R
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
针对学院学生文化基础相对薄弱,又增加了武术课的教学,阅读时间相对减少等特点,通过对学院学生阅读现状的统计分析,提出了加强民办高校学生导读工作的应对策略.