English
Related papers

Related papers: On Satisfiability Problems with a Linear Structure

200 papers

An $n$-by-$n$ bipartite graph is $H$-saturated if the addition of any missing edge between its two parts creates a new copy of $H$. In 1964, Erd\H{o}s, Hajnal and Moon made a conjecture on the minimum number of edges in a…

Combinatorics · Mathematics 2014-11-27 Wenying Gan , Dániel Korándi , Benny Sudakov

The problem of finding the largest induced balanced bipartite subgraph in a given graph is NP-hard. This problem is closely related to the problem of finding the smallest Odd Cycle Transversal. In this work, we consider the following model…

Data Structures and Algorithms · Computer Science 2022-05-16 Akash Kumar , Anand Louis , Rameesh Paul

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

Data Structures and Algorithms · Computer Science 2015-03-19 Gregory Gutin , Eun Jung Kim , Arezou Soleimanfallah , Stefan Szeider , Anders Yeo

The \emph{thinness} of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Graphs with thinness at most two include, for example, bipartite convex graphs. Many…

Discrete Mathematics · Computer Science 2023-10-06 Flavia Bonomo-Braberman , Gastón Abel Brito

A \emph{Stick graph} is an intersection graph of axis-aligned segments such that the left end-points of the horizontal segments and the bottom end-points of the vertical segments lie on a `ground line,' a line with slope $-1$. It is an open…

Computational Geometry · Computer Science 2018-08-31 Felice De Luca , Md Iqbal Hossain , Stephen Kobourov , Anna Lubiw , Debajyoti Mondal

A graph is chordal if every cycle of length at least four contains a chord, that is, an edge connecting two nonconsecutive vertices of the cycle. Several classical applications in sparse linear systems, database management, computer vision,…

Data Structures and Algorithms · Computer Science 2016-12-07 David Bergman , Carlos H. Cardonha , Andre A. Cire , Arvind U. Raghunathan

We consider the problem of deciding whether an input graph G admits a topological embedding into a two-dimensional simplicial complex C. This problem includes, among others, the embeddability problem of a graph on a surface and the…

Computational Geometry · Computer Science 2018-03-20 Éric Colin de Verdière , Thomas Magnard , Bojan Mohar

Any satisfiability problem in conjunctive normal form can be solved in polynomial time by reducing it to a 3-sat formulation and transforming this to a Linear Complementarity problem (LCP) which is then solved as a linear program (LP). Any…

Computational Complexity · Computer Science 2018-01-31 Giacomo Patrizi

An important question in the study of constraint satisfaction problems (CSP) is understanding how the graph or hypergraph describing the incidence structure of the constraints influences the complexity of the problem. For binary CSP…

Data Structures and Algorithms · Computer Science 2015-03-13 Dániel Marx

${ NP}$-complete problem "Hamiltonian cycle"\ for graph $G=(V,E)$ is extended to the "Hamiltonian Complement of the Graph"\ problem of finding the minimal cardinality set $H$ containing additional edges so that graph $G=(V,E\cup H)$ is…

Computational Complexity · Computer Science 2018-08-27 Anatoly Panyukov

We exhibit a new obstacle to the nascent algorithmic theory for classes excluding an induced minor. We indeed show that on the class of string graphs -- which avoids the 1-subdivision of, say, $K_5$ as an induced minor -- Induced 2-Disjoint…

Computational Complexity · Computer Science 2025-02-11 Pierre Aboulker , Édouard Bonnet , Timothé Picavet , Nicolas Trotignon

A proper edge-coloring of a graph is an interval coloring if the labels on the edges incident to any vertex form an interval of consecutive integers. Interval thickness s(G) of a graph G is the smallest number of interval colorable graphs…

Combinatorics · Mathematics 2022-05-13 Maria Axenovich , Michael Zheng

Graphs derived from groups are a widely studied class of graphs, motivated by their highly symmetric structure. In particular, G-graphs offer an easy and interesting alternative construction of semi-symmetric graphs. After recalling the…

Combinatorics · Mathematics 2016-11-25 David Ellison , Ruxandra Marinescu-Ghemeci , Cerasela Tanasescu

The paper is devoted to sufficient conditions for the existence of vertex cuts in simple graphs, where the induced subgraph on the cut vertices belongs to a specified graph class. In particular, we show that any connected graph with $n$…

Let $G$ be a simple graph with order $n$ and adjacency matrix $\mathbf{A}(G)$. Let $\phi(G; \lambda)=\det(\lambda I-\mathbf{A}(G))=\sum_{i=0}^n\mathbf{a}_i(G)\lambda^{n-i}$ be the characteristic polynomial of $G$, where $\mathbf{a}_i(G)$ is…

Combinatorics · Mathematics 2020-02-11 Shi Cai Gong , Shao Wei Sun

Given a graph $G = (V,E)$ with vertex weights $w(v)$ and a desired number of parts $k$, the goal in graph partitioning problems is to partition the vertex set V into parts $V_1,\ldots,V_k$. Metrics for compactness, contiguity, and balance…

Data Structures and Algorithms · Computer Science 2021-02-10 Cyrus Hettle , Shixiang Zhu , Swati Gupta , Yao Xie

We prove that every internally 4-connected non-planar bipartite graph has an odd K_3,3 subdivision; that is, a subgraph obtained from K_3,3 by replacing its edges by internally disjoint odd paths with the same ends. The proof gives rise to…

Combinatorics · Mathematics 2017-03-28 Robin Thomas , Peter Whalen

We address the problem of partitioning a vertex-weighted connected graph into $k$ connected subgraphs that have similar weights, for a fixed integer $k\geq 2$. This problem, known as the \emph{balanced connected $k$-partition problem}…

Discrete Mathematics · Computer Science 2019-11-14 Flávio K. Miyazawa , Phablo F. S. Moura , Matheus J. Ota , Yoshiko Wakabayashi

The min-rank of a digraph was shown by Bar-Yossef et al. (2006) to represent the length of an optimal scalar linear solution of the corresponding instance of the Index Coding with Side Information (ICSI) problem. In this work, the graphs…

Information Theory · Computer Science 2013-03-19 Son Hoang Dau , Vitaly Skachek , Yeow Meng Chee

With the introduction of the graph-theoretic time-inconsistent planning model due to Kleinberg and Oren, it has been possible to investigate the computational complexity of how a task designer best can support a present-biased agent in…

Computational Complexity · Computer Science 2019-11-19 Fedor V. Fomin , Torstein J. F. Strømme