文件名称:
通用k-SAT的PPSZ –使Hertli的分析更简单，3-SAT更快
开发工具:
文件大小: 561kb
下载次数: 0
上传时间: 2021-03-14
详细说明：对于k-SAT，目前已知最快的算法是PPSZ，以其发明者Paturi，Pudlak，Saks和Zane命名[7]。 对于具有唯一令人满意的赋值的输入公式，分析其运行时间要容易得多。.在本文中，我们实现了三个目标。 首先，我们简化了Hertli在2011年的分析[1]，其中输入公式具有多个令人满意的赋值。 其次，我们显示一个“翻译结果”：如果您对k-CNF公式的PPSZ进行改进以使其具有唯一的令人满意的赋值，您将立即获得对k-CNF常规公式的（较弱）改进。 2014年[2]，他给出了一个独特的3-SAT略微击败PPSZ的算法，我们获得了一个针对一般3-SAT的击败PPSZ的算法，从而获得了迄今为止最广为人知的3-SAT的最坏情况下的界限。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
