English
Related papers

Related papers: Breaking Symmetries in Graph Search with Canonizin…

200 papers

Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for…

Combinatorics · Mathematics 2021-11-01 Valentin Bouquet , Christophe Picouleau

In the Exact Matching Problem (EM), we are given a graph equipped with a fixed coloring of its edges with two colors (red and blue), as well as a positive integer $k$. The task is then to decide whether the given graph contains a perfect…

Data Structures and Algorithms · Computer Science 2022-07-14 Nicolas El Maalouly , Raphael Steiner

Edge-labeled graphs are widely used to describe relationships between entities in a database. Given a query subgraph that represents an example of what the user is searching for, we study the problem of efficiently searching for similar…

Databases · Computer Science 2020-05-12 Zhaoyang Shao , Davood Rafiei , Themis Palpanas

The Independent Cutset problem asks whether there is a set of vertices in a given graph that is both independent and a cutset. Such a problem is $\textsf{NP}$-complete even when the input graph is planar and has maximum degree five. In this…

Data Structures and Algorithms · Computer Science 2023-11-21 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

We investigate the Minimum Eccentricity Shortest Path problem in some structured graph classes. It asks for a given graph to find a shortest path with minimum eccentricity. Although it is NP-hard in general graphs, we demonstrate that a…

Discrete Mathematics · Computer Science 2015-11-17 Feodor F. Dragan , Arne Leitert

This paper formulates a novel problem on graphs: find the minimal subset of edges in a fully connected graph, such that the resulting graph contains all spanning trees for a set of specifed sub-graphs. This formulation is motivated by an…

Discrete Mathematics · Computer Science 2017-07-18 Nicholas Harvey , Vahab Mirrokni , David Karger , Virginia Savova , Leonid Peshkin

We study reconfiguration problems for cliques in a graph, which determine whether there exists a sequence of cliques that transforms a given clique into another one in a step-by-step fashion. As one step of a transformation, we consider…

Data Structures and Algorithms · Computer Science 2014-12-15 Takehiro Ito , Hirotaka Ono , Yota Otachi

The Minimum Spanning Tree with Conflicting Edge Pairs is a generalization that adds conflict constraints to a classical optimization problem on graphs used to model several real-world applications. In the last few years several approaches,…

Optimization and Control · Mathematics 2025-04-22 Roberto Montemanni , Derek H. Smith

This work studies fundamental limits for recovering the underlying correspondence among multiple correlated graphs. In the setting of inhomogeneous random graphs, we present and analyze a matching algorithm: first partially match the graphs…

Data Structures and Algorithms · Computer Science 2025-07-01 Taha Ameen , Bruce Hajek

The growing popularity of dynamic applications such as social networks provides a promising way to detect valuable information in real time. Efficient analysis over high-speed data from dynamic applications is of great significance. Data…

Databases · Computer Science 2018-09-05 Youhuan Li , Lei Zou , M. Tamer Ozsu , Dongyan Zhao

In this monography, it is proposed to consider the concepts of spectra of edge cuts and edge cycles of a graph as a basic mathematical structure for solving the problem of graph isomorphism. An edge cut is defined by an edge and the…

Combinatorics · Mathematics 2024-06-13 Sergey Kurapov , Maxim Davidovsky

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

Lubiw showed that several variants of Graph Isomorphism are NP-complete, where the solutions are required to satisfy certain additional constraints [SICOMP 10, 1981]. One of these, called Isomorphism With Restrictions, is to decide for two…

Computational Complexity · Computer Science 2017-09-29 V. Arvind , Johannes Köbler , Sebastian Kuhnert , Jacobo Toran

To determine that two given undirected graphs are isomorphic, we construct for them auxiliary graphs, using the breadth-first search. This makes capability to position vertices in each digraph with respect to each other. If the given graphs…

Data Structures and Algorithms · Computer Science 2018-02-13 Anatoly D. Plotnikov

A matching $M$ in a graph $G$ is said to be uniquely restricted if there is no other matching in $G$ that matches the same set of vertices as $M$. We describe a polynomial-time algorithm to compute a maximum cardinality uniquely restricted…

Discrete Mathematics · Computer Science 2016-05-11 Mathew C. Francis , Dalu Jacob , Satyabrata Jana

We propose a new family of combinatorial inference problems for graphical models. Unlike classical statistical inference where the main interest is point estimation or parameter testing, combinatorial inference aims at testing the global…

Statistics Theory · Mathematics 2018-02-14 Matey Neykov , Junwei Lu , Han Liu

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry detection and symmetry breaking in such systems to…

Logic in Computer Science · Computer Science 2011-04-21 Christian Drescher , Thomas Eiter , Michael Fink , Thomas Krennwallner , Toby Walsh

A matching cut is a partition of the vertex set of a graph into two sets $A$ and $B$ such that each vertex has at most one neighbor in the other side of the cut. The MATCHING CUT problem asks whether a graph has a matching cut, and has been…

Data Structures and Algorithms · Computer Science 2019-05-09 Guilherme C. M. Gomes , Ignasi Sau

The Isolation Lemma of Mulmuley, Vazirani and Vazirani [Combinatorica'87] provides a self-reduction scheme that allows one to assume that a given instance of a problem has a unique solution, provided a solution exists at all. Since its…

Computational Complexity · Computer Science 2021-05-05 Jesper Nederlof , Michał Pilipczuk , Céline M. F. Swennenhuis , Karol Węgrzycki