922 research outputs found
Algorithms and complexity for approximately counting hypergraph colourings and related problems
The past decade has witnessed advancements in designing efficient algorithms for approximating the number of solutions to constraint satisfaction problems (CSPs), especially in the local lemma regime. However, the phase transition for the computational tractability is not known. This thesis is dedicated to the prototypical problem of this kind of CSPs, the hypergraph colouring. Parameterised by the number of colours q, the arity of each hyperedge k, and the vertex maximum degree Δ, this problem falls into the regime of Lovász local lemma when Δ ≲ qᵏ. In prior, however, fast approximate counting algorithms exist when Δ ≲ qᵏ/³, and there is no known inapproximability result. In pursuit of this, our contribution is two-folded, stated as follows.
• When q, k ≥ 4 are evens and Δ ≥ 5·qᵏ/², approximating the number of hypergraph colourings is NP-hard.
• When the input hypergraph is linear and Δ ≲ qᵏ/², a fast approximate counting algorithm does exist
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
Asymptotic separation index is a parameter that measures how easily a Borel
graph can be approximated by its subgraphs with finite components. In contrast
to the more classical notion of hyperfiniteness, asymptotic separation index is
well-suited for combinatorial applications in the Borel setting. The main
result of this paper is a Borel version of the Lov\'asz Local Lemma -- a
powerful general-purpose tool in probabilistic combinatorics -- under a finite
asymptotic separation index assumption. As a consequence, we show that locally
checkable labeling problems that are solvable by efficient randomized
distributed algorithms admit Borel solutions on bounded degree Borel graphs
with finite asymptotic separation index. From this we derive a number of
corollaries, for example a Borel version of Brooks's theorem for graphs with
finite asymptotic separation index
Product structure of graph classes with strongly sublinear separators
We investigate the product structure of hereditary graph classes admitting
strongly sublinear separators. We characterise such classes as subgraphs of the
strong product of a star and a complete graph of strongly sublinear size. In a
more precise result, we show that if any hereditary graph class
admits separators, then for any fixed
every -vertex graph in is a subgraph
of the strong product of a graph with bounded tree-depth and a complete
graph of size . This result holds with if
we allow to have tree-depth . Moreover, using extensions of
classical isoperimetric inequalties for grids graphs, we show the dependence on
in our results and the above bound are
both best possible. We prove that -vertex graphs of bounded treewidth are
subgraphs of the product of a graph with tree-depth and a complete graph of
size , which is best possible. Finally, we investigate the
conjecture that for any hereditary graph class that admits
separators, every -vertex graph in is a
subgraph of the strong product of a graph with bounded tree-width and a
complete graph of size . We prove this for various classes
of interest.Comment: v2: added bad news subsection; v3: removed section "Polynomial
Expansion Classes" which had an error, added section "Lower Bounds", and
added a new author; v4: minor revisions and corrections
On generalised majority edge-colourings of graphs
A -majority -edge-colouring of a graph is a colouring of
its edges with colours such that for every colour and each vertex
of , at most 'th of the edges incident with have colour
. We conjecture that for every integer , each graph with minimum
degree is -majority -edge-colourable and
observe that such result would be best possible. This was already known to hold
for . We support the conjecture by proving it with instead of
, which confirms the right order of magnitude of the conjectured optimal
lower bound for . We at the same time improve the previously known
bound of order , based on a straightforward probabilistic approach.
As this technique seems not applicable towards any further improvement, we use
a more direct non-random approach. We also strengthen our result, in particular
substituting by . Finally, we provide the proof
of the conjecture itself for and completely solve an analogous
problem for the family of bipartite graphs.Comment: 18 page
A proof of the Ryser-Brualdi-Stein conjecture for large even
A Latin square of order is an by grid filled using symbols so
that each symbol appears exactly once in each row and column. A transversal in
a Latin square is a collection of cells which share no symbol, row or column.
The Ryser-Brualdi-Stein conjecture, with origins from 1967, states that every
Latin square of order contains a transversal with cells, and a
transversal with cells if is odd. Keevash, Pokrovskiy, Sudakov and
Yepremyan recently improved the long-standing best known bounds towards this
conjecture by showing that every Latin square of order has a transversal
with cells. Here, we show, for sufficiently large ,
that every Latin square of order has a transversal with cells.
We also apply our methods to show that, for sufficiently large , every
Steiner triple system of order has a matching containing at least
edges. This improves a recent result of Keevash, Pokrovskiy, Sudakov and
Yepremyan, who found such matchings with edges, and
proves a conjecture of Brouwer from 1981 for large .Comment: 71 pages, 13 figure
HM 32: New Interpretations in Naval History
Selected papers from the twenty-first McMullen Naval History Symposium held at the U.S. Naval Academy, 19–20 September 2019.https://digital-commons.usnwc.edu/usnwc-historical-monographs/1031/thumbnail.jp
Improved Distributed Algorithms for the Lovász Local Lemma and Edge Coloring
The Lovász Local Lemma is a classic result in probability theory that is often used to prove the existence of combinatorial objects via the probabilistic method. In its simplest form, it states that if we have n ‘bad events’, each of which occurs with probability at most p and is independent of all but d other events, then under certain criteria on p and d, all of the bad events can be avoided with positive probability. While the original proof was existential, there has been much study on the algorithmic Lovász Local Lemma: that is, designing an algorithm which finds an assignment of the underlying random variables such that all the bad events are indeed avoided. Notably, the celebrated result of Moser and Tardos [JACM ’10] also implied an efficient distributed algorithm for the problem, running in O(log2 n) rounds. For instances with low d, this was improved to O(d 2 + logO(1) log n) by Fischer and Ghaffari [DISC ’17], a result that has proven highly important in distributed complexity theory (Chang and Pettie [SICOMP ’19]). We give an improved algorithm for the Lovász Local Lemma, providing a trade-off between the strength of the criterion relating p and d, and the distributed round complexity. In particular, in the same regime as Fischer and Ghaffari’s algorithm, we improve the round complexity to O( d log d + logO(1) log n). At the other end of the trade-off, we obtain a logO(1) log n round complexity for a substantially wider regime than previously known. As our main application, we also give the first logO(1) log n-round distributed algorithm for the problem of ∆+o(∆)-edge coloring a graph of maximum degree ∆. This is an almost exponential improvement over previous results: no prior logo(1) n-round algorithm was known even for 2∆ − 2-edge coloring
- …