论文部分内容阅读
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的链与反链的性质。在第三节巧妙地借助补关系图构造了一个求解DNF的永真性的分治算法。
关于求解DNF永真性问题的近似快速算法的研究
【摘 要】
：
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的链与反链的性质。在第三节巧妙地借助补关系
【机 构】
：
华中理工大学计算机系,华中理工大学计算机系
【出 处】
：
计算机学报
【发表日期】
：
1990年10期
【基金项目】
：
国家自然科学基金
其他文献
本文在[1],[2],[4],[5]的基础上提出了求同步或异步时序电路测试序列的一个代数方法——故障矩阵映射法。应用该算法可以求出检测单故障或多重故障的最短测试序列集(STS)。
经过23d的暂停期后．7月1日内地活禽全面恢复供港。早上7时30分，由广州市江丰实业有限公司报检的1400只活鸡，经文锦渡检验检疫局口岸现场离境检疫合格后，从文锦渡口岸顺利通关供港
吴文俊和刘彦佩教授在七十年代用代数拓扑的方法,给出了一个新的判别图的平面性的方法,即吴-刘定理。本文对给定Hamilton路的图进一步简化了吴-刘定理,据此可以给出一个判别
本文提出了一种新的适用于C.S.Raghavendra等人提出的最佳双环网的容错路由算法,并证明了该算法总能导致信包传递沿着一条最优的路径。
2008年年初，大豆价格在2007年大幅上涨的基础上不断刷新历史新高，而3月以来，大豆价格暴涨暴跌，形成上千点的宽幅振荡走势（图1），笔者认为大豆市场自2006年9月以来的长期单边上涨走势
2006年12月16—18日，“第三届中国饲料科技与经济高层论坛暨中国饲料经济专业委员会第三届学术交流大会”在北京会议中心隆重召开，国内外知名企业家和专家学者千余名代表欢聚一
河南省18个省辖市将在2008年10月底以前建立市级肉类储备制度。河南省商务厅有关负责人表示，此举意在平抑肉类价格．增强政府部门对肉类价格的掌控能力和市场平衡能力。
本文提出了一种能够描述计算机体系结构的描述语言S,该语言用于进程描述具有并行特性的系统,并用事件(event)进行同步与交互,它采用被描述的计算机的指令作为模型运行的负载,
<正> 1.图的最短路径 给定一赋权有向图G=(V,E),假设G中没有带负权圈的顶点,Floyd给出了一个计算G的所有顶点对v_i,v_j之间最短路径算法。在该算法中,用带权邻接矩阵cosT表示