最大不全k满足问题的局部搜索近似算法

合取范式可满足与最大可满足问题是理论计算机科学的核心问题.最大不全满足问题是最大可满足问题的一般化.限制每个子句均含有k(≥2)个字母的最大不全满足问题又称为最大不全k满足问题.最大不全满足问题的算法进展,以解答该类问题的半定规划松弛法最具代表性.关于最大不全2满足、3满足和4满足问题,目前性能最好的近似算法分别由Goemans与Williamson、Zwick、Karloff与Zwick给出,近似性能比分别为1.139(1/0.878)、1.10047(1/0.9087)和8/7.当k≥5时,最大不全k满足问题的近似算法则未曾见到.文中给出了一个解答最大不全k满足问题的局部搜索算法,近似性能比可达到2k-1/(2k-1-1),k≥2;进一步将该方法推广到解答由不少于k个字母的子句构成的最大不全k满足问题,近似性能比亦可达到2k-1/(2k-1-1).利用解答最大不全k满足问题的近似算法,给出了解答最大k可满足问题的新近似算法,近似性能比可达到2k/(2k-1).文中最后证明了若P≠NP,则k≥4的最大不全k满足问题不能近似到小于2k-1/(2k-1-1),从而说明文中解答最大不全k满足问题的算法近似性能比是最优的.

宏病毒的预防与清除

现代办公人们离不开计算机,但是,它也带来了许多的不便与麻烦,宏病毒就是这些麻烦中的一个体现。由于人们防毒意识不强,对新技术不了解,就给宏病毒的传播和爆发带来了有利的条件,通过U盘、邮件等方式来回拷贝文件,使病毒文件从一台计算机传播到另一台计算机,严重危害了办公环境。为此,该文以最常见的宏病毒为例,从以下几个方面进行阐述:第一章,着重介绍了宏病毒的由来及计算机病毒与生物病毒的异同;第二章,介绍了目前单位内部发现的带病毒文件及发作的症状;第三章,给出清除这些宏病毒的解决方案;第四章,进行总结,给出了一些防治的措施。

青年农民工基础养老保险影响因素探究

本文基于笔者的实践调查和工作经验,对青年农民工群体参保的种种因素做出探究,并对加强青年农民工参保做出了针对性的建议。

浅谈人力资源管理中社会保险工作的开展思路与作用

随着时代的发展,现代化企业呈现出良好的发展趋势,市场环境的开放为企业发展带来更多契机,在企业管理中人力资源作为一项重要的管理项目,可为企业员工提供更多的社会保障,使员工潜能得到充分激发,为企业创造更多经济效益与社会效益。本文将对人力资源管理中社会保险开展的作用及开展思路进行分析研究。