English
Related papers

Related papers: A SAT Approach to Twin-Width

200 papers

For a well-studied family of domination-type problems, in bounded-treewidth graphs, we investigate whether it is possible to find faster algorithms. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a…

Computational Complexity · Computer Science 2023-06-07 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

We study (s,t)-cuts of second minimum capacity and present the following algorithmic and graph-theoretic results. 1. Vazirani and Yannakakis [ICALP 1992] designed the first algorithm for computing an (s,t)-cut of second minimum capacity…

Data Structures and Algorithms · Computer Science 2025-07-03 Surender Baswana , Koustav Bhanja , Anupam Roy

The 'exact subgraph' approach was recently introduced as a hierarchical scheme to get increasingly tight semidefinite programming relaxations of several NP-hard graph optimization problems. Solving these relaxations is a computational…

Optimization and Control · Mathematics 2019-08-09 Elisabeth Gaar , Franz Rendl

We consider bounded width CNF-formulas where the width is measured by popular graph width measures on graphs associated to CNF-formulas. Such restricted graph classes, in particular those of bounded treewidth, have been extensively studied…

Computational Complexity · Computer Science 2020-01-23 Stefan Mengel , Romain Wallon

We consider the statistical problem of recovering a hidden "ground truth" binary labeling for the vertices of a graph up to low Hamming error from noisy edge and vertex measurements. We present new algorithms and a sharp finite-sample…

Machine Learning · Computer Science 2018-02-28 Dylan J. Foster , Daniel Reichman , Karthik Sridharan

This paper proves strong lower bounds for distributed computing in the CONGEST model, by presenting the bit-gadget: a new technique for constructing graphs with small cuts. The contribution of bit-gadgets is twofold. First, developing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-15 Amir Abboud , Keren Censor-Hillel , Seri Khoury , Ami Paz

In communication field, an important issue is to group users and base stations to as many as possible subnetworks satisfying certain interference constraints. These problems are usually formulated as a graph partition problems which…

Combinatorics · Mathematics 2020-09-30 Chicheng Ma , Yucong Tang , Guanghui Wang , Guiying Yan , Bo Bai

The minimum cut problem for an undirected edge-weighted graph asks us to divide its set of nodes into two blocks while minimizing the weight sum of the cut edges. In this paper, we engineer the fastest known exact algorithm for the problem.…

Data Structures and Algorithms · Computer Science 2018-08-17 Monika Henzinger , Alexander Noe , Christian Schulz

Graph alignment, the problem of identifying corresponding nodes across multiple graphs, is fundamental to numerous applications. Most existing unsupervised methods embed node features into latent representations to enable cross-graph…

Machine Learning · Computer Science 2025-09-30 Maysam Behmanesh , Erkan Turan , Maks Ovsjanikov

In a graph, a matching cut is an edge cut that is a matching. Matching Cut is the problem of deciding whether or not a given graph has a matching cut, which is known to be NP-complete even when restricted to bipartite graphs. It has been…

Computational Complexity · Computer Science 2018-10-29 Hoang-Oanh Le , Van Bang Le

In Two-Sets Cut-Uncut, we are given an undirected graph $G=(V,E)$ and two terminal sets $S$ and $T$. The task is to find a minimum cut $C$ in $G$ (if there is any) separating $S$ from $T$ under the following ``uncut'' condition. In the…

Data Structures and Algorithms · Computer Science 2024-08-27 Matthias Bentert , Fedor V. Fomin , Fanny Hauser , Saket Saurabh

Given a graph $G$, the maximal induced subgraphs problem asks to enumerate all maximal induced subgraphs of $G$ that belong to a certain hereditary graph class. While its optimization version, known as the minimum vertex deletion problem in…

Data Structures and Algorithms · Computer Science 2020-04-22 Yixin Cao

Graph-structured data is central to many scientific and industrial domains, where the goal is often to optimize objectives defined over graph structures. Given the combinatorial complexity of graph spaces, such optimization problems are…

Optimization and Control · Mathematics 2025-09-25 Shiqiang Zhang , Ruth Misener

In this paper, we introduce the following new concept in graph drawing. Our task is to find a small collection of drawings such that they all together satisfy some property that is useful for graph visualization. We propose investigating a…

Computational Geometry · Computer Science 2025-09-23 Petr Hliněný , Tomáš Masařík

A graph $G$ is said to be a `set graph' if it admits an acyclic orientation that is also `extensional', in the sense that the out-neighborhoods of its vertices are pairwise distinct. Equivalently, a set graph is the underlying graph of the…

Discrete Mathematics · Computer Science 2015-03-20 Martin Milanič , Romeo Rizzi , Alexandru I. Tomescu

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain amount of overlap without being in conflict. In one of the most natural generalizations of tolerance graphs with direct applications in the…

Computational Complexity · Computer Science 2016-05-17 Archontia C. Giannopoulou , George B. Mertzios

In this work, we resolve the query complexity of global minimum cut problem for a graph by designing a randomized algorithm for approximating the size of minimum cut in a graph, where the graph can be accessed through local queries like…

Data Structures and Algorithms · Computer Science 2020-08-12 Arijit Bishnu , Arijit Ghosh , Gopinath Mishra , Manaswi Paraashar

Graph packing generally deals with unlabeled graphs. In \cite{EHRT11}, the authors have introduced a new variant of the graph packing problem, called the \textit{labeled packing of a graph}. This problem has recently been studied on trees…

Discrete Mathematics · Computer Science 2014-11-03 M. A. Tahraoui , E. Duchene , H. Kheddouci , M. Wozniak

The maximum/minimum bisection problems are, given an edge-weighted graph, to find a bipartition of the vertex set into two sets whose sizes differ by at most one, such that the total weight of edges between the two sets is…

Data Structures and Algorithms · Computer Science 2020-09-17 Tesshu Hanaka , Yasuaki Kobayashi , Taiga Sone

Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On…

Category Theory · Mathematics 2021-05-13 Zoltan A. Kocsis , Benjamin Merlin Bumpus