【摘 要】
：
本文基于逻辑代数的反向运算和对自变元的等级划分规则给出了一种分级赋值求解SAT问题的多项式时间算法.这种方法根据逻辑代数中基本逻辑运算的特点,赋予由执行这些基本逻辑
【机 构】
：
沈阳大学,信息工程学院,沈阳,110044
【出 处】
：
中科院自动化研究所自动化与信息技术发展战略研讨会暨2003年学术年会
论文部分内容阅读
本文基于逻辑代数的反向运算和对自变元的等级划分规则给出了一种分级赋值求解SAT问题的多项式时间算法.这种方法根据逻辑代数中基本逻辑运算的特点,赋予由执行这些基本逻辑运算的反向运算而得到的自变元的值以相应的等级,并且通过由拥有高等级的自变元修正低等级自变元相应值的方法得出问题的确定解.这种方法在包括最坏情况下的时间复杂度为O(n).
其他文献
本文首先分析了目前密钥设置所存在的问题,然后结合安全密钥设计准则提出了一种新的图像密钥生成算法,最后实验表明利用该算法生成的密钥符合安全密钥设计准则的要求.
本文综合国外已有资料,在对PHM系统进行综合性阐述的同时,结合机械产品的结构特点,提出基于PHM的故障预测模型设计的基本思路,其中包括:对传统的可靠性技术方法(如FMECA)进行
审计人员在审计工作中时常会遇到被审计单位部署在互联网上的网络版业务系统,数据库由国家、省或市统一建设管理,一般普通用户只能通过相应权限登录系统后查看所需数据,而审
如何按照“服务发展、注重培养、引领牵头、整体提升”的原则,强化消防部队审计人才队伍建设,建立符合审计职业特点、分类科学、权责一致的审计人员管理制度和职业保障机制,
针对局部搜索类NSGA2算法计算量大的问题,提出一种基于密度的局部搜索NSGA2算法(NSGA2-DLS).使用解的密度衡量解的稀疏度,并将当前非支配解中稀疏度最小的解定义为稀疏解,每
本报讯（记者 米太平）5月18日至25日，中国审计署总审计师李晓钟应邀率中国审计代表团访问了越南审计署和柬埔寨審计署。 访问期间，李晓钟分别会见了越南审计长胡德福和柬埔寨审计长绍金苏，共同回顾了中越、中柬最高审计机关的友好合作。越柬两国审计长均表达了进一步深化双边审计交流、学习中国审计理念和审计实践经验的强烈意愿。 此访是落实中越、中柬最高审计机关双边合作协议的重要活动。中国审计代表团就审计标
本文介绍了相关系数法、模糊聚类法和熵分划方法在复杂系统统计相关测量中的应用.以生态经济区划为例,指出相关系数仅适用于线性的情况;模糊聚类法和熵分划的方法既适用于线
《中共中央、国务院关于深化国有企业改革的指导意见》(简称《指导意见》)是新时期指导和推进国有企业改革的纲领性文件,主要目标是基本完成公司制改革,完善国有资产监管制度
服务质量是制约我国会计审计服务发展的根本问题.随着我国“一带一路”战略的实施,会计审计服务问题也成为学术界的讨论热点.在社会网络的理念下,“一带一路”建设中会计审计
2018年11月15日,由美国国防部监察长办公室牵头,动用人员超过1200名,耗资高达4.13亿美元,历时近一年进行的美国国防部首次全面财务审计公布了审计结果.此次审计涉及范围之广