论文部分内容阅读
本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题——析取范式永真性判定问题．本文从构造的角度对析取范式作了分析，得出了如下结果：在由ｎ个确定的命题变元所可能构成的一切不含均覆盖的析取范式中，含有三角式的析取范式占绝大多数．基于这个结果，本文得出了一个求解析取范式永真性判定问题的近似快速算法．
对于析取范式构造的进一步分析
【摘 要】
：
本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题——析取范式永真性判定问题．本文从构造的角度对析取范式作了分析，得出了如下结果：在由ｎ个确定的命题变元所可能构成的一切不含均
【出 处】
：
计算机学报
【发表日期】
：
1994年05期
【基金项目】
：
国家自然科学基金
其他文献
This study aims to estimate and predict the impact of climate change on typhoons and wave overtopping during typhoon progresses in Qingdao, China. The SWAN wave
Temporal-Spatial Variation of Surface Suspended Matter and Controlling Factors in the Inner Shelf of
Based on the observed surface suspended matter in the East China Sea in February 2007 and June 2015,an empirical model was established using L1b’s band 4 data
三叉神经痛是面部三叉神经分布区难以忍受的疼痛,以面颊、上下颌部为主,呈骤发、短暂、阵发,多为单侧反复发作,每次发作数秒至数分钟,1日内可频繁发作,发作期与间歇期长短不
Recovery of the Erosion Thickness and Characterization of the Paleogeomorphology in the Southern Lis
The restoration of the denudation thickness is the basis for quantitatively analyzing the basin burial history,thermal evolution history and hydrocarbon accumul
英语特殊疑问句的习得研究一直是二语习得研究领域的热门话题。很多学者对于它的习得顺序和难度做出了大胆的预测。本研究基于Stromswold (1995)和O’Grady (1997)关于主宾语
一般而言，时态与时间概念之间有对应关系，然而它们之间的不一致现象也常有发生。许多学者已经对现在时态的非现在时用法进行过研究，然而他们的研究中有些仅局限于时间领域内，有些
Real-Time Position and Attitude Estimation for Homing and Docking of an Autonomous Underwater Vehicl
As an important tool for marine exploration, the autonomous underwater vehicle(AUV) must home in and dock at a docking station(DS) to be recharged, repaired, or
Dynamical Control of Asymmetrically Oblique Tidal Currents to the Sedimentary Characteristics and De
The Liaodong Shoal is a group of linear sand ridges located in the east Bohai Sea of China.In this study,54 surface sediment samples have been collected,current
艾滋病即人类免疫缺陷病毒（human immunodeficiency virus，HIV）感染人体所引起的获得性免疫缺陷综合征（acquired immunodeficiency syndrome，AIDS），以免疫系统损害和机会性感染为主