English
Related papers

Related papers: Reflexive Digraph Reconfiguration by Orientation S…

200 papers

The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational…

Rings and Algebras · Mathematics 2007-05-23 Timo Hanke

Given two graphs G and H, we ask under which conditions there is a relation R that generates the edges of H given the structure of graph G. This construction can be seen as a form of multihomomorphism. It generalizes surjective…

Combinatorics · Mathematics 2012-10-18 Jan Hubicka , Jürgen Jost , Yangjing Long , Peter F. Stadler , Ling Yang

Since counting subgraphs in general graphs is, by and large, a computationally demanding problem, it is natural to try and design fast algorithms for restricted families of graphs. One such family that has been extensively studied is that…

Data Structures and Algorithms · Computer Science 2022-08-29 Lior Gishboliner , Yevgeny Levanzov , Asaf Shapira , Raphael Yuster

Subgraph Isomorphism is a very basic graph problem, where given two graphs $G$ and $H$ one is to check whether $G$ is a subgraph of $H$. Despite its simple definition, the Subgraph Isomorphism problem turns out to be very broad, as it…

Data Structures and Algorithms · Computer Science 2015-04-14 Marek Cygan , Jakub Pachocki , Arkadiusz Socała

Motivated by the problem of redistricting, we study area-preserving reconfigurations of connected subdivisions of a simple polygon. A connected subdivision of a polygon $\mathcal{R}$, called a district map, is a set of interior disjoint…

Computational Geometry · Computer Science 2023-07-04 Hugo A. Akitaya , Andrei Gonczi , Diane L. Souvaine , Csaba D. Tóth , Thomas Weighill

We completely classify the computational complexity of the list H-colouring problem for graphs (with possible loops) in combinatorial and algebraic terms: for every graph H the problem is either NP-complete, NL-complete, L-complete or is…

Computational Complexity · Computer Science 2010-02-03 Laszlo Egri , Andrei Krokhin , Benoit Larose , Pascal Tesson

In this paper we present the first deterministic polynomial time algorithm for determining the existence of a Hamiltonian cycle and finding a Hamiltonian cycle in general graphs. Our algorithm can also solve the Hamiltonian path problem in…

Data Structures and Algorithms · Computer Science 2022-07-12 Aimin Hou

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

Discrete Mathematics · Computer Science 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

This paper leverages the framework of algorithms-with-predictions to design data structures for two fundamental dynamic graph problems: incremental topological ordering and cycle detection. In these problems, the input is a directed graph…

Data Structures and Algorithms · Computer Science 2024-02-20 Samuel McCauley , Benjamin Moseley , Aidin Niaparast , Shikha Singh

The clique-width is a measure of complexity of decomposing graphs into certain tree-like structures. The class of graphs with bounded clique-width contains bounded tree-width graphs. We give a polynomial time graph isomorphism algorithm for…

Computational Complexity · Computer Science 2016-04-29 Bireswar Das , Murali Krishna Enduri , I. Vinod Reddy

We continue the study of the recently-introduced C123-framework, for (simple) graph problems restricted to inputs specified by the forbidding of some finite set of subgraphs, to more general graph problems possibly involving multiedges and…

Combinatorics · Mathematics 2026-02-12 Tala Eagling-Vose , Barnaby Martin , Daniel Paulusma , Siani Smith

Directed cographs (di-cographs) play a crucial role in the reconstruction of evolutionary histories of genes based on homology relations which are binary relations between genes. A variety of methods based on pairwise sequence comparisons…

Discrete Mathematics · Computer Science 2018-05-04 Nikolai Nøjgaard , Nadia El-Mabrouk , Daniel Merkle , Nikolas Wieseke , Marc Hellmuth

We introduce the \emph{graphical reconfigurable circuits (GRC)} model as an abstraction for distributed graph algorithms whose communication scheme is based on local mechanisms that collectively construct long-range reconfigurable channels…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-08-21 Yuval Emek , Yuval Gil , Noga Harlev

Several variants of the Constraint Satisfaction Problem have been proposed and investigated in the literature for modelling those scenarios where solutions are associated with some given costs. Within these frameworks computing an optimal…

Artificial Intelligence · Computer Science 2012-09-18 Georg Gottlob , Gianluigi Greco , Francesco Scarcello

We study a new reconfiguration problem inspired by classic mechanical puzzles: a colored token is placed on each vertex of a given graph; we are also given a set of distinguished cycles on the graph. We are tasked with rearranging the…

Computational Complexity · Computer Science 2020-09-24 Kwon Kham Sai , Ryuhei Uehara , Giovanni Viglietta

Graph reordering is a powerful technique to increase the locality of the representations of graphs, which can be helpful in several applications. We study how the technique can be used to improve compression of graphs and inverted indexes.…

Data Structures and Algorithms · Computer Science 2017-09-04 Laxman Dhulipala , Igor Kabiljo , Brian Karrer , Giuseppe Ottaviano , Sergey Pupyrev , Alon Shalita

We consider the problem of exact and inexact matching of weighted undirected graphs, in which a bijective correspondence is sought to minimize a quadratic weight disagreement. This computationally challenging problem is often relaxed as a…

Data Structures and Algorithms · Computer Science 2014-10-14 Yonathan Aflalo , Alex Bronstein , Ron Kimmel

By a well known theorem of Robbins, a graph $G$ has a strongly connected orientation if and only if $G$ is 2-edge-connected and it is easy to find, in linear time, either a cut edge of $G$ or a strong orientation of $G$. A result of Durand…

Combinatorics · Mathematics 2023-03-07 Jørgen Bang-Jensen , Florian Hörsch , Matthias Kriesell

We give a recursion formula to generate all equivalence classes of biconnected graphs with coefficients given by the inverses of the orders of their groups of automorphisms. We give a linear map to produce a connected graph with say, u,…

Combinatorics · Mathematics 2013-03-14 Angela Mestre

We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph…

Data Structures and Algorithms · Computer Science 2025-11-04 Oscar Defrain , Arthur Ohana , Simon Vilmin