English
Related papers

Related papers: $2^{(\log N)^{1/10-o(1)}}$ Hardness for Hypergraph…

200 papers

The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph…

Discrete Mathematics · Computer Science 2025-02-28 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl , Micheala Seifrtová

We consider the problem of linearly ordered (LO) coloring of hypergraphs. A hypergraph has an LO coloring if there is a vertex coloring, using a set of ordered colors, so that (i) no edge is monochromatic, and (ii) each edge has a unique…

Data Structures and Algorithms · Computer Science 2024-09-24 Anand Louis , Alantha Newman , Arka Ray

Let the {\it bicoloring cover number $\chi^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $\chi^c(G)$…

Discrete Mathematics · Computer Science 2016-03-08 Tapas Kumar Mishra , Sudebkumar Prasant Pal

Let $H$ be a triple system with maximum degree $d>1$ and let $r>10^7\sqrt{d}\log^{2}d$. Then $H$ has a proper vertex coloring with $r$ colors such that any two color classes differ in size by at most one. The bound on $r$ is sharp in order…

Combinatorics · Mathematics 2010-05-25 Hal Kierstead , Dhruv Mubayi

We show that for all $\ell$ and $\epsilon>0$ there is a constant $c=c(\ell,\epsilon)>0$ such that every $\ell$-coloring of the triples of an $N$-element set contains a subset $S$ of size $c\sqrt{\log N}$ such that at least $1-\epsilon$…

Combinatorics · Mathematics 2009-01-27 David Conlon , Jacob Fox , Benny Sudakov

The notion of code sparsification was introduced by Khanna, Putterman and Sudan (arxiv.2311.00788), as an analogue to the the more established notion of cut sparsification in graphs and hypergraphs. In particular, for $\alpha\in (0,1)$ an…

Information Theory · Computer Science 2025-10-06 Elena Grigorescu , Alice Moayyedi

We continue the study of the covering complexity of constraint satisfaction problems (CSPs) initiated by Guruswami, H{\aa}stad and Sudan [SIAM J. Comp. 2002] and Dinur and Kol [CCC'13]. The covering number of a CSP instance $\Phi$ is the…

Computational Complexity · Computer Science 2021-01-05 Amey Bhangale , Prahladh Harsha , Girish Varma

Many graph problems are locally checkable: a solution is globally feasible if it looks valid in all constant-radius neighborhoods. This idea is formalized in the concept of locally checkable labelings (LCLs), introduced by Naor and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-12 Alkida Balliu , Juho Hirvonen , Christoph Lenzen , Dennis Olivetti , Jukka Suomela

As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph…

Computational Complexity · Computer Science 2026-03-17 Édouard Bonnet

We propose a new conjecture on hardness of low-degree $2$-CSP's, and show that new hardness of approximation results for Densest $k$-Subgraph and several other problems, including a graph partitioning problem, and a variation of the Graph…

Data Structures and Algorithms · Computer Science 2022-11-14 Julia Chuzhoy , Mina Dalirrooyfard , Vadim Grinberg , Zihan Tan

Let $H_{n,(p_m)_{m=2,\ldots,M}}$ be a random non-uniform hypergraph of dimension $M$ on $2n$ vertices, where the vertices are split into two disjoint sets of size $n$, and colored by two distinct colors. Each non-monochromatic edge of size…

Combinatorics · Mathematics 2015-11-18 Debarghya Ghoshdastidar , Ambedkar Dukkipati

We investigate the List $H$-Coloring problem, the generalization of graph coloring that asks whether an input graph $G$ admits a homomorphism to the undirected graph $H$ (possibly with loops), such that each vertex $v \in V(G)$ is mapped to…

Computational Complexity · Computer Science 2020-09-18 Hubie Chen , Bart M. P. Jansen , Karolina Okrasa , Astrid Pieterse , Paweł Rzążewski

A hypergraph is said to be properly 2-colorable if there exists a 2-coloring of its vertices such that no hyperedge is monochromatic. On the other hand, a hypergraph is called non-2-colorable if there exists at least one monochromatic…

Combinatorics · Mathematics 2019-12-10 Sachin Aglave , V. A. Amarnath , Saswata Shannigrahi , Shwetank Singh

A hypergraph $\mathcal{H}$ on $n$ vertices and $m$ edges is said to be {\it nearly-intersecting} if every edge of $\mathcal{H}$ intersects all but at most polylogarthmically many (in $m$ and $n$) other edges. Given lists of colors…

Data Structures and Algorithms · Computer Science 2019-04-05 Khaled Elbassioni

A subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. It is a natural generalization of the classical proper coloring, in which each color must instead induce an…

Data Structures and Algorithms · Computer Science 2025-06-25 Malory Marin , Rémi Watrigant

We show that given a satisfiable instance of the 2-to-1 Label Cover problem, it is NP-hard to find a $(23/24 + \eps)$-satisfying assignment.

Computational Complexity · Computer Science 2012-04-26 Per Austrin , Ryan O'Donnell , John Wright

We look at colourings of $r$-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge $E$ in an $r$-uniform hypergraph $H$ whose vertices are coloured is the partition of…

Combinatorics · Mathematics 2015-04-17 Yair Caro , Josef Lauri , Christina Zarb

We produce an edge-coloring of the complete 3-uniform hypergraph on n vertices with $e^{O(\sqrt {log log n})}$ colors such that the edges spanned by every set of five vertices receive at least three distinct colors. This answers the first…

Combinatorics · Mathematics 2014-10-14 Dhruv Mubayi

The Colouring problem asks whether the vertices of a graph can be coloured with at most $k$ colours for a given integer $k$ in such a way that no two adjacent vertices receive the same colour. A graph is $(H_1,H_2)$-free if it has no…

Computational Complexity · Computer Science 2017-12-08 Konrad Dabrowski , Daniel Paulusma

The paper deals with extremal problems concerning colorings of hypergraphs. By using a random recoloring algorithm we show that any $n$-uniform simple (i.e. every two distinct edges share at most one vertex) hypergraph $H$ with maximum edge…

Combinatorics · Mathematics 2014-09-25 Jakub Kozik , Dmitry Shabanov