【摘 要】
：
Slater选举是最优化问题，也是NP-hard问题，此类问题一般被认为不存在多项式时间的算法。考虑到其求解的复杂度与回答集求解的复杂度是一致的，为此，提出一种利用回答集程序（ Answer
【基金项目】
：
国家自然科学基金资助项目（61173010）
论文部分内容阅读
Slater选举是最优化问题，也是NP-hard问题，此类问题一般被认为不存在多项式时间的算法。考虑到其求解的复杂度与回答集求解的复杂度是一致的，为此，提出一种利用回答集程序（ Answer Set Programming ， ASP）求解Slater选举的新方法。首先，使用饱和技术为Slater选举建立逻辑上等价的ASP模型；其次，对模型进行正确性证明；最后，调用回答集求解器DLV求解Slater选举的具体实例，并在实验结果中说明其可行性。该方法不仅可求解Slater选举问题，而且在ASP中所使用的饱和
其他文献
<正> 近几年各地用棉籽皮袋式栽培黑木耳,都取得了较高的经济效益。但随着食用菌栽培户的增多,造成棉籽皮的来源短缺。特别是非产棉
<正> 原平县同川地区是山西省四大老梨区之一,最高年产2100万公斤。实行农业生产责任制后,对于病虫害,忽视了传统的人工防治,只靠加大用药浓度,增加喷药次数,所
<正> 西瓜花果期包括伸蔓期和结果期,即从团棵开始到全株果实成熟。抓好花果期的管理,是夺取西瓜优质高产的关键。一、加强肥水管理伸蔓期,进行第一次追肥,亩施尿素12公斤,硫
<正> 用麦秸袋料栽培平菇是一项投资少、效果好、周期短、易于普遍推广的实用新技术,比过去使用棉籽壳栽培时,资源充足,成本低廉,效益显著。
<正> 西瓜多为一年一熟,连作西瓜易导致桔萎病的毁灭性危害。我们从1980年起进行双季西瓜栽培研究,1984年进行大田示范种植,连续四
依据基于熵的模糊聚类算法（EFC），提出一种改进的基于熵的中心聚类算法，即通过EFC算法得到差异性十分明显的原始数据集的簇心，以这些簇心为中心再次进行聚类分析，通过各点到各中心的
采用JTAG仿真器完成DSP应用程序代码烧写的方式不适用于工程现场应用中，在线烧写技术已被广泛运用，但是一般在线烧写的过程需要调试PC机与DSP板通过串口直接相连实现，而在某些特
为了解决高效率视频编码（High Efficiency Video Coding,HEVC）复杂度过高的问题,基于粗粒度模式选择（Rough Mode Decision,RMD）过程提出一种降低编码复杂度的方法.该算法充分利用
<正> 棉花是耐盐碱性较强的作物,在土壤全盐量低于0.4％的情况下,如采取合适的耕作栽培管理措施,也能使其较好地生长,取得较高产量。棉花生长发育各阶段以发芽出苗时期耐盐碱能
安全、高效的群组密钥管理方案是保证群组通信安全的关键。在综合考虑军队保密通信和群组密钥管理的特点及要求的基础上,提出一种基于等级树模型的群组密钥管理方案。根据军