论文部分内容阅读
研究命题公式 (合取范式 )的极小不可满足性 .设公式F含有n +k个子句(n是F中所有变元的个数 ) ,其中包括子句x1∨…∨xn 和┐x1∨…∨┐xn,证明了当k≤ 4时 ,可在多项式时间内判定F是否是极小不可满足的
极小不可满足公式的两个多项式时间可判定类
【摘 要】
：
研究命题公式 (合取范式 )的极小不可满足性 .设公式F含有n +k个子句(n是F中所有变元的个数 ) ,其中包括子句x1∨…∨xn 和┐x1∨…∨┐xn,证明了当k≤ 4时 ,可在多项式时间内判定F是否是极小不可满足的
【出 处】
：
中国科学(A辑)
【发表日期】
：
1999年03期
其他文献
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
曾报道过通过功能筛选得到一个新的红细胞分化相关基因, 并命名为EDRF1(erythroid differentiation related factor 1, GenBank登录号为AF040247). 鉴于功能线索明确, 选择K562细胞作为模型细胞, 通过基因转染技术观察了EDRF1反义RNA表达和EDRF1过表达对细胞增殖和分化的影响, [3H]TdR掺入和半固体集落培养实验的结果显示ED
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
为研究重组单链胰岛素的生物活性与连接肽之间的关系, 用基因定点突变的方法分别以二肽A-K, 七肽A-A-A-A-A-A-K和十二肽A-A-A-A-A-A-A-A-A-A-A-K连接胰岛素的B30和A1, 得到3个单链胰岛素分子PIP, [A]5PIP和[A]10PIP. 它们的受体结合能力分别为胰岛素的0.14%, 14.3% 和11.1%, 体内生物活性与受体结合能力一致, 而它们的促生长活性分
观测到磁场诱导鼠癌细胞凋亡的形态特征. 凋亡的癌细胞收缩变圆, 与周围细胞脱离; 异染色质浓缩, 沿核膜内侧排列, 凝结成块; 内质网池状水肿并与细胞膜融合; 出现许多被膜包裹的凋亡小体; 凋亡小体被一些淋巴细胞、浆细胞吞噬. 用原位缺口末端标记法(TUNEL)测定癌细胞凋亡, 发现磁场治疗组的凋亡癌细胞的数目明显大于对照组. 在超低频脉冲梯度磁场作用下, 抑制鼠恶性肿瘤生长和提高免疫细胞的溶癌能
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
We report an experiment of adaptive compensation for first-order polarization mode dispersion (PMD) in 10-Gb/s return zero (RZ) optical communication system. T
期刊