Uniform Sampling through the Lovász Local Lemma
我们提出了一个新的算法框架，称为“部分拒绝抽样”，完全从产品分布中抽取样本，条件是没有一些坏事件发生。我们的框架建立（也许令人惊讶）之间的变量框架的Lovász局部引理和一些经典的采样算法，如“循环弹出”算法的有根生成树的新的连接。在其他应用中，我们发现了新的算法来采样满足分配的k-CNF公式有界变量的出现。
2019-01-15 cs.DS math.CO math.PR
Short proofs for generalizations of the Lovász Local Lemma: Shearer's condition and cluster expansion
洛瓦兹局部引理是概率组合学中的一个开创性结果。它给出了一个概率空间上的充分条件和一个事件集合，使得同时避免所有这些事件的结果存在。多年来，人们发现了更一般的条件，在这些条件下引理的结论继续成立。在本说明中，我们提供了两个更一般的结果：希勒引理和集群扩张引理，在其“不平衡”的形式简短的证明。我们的结论是使用集群扩展引理证明的对称形式的本地引理持有概率界的$1/ed$，而不是由传统的证明所需的界$1/e(d+1)$。
2017-11-18 math.CO
Focused Stochastic Local Search and the Lovász Local Lemma
我们开发工具，用于分析集中随机局部搜索算法。这些算法通过重复选择在当前状态中被违反的约束并移动到随机的附近状态来概率地搜索状态空间，该随机的附近状态希望在不引入许多新的约束的情况下解决违反。一大类这样的算法产生于Lovász局部引理的算法化，这是一种证明满足状态存在性的非构造性工具。在这里，我们给出了工具，提供了一个统一的分析，这些算法和更多的，表达他们作为一个通用框架的实例。
2015-08-15 cs.DM math.CO math.PR
A Unified View of Graph Regularity via Matrix Decompositions
本文通过抽象矩阵分解定义了切割伪随机图，证明了其弱正则性与Szemerédi正则性引理，统一了多种稀疏图类，并为MAX-CUT等问题扩展了新的PTAS。
2025-05-29 cs.DS math.CO
Borel version of the Local Lemma
本文证明局部引理的 Borel 版本，并提出使用共享随机比特并行重采样远离子句的 Moser–Tardos 算法，以构造 Borel 满足赋值。
2024-03-02 math.CO math.DS math.PR
A local lemma via entropy compression
在组合学中的概率方法的框架内，我们重新审视熵压缩方法，澄清它可以应用的设置，并提供一个定理，产生一个一般的建设性标准。我们最后阐明，通过局部的例子，熵压缩标准的有效性相比，Lovasz局部引理标准，特别是与改进的标准的基础上集群扩展。
2019-12-11 math.CO
Using the Incompressibility Method to obtain Local Lemma results for Ramsey-type Problems
我们揭示了不可压缩性方法和Lovasz局部引理的背景下，拉姆齐理论之间的联系。我们通过对感兴趣的对象进行重复编码，从而压缩字符串来获得边界。并以van der Waerden数为例说明了该方法。它也适用于Ramsey数的下界、大传递子竞赛图和其他Ramsey现象。
2008-04-04 math.CO
Perfect and separating Hash families: new bounds via the algorithmic cluster expansion local lemma
我们提出了新的下界的完美和分离的哈希家庭的大小，确保他们的存在。这些新的边界是基于算法集群扩展改进版本的Lovász局部引理，这也意味着Moser-Tardos算法在多项式时间内找到这样的散列族。
2016-12-09 math.CO
The Lovász Local Lemma: Foundations and Applications
本文系统介绍Lovász局部引理（LLL）及其强化版本，基于无条件概率不等式给出证明，并展示在组合学与图论中的经典应用，包括边不交路径、可满足性、Ramsey数下界等，同时介绍Moser-Tardos算法框架、熵压缩原理、偏斜LLL及簇展开引理。
2026-06-12 math.CO math.PR
An alternative proof for the constructive Asymmetric Lovász Local Lemma
我们给出了非对称Lovász局部引理的另一种构造性证明。我们的证明使用了Moser的经典算法框架和Giotis，Kirousis，Psaromiligkos和Thilikos在“On the algorithmic Lovász Local Lemma and acyclic edge coloring”中介绍的分析，结合了Bender和Richmond在多变量Lagrange反演公式上的工作。
2015-05-11 cs.DM math.CO
An extension of the Moser-Tardos algorithmic local lemma
Bissacot等人最近利用统计力学中的集团膨胀结果证明的一个定理通过削弱其结论成立的条件来扩展Lovász局部引理。在这篇文章中，我们证明了这个结果的算法模拟，扩展了Moser和Tardos最近的算法局部引理，并提供了Bissacot等人的定理的另一种证明。
2011-03-12 cs.DS math.CO
The Lefthanded Local Lemma characterizes chordal dependency graphs
Shearer给出了一个一般性定理，刻画了标记有概率$p_v$的依赖图族$\LLL$，该概率$p_v$具有这样的性质，即对于任何具有来自$\LLL$的依赖图的事件族（其顶点标签是事件概率的上界），都有一个正概率，即该事件族中没有一个事件发生。我们表明，不像标准的Lovász局部引理-这是不太强大的比希勒的条件，对每一个非空图-最近证明的“左手”版本的局部引理是等价于希勒的条件，所有弦图。这也导致了一个简单而有效的算法来检查一个给定的标记弦图是否在$\LLL$。
2012-04-26 math.CO
An Improvement of the Lovász Local Lemma via Cluster Expansion
希勒的一个旧结果将洛瓦茨局部引理与图上的独立集多项式联系起来，因此，正如斯科特和索卡尔所观察到的，洛瓦茨局部引理与图上硬核晶格气的分拆函数联系起来。我们使用这种联系和最近的结果的解析性的对数的分拆函数的抽象聚合物气体得到一个改进的版本的Lovász局部引理。作为应用，我们得到了拉丁横截矩阵的存在条件和k-SAT形式的可满足性的更严格的界限。
2010-03-26 math.CO
Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
本文证明了左手洛瓦兹局部引理的可计算版本，并首次构造性地证明了若干类非重复序列的存在性结果。
2024-06-18 math.CO math.LO
Borel Local Lemma: arbitrary random variables and limited exponential growth
University of California, Los Angeles（加州大学洛杉矶分校）；Fudan University（复旦大学）
针对Lovász局部引理的Borel版本，提出一种替代证明方法，允许底层随机变量为连续值，并适用于有限指数增长的依赖图。
2026-05-27 math.CO math.LO math.PR
Local loop lemma
我们证明了一个幂等操作生成一个循环从一个强连接的有向图包含有向循环的所有长度非常温和的（本地）代数假设。利用这一结果，我们重新证明了一个最弱非平凡幂等方程的存在性，以及代数长为1的强连通有向图有一个圈。
2019-02-23 math.CO math.LO
The Lovász Local Lemma is Not About Probability
给定一个独立事件的集合，其中每个事件都有严格的正概率，所有这些事件发生的概率也是严格的正。Lovász局部引理（LLL）断言，如果事件不是太强的负相关，这仍然成立。引理的公式涉及一个图，每个事件有一个顶点，边表示潜在的负相关。LLL中的“局部”一词反映了负相关的条件可以仅用每个顶点的邻域来表示。与这种局部观点相反，希勒提出了一个精确的标准，要求避免概率严格为正，但它涉及对图的所有独立集求和。在这项工作中，我们做了两个贡献。第一个是开发一个层次结构的日益强大，越来越非本地引理边界的回避概率从下面，每个引理与一组不同的步行图。在它的第二个层次上，我们的层次结构已经比所有已知的局部引理更强了。为了证明它的力量，我们证明了新的界限的负逸度奇异性的硬核模型在几个格子，统计物理学中的一个中心问题。我们的第二个贡献是证明希勒的概率设置和独立集多项式之间的连接持有\emph{arbitrary supermodular}功能，而不仅仅是概率测度。这意味着所有的LLL机制都可以被用来从任意超模函数之下绑定，仅基于关于其在单例集上的值的信息和关于它们的相互作用的部分信息。我们表明，这很容易暗示Ambainis，Kempe和Sattath~[JACM 2012]的量子LLL，以及Sattath，Morampudi，Laumann和Moessner~[PNAS 2016]的量子Shearer判据。
2021-11-16 cond-mat.stat-mech cs.DM math.CO
A new asymptotic enumeration technique: the Lovasz Local Lemma
我们之前的论文应用了Lovász局部引理的不平衡版本，该引理允许负依赖图从$m$ -元素集到$n$ -元素集的随机注入空间。同样，在$K_{n,m}$中的随机匹配空间也是如此。现在，我们展示如何将引用的Lovász局部引理应用于$K_{2n}$中的随机匹配空间。我们还证明了紧的上限，渐近匹配的下限给出的Lovász局部引理。作为结果，我们对$d$ -正则图的计数结果给出了新的证明.紧上界可以修改为$K_{n,m}$中的匹配空间，在那里它们产生作为置换和拉丁矩形计数问题的应用渐近公式。该方法的强度通过一个新结果得到了证明：用度序列或二分度序列和围长对图进行计数。作为另一个应用，我们给出了Erd \H os的经典概率结果的一个新的证明，该结果证明了具有任意大围长和色数的图的存在性.如果度序列满足一些较弱的条件，则几乎所有具有该度序列和指定围长的图都具有高的色数。
2014-02-23 math.CO
Acyclic Edge Coloring through the Lovász Local Lemma
我们对Lovász局部引理（LLL）的Moser型算法进行了概率分析，该算法经过调整以搜索图的非循环边着色。因此，我们提高了最好的已知的上界非循环色指数，也通过分析一个类似的算法，但通过熵的方法（基本上计数参数）。具体地说，我们证明了一个图的最大程度$Δ$有一个非循环的正确的边染色，最多$\lceil 3.74(Δ-1)\rceil+1 $颜色，而以前，最好的界限是$4(Δ-1)$。这项工作的主要贡献是，它包括一个概率分析的Moser型算法适用于事件有关的因变量。
2018-01-07 cs.DM cs.DS math.CO
Approximate Counting in Local Lemma Regimes
University of Technology Sydney（悉尼科技大学）
本文提出基于聚类展开方法的高效近似算法，用于解决局部勒维恒定理范围内的计数问题，包括事件交集概率和子空间交集维度的近似计算。
2025-12-10 cs.DS math.CO math.PR
A Short Proof of Bernoulli Disjointness via the Local Lemma
最近，Reynner，Tsankov，Weiss和Zucker证明了，如果$Γ$是一个无限离散群，那么每个极小$Γ$ -流都与Bernoulli移位$2^Γ$不相交。他们的证明有些复杂;特别是，它对不同类别的群引用了单独的论证。在本文中，我们使用适用于所有群的纯组合方法给出了他们的结果的一个简短而完备的证明。我们的证明依赖于Lovász局部引理，这是概率组合学中的一个重要工具，最近在动力系统的研究中发现了一些应用。
2020-04-27 math.CO math.DS
Cut-norm and entropy minimization over weak* limits
证明了图序列$G_1,G_2,G_3,\ldots$关于割距的聚点恰是邻接矩阵的连续性的弱$^*$极限点（当考虑顶点的所有可能阶时），使得对应子序列的所有弱$^*$极限点上的熵最小.事实上，熵可以用任何映射$W\mapsto \int\int f(W(x,y))$代替，其中$f$是连续的严格凹函数。我们的证明是初等的，并且不使用正则性引理。
2018-10-23 math.CO math.FA
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
本文提出在 Isabelle/HOL 中基于 locale 的模块化框架，首次形式化洛瓦兹局部引理，用于形式化组合结构存在性的概率证明，并通过超图着色经典引理验证其适用性。
2024-01-08 cs.LO math.CO
A Local Lemma for Focused Stochastic Algorithms
我们开发了一个框架，集中随机局部搜索算法的严格分析。这些算法通过重复选择当前状态中违反的某些约束并移动到解决违反的随机附近状态来搜索状态空间，同时希望不会引入许多新的约束。最近，一类重要的具有可证明性能保证的局部搜索算法出现在Lovász局部引理（LLL）的算法化中，LLL是一种通过在状态空间上引入背景测度来证明满足状态存在的非构造性工具。虽然功能强大，但这类算法的状态转换必须在精确的意义上与背景度量完全兼容。在许多应用程序中，这是一个非常严格的要求，需要在类之外进行操作。在这里，我们介绍了\emph{measure distortion}的概念，并开发了一个框架，用于分析任意集中的随机局部搜索算法，恢复LLL算法的特殊情况下，没有失真。我们的框架作为输入的任意这样的算法和任意的概率测度，并显示了如何使用该测度作为算法进展的衡量标准，即使是独立于该测度设计的算法。
2018-09-03 cs.DM math.CO math.PR
An Algorithmic Proof of the Lovasz Local Lemma via Resampling Oracles
洛瓦兹局部引理是概率组合学中的一个开创性结果。它给出了概率空间和事件集合上存在同时避免所有这些事件的结果的充分条件。通过有效的算法找到这样的结果几十年来一直是一个活跃的研究课题。Moser和Tardos（2009）的突破性工作提出了一种有效的算法，用于主要由概率空间上的乘积结构表征的一般设置。在这项工作中，我们提出了一个更一般的设置有效的算法。我们的主要假设是，存在某些功能，称为reschoracles，可以调用来解决不希望发生的事件。我们表明，在所有的情况下，原来的Lovasz本地引理适用，存在resciloracles，虽然他们不一定是有效的。尽管如此，基本上所有已知的应用程序的Lovasz局部引理及其推广，我们已经设计了有效的reschoracles。作为这些技巧的应用，我们给出了拉丁断面、彩虹匹配和彩虹生成树的填充的新结果。
2015-11-17 cs.DS math.CO
Directed Lovász Local Lemma and Shearer's Lemma
Moser和Tardos（2010）在变量框架中给出了不平衡Lovász局部引理（LLL）的算法证明，其中假设每个不期望事件取决于独立随机变量集合的子集。为了证明，他们定义了一个适合这个框架的事件之间的不平衡依赖关系的概念。在这项工作中，我们加强了这一概念，定义了一个新的定向概念的依赖关系，并证明LLL相应的图。我们表明，这个图可以严格稀疏（因此LLL弱的充分条件）与其他现存的不平衡版本的依赖关系相对应的图相比。因此，在某种意义上，我们解决了Szegedy（2013）提出的问题“为约束（在变量框架中）找到其他简单的局部条件，这些条件可以有利地转化为一些抽象的不平衡条件”。我们还给出了一个例子，我们的依赖图的概念给出了更好的结果比经典的希勒引理。最后，我们证明了我们定义的依赖图的希勒引理。对于证明，我们执行直接的概率分析，该分析产生搜索变量的期望分配的算法的概率的指数小的上界，以在$n$步骤内不返回正确答案。相比之下，后来被称为熵方法的证明方法只给出了算法返回正确答案之前的步骤数的期望值，除非概率被修改。
2020-06-15 cs.DM math.CO
Kolmogorov complexity, Lovasz local lemma and critical exponents
D. Krieger和J.Shallit证明了每个大于1的实数都是某个序列的临界指数。我们展示了如何可以得出这个结果的一些一般性声明序列的连续性（几乎）最大的柯尔莫哥洛夫复杂性。通过这种方式，人们也可以构造一个序列，该序列没有指数超过给定值的“近似”分数幂。
2010-09-25 cs.DS math.CO
Upper bounds for domination numbers of graphs using Turán's Theorem and Lovász local lemma
设$G$是阶为$n$的连通图，其顶点集为$V(G)$ .一个子集$S\subseteq V(G)$是$(a,b)$ -支配集，如果每个顶点$v\in S$至少与$S$中的$a$顶点相邻，并且每个$v\in V\setminus S$至少与$S$中的$b$顶点相邻. $G$的$(a,b)$ -控制集的最小基数是$G$的$(a,b)$ -控制数，记为$γ_{a,b}(G)$ .当$G$是正则数或$a$和$b$是小整数时，关于$γ_{a,b}(G)$的上界有各种不同的结果.本文的第一部分中，对于给定的最小度为$\max\{a,b\}$的图$G$，我们定义了一个新的与$G$相关联的图$G'$，并证明了这个图的独立数与$γ_{a,b}(G)$有关。在下一部分中，我们利用Lovász局部引理，在一些特殊情况下给出了一种随机化方法，改进了以前的结果。
2018-03-11 math.CO
The repulsive lattice gas, the independent-set polynomial, and the Lovász local lemma
阐明了平衡统计力学中的排斥性格子气与概率组合学中的Lovasz局部引理之间的密切联系。证明了Lovasz局部引理的结论对依赖图G和概率{p_x}成立当且仅当G的独立集多项式在半径多圆盘{p_x}中不为零.此外，我们表明，通常的证明Lovasz本地引理-这提供了一个充分条件，这发生-对应于一个简单的归纳参数的非零的独立集多项式的polydisc，这是发现隐含的希勒和明确的Dobrushin。我们还提出了一些改进和扩展的两个参数，包括一个推广的Lovasz局部引理，允许“软”依赖。此外，我们证明了一些一般性质的排斥性格子气的配分函数，其中大部分是后果的交替符号性质的迈耶系数。最后，我们简要讨论了可数无限图上的排斥性格子气。
2004-09-16 cond-mat.stat-mech math-ph math.CO
Building Large Free Subshifts Using the Local Lemma
Gao，Jackson，and Seward证明了每个可数无限群$Γ$允许一个非空自由子移位$X \subseteq 2^Γ$。在这里，我们加强了这一结果表明，自由subshift可以在各种意义上的“大”。具体地说，我们证明了，对于任何$k \geqslant 2$和$h < \log_2 k$，存在一个自由子移位$X \subseteq k^Γ$的豪斯多夫维数，如果$Γ$是sofic，熵至少$h$，回答了两个问题归因于高，杰克逊和苏厄德胡安索托。此外，我们建立了一个一般的下界的最大“大小”的自由子移位$X'$内包含一个给定的子移位$X$。在我们的论证中，洛瓦茨局部引理发挥了核心作用，洛瓦茨局部引理是概率组合学中的一个重要工具，它与寻找自由子移位问题的相关性首先由奥布伦、巴别里和阿加塞认识到。
2019-02-15 math.CO math.DS
Beyond the Lovasz Local Lemma: Point to Set Correlations and Their Algorithmic Applications
继Moser和Tardos的Lovasz局部引理（LLL）的开创性算法之后，已经有大量的结果分析了各种约束满足问题的局部搜索算法。考虑的算法分为两大类：rescue算法，通过不同的算法LLL条件分析;和回溯算法，通过熵压缩参数分析。本文介绍了一个新的收敛条件，无缝处理reservation，回溯，和混合算法，即，执行重新搜索和回溯步骤的算法。与过去所有的LLL工作不同，我们的条件通过量化坏事件之间的点到集的相关性来取代依赖或因果关系图的概念。因此，我们的条件同时：（i）~捕获最一般的算法LLL条件称为一个特殊的情况下;（ii）~显着简化熵压缩应用的分析;（iii）~涉及回溯算法，这是概念上非常不同的reservation算法，以LLL;最重要的是（iv）允许分析混合算法，这超出了先前技术的范围。我们给出了几个应用程序，我们的条件，包括一个新的混合顶点着色算法，扩展了最近的突破性成果Molloy着色三角形的自由图到任意图形。
2020-08-19 cs.DM cs.DS math.CO
Free Subshifts with Invariant Measures from the Lovász Local Lemma
Gao，Jackson，and Seward（参见arXiv：1201.0513）证明了每一个可数无限群$Γ$允许一个非空自由子移位$X \subseteq \{0,1\}^Γ$。此外，Seward和Tucker-Drob的定理（见arXiv：1402.4184）暗示每个可数无限群$Γ$允许一个支持不变概率测度的自由子移位$X \subseteq \{0,1\}^Γ$。Aubrun、Barbieri和Mr.S.（参见arXiv：1507.03369）使用Lovász局部引理给出了Gao-Jackson-Seward定理的一个简短的替代证明。最近，Elek（见arXiv：1702.01631）遵循另一种方法，涉及Lovász局部引理，以获得一个不同的证明，证明了在有限生成的sofic群中存在具有不变概率测度的自由子移位。使用作者建立的移位作用的Lovász局部引理的可测版本（参见arXiv：1604.07349），我们给出了任意群存在这样的子移位的一个简短的替代证明。而且，我们可以在任何非空不变开集中找到这样的子移位。
2017-03-15 math.CO math.DS math.GR
Measurable versions of the Lovász Local Lemma and measurable graph colorings
在本文中，我们调查在何种程度上的Lovász局部引理（概率组合学的一个重要工具）可以适用于可测量的设置。在大多数应用中，洛瓦兹局部引理被用来产生一个具有某些性质的函数$f \colon X \to Y$，其中$X$是一些基本的组合结构，而$Y$是一个（通常是有限的）集合。对于$X$上的某个概率Borel测度$μ$，这个函数$f$可以被选择为Borel或$μ$ -可测的吗（假设$X$是标准Borel空间）？在积极的方向，我们证明，如果一组的约束$f$是，在一定意义上，“局部有限”，那么总是有一个博雷尔选择$f$是“$\varepsilon$ -接近”满足这些约束，任何$\varepsilon > 0$。此外，如果$X$上的组合结构是由可数群$Γ$的$[0;1]$ -移位作用“诱导”的，则即使没有任何局部有限性假设，也存在$f$的Borel选择，其满足不变卷积集上的约束（即，用$\varepsilon = 0$）。我们的结果的一个直接推论是一个上界的可测色数的图形$G_n$所产生的移动行动的自由组$\mathbb{F}_n$是渐近紧的一个因素，最多$2$（这回答了一个问题的里昂和Nazarov）。另一方面，我们对于由保测度群作用诱导的结构的结果至少对于顺从群来说在以下意义上是尖锐的：可数无限顺从群的概率保测度作用满足Lovász局部引理的可测版本当且仅当它允许$[0;1]$ -移位作用…
2019-06-11 math.CO math.DS math.LO
Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
本文在有限渐近分离指数假设下证明了 Lovász 局部引理的 Borel 版本，并由此得出可由高效随机分布式算法求解的局部可检查标记问题在此类有界度 Borel 图上存在 Borel 解，进而推导出 Brooks 定理的 Borel 版本等推论。
2025-03-07 cs.DC math.CO math.LO
Counting hypergraph colorings in the local lemma regime
本文给出了一个计算最大度$Δ$的$k$ -一致超图的$q$ -染色数的完全多项式时间近似方案（FPTAS），如果$k\ge 28$和$q >357Δ^{\frac{14}{k-14}}$是相同的.当$q>931Δ^{\frac{16}{k-16/3}}$为零时，我们还得到了一个多项式时间的几乎均匀采样器.这些是$q\llΔ$体系中的第一近似计数和采样算法（对于大$Δ$和$k$），无需任何附加假设。我们的方法基于Moitra最近的工作（STOC，2017）。我们的一个重要贡献是消除了Moitra方法中对$k$和$Δ$的依赖性。
2019-05-31 cs.DM cs.DS math.CO
Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics
该研究将有限组合学的分布式着色算法与对称Lovász局部引理拓展至Borel空间组合结构，得到良态着色的充分条件，为描述组合学与遍历理论提供新结论。
2023-06-28 math.CO math.LO
The Local Lemma is asymptotically tight for SAT
局部引理是概率组合学和理论计算机科学的基本工具，但几乎没有任何已知的自然问题，它提供了一个渐近紧的答案。我们的论文的主题是确定这些问题中的几个，其中一对夫妇的广泛研究的极值函数相关的某些限制版本的k-SAT问题，其中的本地引理基本上是最优的答案。作为我们的主要贡献，我们构造了不可满足k-CNF公式，其中每个子句有k个不同的文字，每个变量最多出现在（2/e + o（1））*2^k/k子句中。Lopsided Local Lemma表明这是渐近最佳可能的。这个极值函数的确定是特别重要的，因为它代表了相应的k-SAT问题表现出复杂性硬度跳跃的值：从每个实例都是YES实例开始，只要允许每个变量出现在多一个子句中，它就变成了NP困难的。我们的不可满足CNF-公式的构造是基于[16]的二叉树方法，因此构造的公式属于子句比变量多一个的最小不可满足公式类MU（1）。我们的方法的主要新颖之处在于建立了一个适当的连续近似问题。这将我们引向一个微分方程，我们能够估计它的解。然后，通过离散化这个解决方案的渐近最优二叉树。构造的二叉树的重要性也通过它们在许多其他场景中的出现来强调。特别是，他们给出了渐近精确的答案，看似无关的问题，如欧洲终身制游戏介绍的杜尔[9]和搜索问题，允许有限数量的连续谎言。
2016-04-19 cs.CC cs.DM math.CO
