English
Related papers

Related papers: Unambiguous DNFs and Alon-Saks-Seymour

200 papers

In an article [3] published recently in this journal, it was shown that when k >= 3, the problem of deciding whether the distinguishing chromatic number of a graph is at most k is NP-hard. We consider the problem when k = 2. In regards to…

Computational Complexity · Computer Science 2009-07-06 Elaine M. Eschen , Chinh T. Hoang , R. Sritharan , Lorna Stewart

Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of…

Data Structures and Algorithms · Computer Science 2022-02-01 Yu Nakahata

Conjunctive normal forms where every clause has length at most two are called 2-CNFs. We study minimally unsatisfiable 2-CNFs (2-MUs), that is, unsatisfiable 2-CNFs where removing any clause destroys unsatisfiability, and obtain their full…

Discrete Mathematics · Computer Science 2026-04-24 Hoda Abbasizanjani , Oliver Kullmann

$k$-Coloring Reconfiguration is one of the most well-studied reconfiguration problems, which asks to transform a given proper $k$-coloring of a graph to another by repeatedly recoloring a single vertex. Its approximate version, Maxmin…

Computational Complexity · Computer Science 2025-04-01 Shuichi Hirahara , Naoto Ohsaka

We show how to construct a non-2-colorable k-uniform hypergraph with (2^(1 + o(1)))^k edges. By the duality of hypergraphs and monotone k-CNF-formulas this gives an unsatisfiable monotone k-CNF with (2^(1 + o(1)))^k clauses

Discrete Mathematics · Computer Science 2009-11-05 Heidi Gebauer

The main result of the paper is motivated by the following two, apparently unrelated graph optimization problems: (A) as an extension of Edmonds' disjoint branchings theorem, characterize digraphs comprising $k$ disjoint branchings $B_i$…

Combinatorics · Mathematics 2017-09-05 Kristóf Bérczi , András Frank

The K-way vertex cut problem} consists in, given a graph G, finding a subset of vertices of a given size, whose removal partitions G into the maximum number of connected components. This problem has many applications in several areas. It…

Computational Complexity · Computer Science 2021-12-06 Mohammed Lalou

The Exact Matching problem asks whether a bipartite graph with edges colored red and blue admits a perfect matching with exactly $t$ red edges. Introduced by Papadimitriou and Yannakakis in 1982, the problem has resisted deterministic…

Discrete Mathematics · Computer Science 2026-04-10 Yuefeng Du

We provide an optimal sufficient condition, relating minimum degree and bandwidth, for a graph to contain a spanning subdivision of the complete bipartite graph $K_{2,\ell}$. This includes the containment of Hamilton paths and cycles, and…

Fix $k \geq 3$, and let $G$ be a $k$-uniform hypergraph with maximum degree $\Delta$. Suppose that for each $l = 2, ..., k-1$, every set of l vertices of G is in at most $\Delta^{(k-l)/(k-1)}/f$ edges. Then the chromatic number of $G$ is…

Combinatorics · Mathematics 2014-04-11 Jeff Cooper , Dhruv Mubayi

A $k$-fault-tolerant connectivity preserver of a directed $n$-vertex graph $G$ is a subgraph $H$ such that, for any edge set $F \subseteq E(G)$ of size $|F| \le k$, the strongly connected components of $G - F$ and $H - F$ are the same.…

Data Structures and Algorithms · Computer Science 2025-10-06 Gary Hoppenworth , Thatchaphol Saranurak , Benyu Wang

For a positive integer $k\ge 1$, a graph $G$ is $k$-stepwise irregular ($k$-SI graph) if the degrees of every pair of adjacent vertices differ by exactly $k$. Such graphs are necessarily bipartite. Using graph products it is demonstrated…

Combinatorics · Mathematics 2025-12-10 Yaser Alizadeh , Sandi Klavžar , Javaher Langari

There is a famous problem in geometric graph theory to find the chromatic number of the unit distance graph on Euclidean space; it remains unsolved. A theorem of Erdos and De-Bruijn simplifies this problem to finding the maximum chromatic…

Combinatorics · Mathematics 2024-11-12 Sean Fiscus , Eric Myzelev , Hongyi Zhang

We call a CNF formula linear if any two clauses have at most one variable in common. Let m(k) be the largest integer m such that any linear k-CNF formula with <= m clauses is satisfiable. We show that 4^k / (4e^2k^3) <= m(k) < ln(2) k^4…

Discrete Mathematics · Computer Science 2008-07-10 Dominik Scheder

We study the connection between the degree sequence of a $k$-uniform hypergraph and the size of its largest matching. Let $\mathcal{F}$ be a $k$-uniform hypergraph on $n$ vertices and let $d_1 \ge d_2 \ge \dots \ge d_n$ be the vertex…

Combinatorics · Mathematics 2026-05-28 Haixiang Zhang , Mengyu Cao , Mei Lu

Let $\phi(k)$ be the minimum number of vertices in a non-$k$-choosable $k$-chromatic graph. The Ohba conjecture, confirmed by Noel, Reed and Wu, asserts that $\phi(k) \ge 2k+2$. This bound is tight if $k$ is even. If $k$ is odd, then it is…

Combinatorics · Mathematics 2019-10-29 Jialu Zhu , Xuding Zhu

For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is…

Combinatorics · Mathematics 2020-05-19 John C. Urschel , Jake Wellens

A $k$-defective clique of an undirected graph $G$ is a subset of its vertices that induces a nearly complete graph with a maximum of $k$ missing edges. The maximum $k$-defective clique problem, which asks for the largest $k$-defective…

Data Structures and Algorithms · Computer Science 2024-07-25 Chunyu Luo , Yi Zhou , Zhengren Wang , Mingyu Xiao

Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? This paper studies the case $k=2$, which we call the…

Combinatorics · Mathematics 2025-04-22 Abdul Basit , Bertille Granet , Daniel Horsley , André Kündgen , Katherine Staden

It was recently shown \cite{STV} that satisfiability is polynomially solvable when the incidence graph is an interval bipartite graph (an interval graph turned into a bipartite graph by omitting all edges within each partite set). Here we…

Data Structures and Algorithms · Computer Science 2016-02-26 Serge Gaspers , Christos Papadimitriou , Sigve Hortemo Saether , Jan Arne Telle