文章基本信息

标题：Analysing Survey Propagation Guided Decimationon Random Formulas
本地全文：下载
作者：Samuel Hetterich
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2016
卷号：55
页码：65:1-65:12
DOI：10.4230/LIPIcs.ICALP.2016.65
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Let vec(theta) be a uniformly distributed random k-SAT formula with n variables and m clauses. For clauses/variables ratio m/n infinity} epsilon_k = 0 almost a factor k below r_{k-SAT}.
关键词：Survey Propagation Guided Decimation; Message Passing Algorithm; Graph Theory; Random k-SAT