{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article13961”，“name”：“比暴力更快地找到满足要求的小任务：布尔约束满足的精细视角”，“abstract”：“为了研究在什么情况下可以比穷举搜索更快地找到小解的问题（以及通过多少），我们研究了尺寸约束精确k的布尔约束满足的细粒度复杂性。更准确地说，我们旨在确定对于任何有限约束族，最佳运行时间f（k）n^g（k）需要找到将n个变量中的k精确设置为1的满意赋值。\在关于检测图和3-一致超图中团的中心硬度假设下，我们将g（k）几乎严格地刻画为四个区域：\r\n1）强力基本上是最可能的，即g（k=（\u03c9 \/3\u00b1 o（1））k，\r\n3）指数对k具有次线性依赖性，g（k）\u2208[\u03a9（\u221bk），o（\u21ak）]，或\r\n4）问题是固定参数可处理的，即g（k）=o（1）。\\r\n与之前的FPT\/W[1]硬度二分法相比，这产生了更精细的视角（马克思，计算复杂性2005）。我们最有趣的技术贡献是一个由目标k参数化优先约束的SubsetSum的f（k）n^（4\u221ak）时间算法，特别是基于将Frobenius硬币问题的边界推广到具有优先约束的设置的方法，可能会引起独立的兴趣。“，”关键字“：[”细粒度复杂性理论“，”算法分类定理“，”多元算法与复杂性“，”约束满足问题“，”可满足性“]，”作者“：[｛”@type“：”Person“，”name“：”K\u00fcnnemann，Marvin“，”givenName“：”Marvin“，”familyName“：”K\u00fcnnemann“，”email“：”mailto:marvin@mpi-inf.mpg.de“，”隶属关系“：”马克斯·普朗克信息学研究所，萨尔州信息学校区，德国萨尔布吕夫肯“}，｛”@type“：”Person“，”name“：”Marx，D\u00e1niel“，”givenName“：”D\u00e1niel“，”familyName“：”Marx“，”电子邮件“：”mailto:dmarx@mpi-inf.mpg.de“，”affiliation“：“马克斯·普朗克信息学院，德国萨尔州信息学院”，“资助”：“根据拨款协议SYSTEMATICGRAPH（编号725978），第二作者的研究得到了欧盟研究委员会（ERC）资助，该委员会是欧盟2019s地平线2020研究和创新计划的一部分。“｝]，”position“：27，”pageStart“：”27:1“，”pageEnd“：”27:28“，”dateCreated“：”2020-07-17“，”datePublished“：”2020-07-17“，”isAccessibleForFree“：true，”license“：”https://creativecommons.org/licenses\/by\/3.0\/legalcode“，”copyrightHolder“：[｛”@type“：”Person“，”name“：”K\u00fcnnemann，Marvin“，”givenName“：”Marvin“，”familyName“：”K \u00fcnnemann“，”电子邮件“：”发送至：marvin@mpi-inf.mpg.de“，”affiliation“：”马克斯·普朗克信息学院，萨尔州信息学院，德国萨尔布尔\u00fccken“}，{”@type“：”Person“，”name“：”Marx，D\u00e1niel“，”givenName“：”D\u100e1niEL“，”familyName“：“Marx”，”email“：”mailto:“dmarx@mpi-inf.mpg.de“，”affiliation“：“马克斯·普朗克信息学院，德国萨尔州信息学院”，“资助”：“根据拨款协议SYSTEMATICGRAPH（编号725978），第二作者的研究得到了欧盟研究委员会（ERC）资助，该委员会是欧盟2019s地平线2020研究和创新计划的一部分。“}]，”copyrightYear“：”2020“，”accessMode“：”textual“，”accessModeSufficient“：”文本“，”creativeWorkStatus“：”Published“，”inLanguage“：”en-US“，”sameAs“：”https:\/\/doi.org\/10.4230\/LIPIcs“。CCC.2020.27“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”引文“：[”https:\/\/doi.org\/10.109\/FOCS.2017.26“，”https:\\/doi.org\/10.1137\/16M1061771“，”https:\/\\/doi.org\/10.1145\/3188938“，”“https:\//doi.org\/10.145\/2103232.210337”，“https:\\/doi.org\/10.109\/FOCS.2019.00078“，”https:\/\/doi.org\/10.4230\/LIPIcs。《欧洲账户体系2016.18》，“https:\/\/doi.org\/10.1137\/1.9781611974782.69”，“http:\//doi.org\/10.4230\/LIPIcs”。CCC.2019.31“，”https:\\/doi.org\/10.1109\/FOCS.2017.36“，”https:\\/dio.org\/10.109\/FOCS.2017.37“，”“https:\\/doi.org\/10.1137\/120882160”，“https:\/\/doi.org\/10.1145\/3294052.3319700”，“https:\/\\/doi.org\/10.10016\/j.ic.2005.001”，“”https:\//doi.org\/10.016 \/j.jcss.2006.04.007“，”https:\/\/doi.org\/10.1016\/j.tcs.2010.06.026“，”https:\/\/doi.org\/10.1006\/jcss.1995.1087“，”https:\//doi.org\/10.1137\/1.9780898718546“，”http://\/doi.gorg\/10.1016\/j.tcs.2004.05.009“，”https:\/\/doi.org \/10.1137 \/S0097539794266766“，”htps:\//doi.org\/10.11137\/S009975399349948“，”\/3329863“，”https:\/\/doi.org\/10.1145\/2858787“，”https:\/\/doi.org\/10.1145\/2151171.2151182“，”https:\//doi.org\/10.1144\/321262“，”https:\/\\/doi.org \/10.1007\/s00037-005-0195-9“，“https:\\/doi.org\/10.1145\/800133.804350”，“http:\/\/doi.org \/10.1137\/0219054”，“https:\\/dio.org\/10.1137\/021010”，“http://doi.org\ org\/10.109\/FOCS.2017.38“，”http://\/arxiv.org\/abs\/1907.00239“]，”isPartOf“：{”@type“：”PublicationVolume“，”@id“：”#volume6372“，”volumeNumber“：169，”name“：”第35届计算复杂性会议（CCC 2020）“，”dateCreated“：”2020-07-17“，”datePublished“：”2020年7月17日“，”editor“：{“@type”：“Person”，“name”：“Saraf，Shubhangi”，“givenName”：“Shubhanji”，”familyName“：”Saraf“，”email“mailto:”shubhangi.saraf@rutgers.edu“，”affiliation“：”美国新泽西州皮斯卡塔韦罗格斯大学数学系和计算机科学系“}，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”hasPart“：“#article13961”，”isPartOf“：{”@type“：‘期刊’，”@id“：”#series116“，”name“：”莱布尼茨国际信息学论文集“，”issn“：”1868-8969“，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013莱布尼兹-Zentrum f\u00fcr Informatik“，”hasPart“：“#volume6372”}}