English
Related papers

Related papers: Graph Isomorphism Restricted by Lists

200 papers

Many applications in graph theory are motivated by routing or flow problems. Among these problems is Steiner Orientation: given a mixed graph G (having directed and undirected edges) and a set T of k terminal pairs in G, is there an…

Discrete Mathematics · Computer Science 2018-04-23 Moritz Beck , Johannes Blum , Myroslav Kryven , Andre Löffler , Johannes Zink

A colouring of a graph $G=(V,E)$ is a mapping $c\colon V\to \{1,2,\ldots\}$ such that $c(u)\neq c(v)$ for every two adjacent vertices $u$ and $v$ of $G$. The {\sc List $k$-Colouring} problem is to decide whether a graph $G=(V,E)$ with a…

Data Structures and Algorithms · Computer Science 2021-08-27 Nick Brettell , Jake Horsfield , Andrea Munaro , Daniel Paulusma

The partition of graphs into "nice" subgraphs is a central algorithmic problem with strong ties to matching theory. We study the partitioning of undirected graphs into same-size stars, a problem known to be NP-complete even for the case of…

Discrete Mathematics · Computer Science 2017-05-25 René van Bevern , Robert Bredereck , Laurent Bulteau , Jiehua Chen , Vincent Froese , Rolf Niedermeier , Gerhard J. Woeginger

An independent set $I$ in a graph $G$ is maximal if $I$ is not properly contained in any other independent set of $G$. The study of maximal independent sets (MIS's) in various graphs is well-established, often focusing upon enumeration of…

Combinatorics · Mathematics 2025-06-30 Levi Axelrod , Nathan Bickel , Anastasia Halfpap , Luke Hawranick , Alex Parker , Cole Swain

Graph partitioning is a key fundamental problem in the area of big graph computation. Previous works do not consider the practical requirements when optimizing the big data analysis in real applications. In this paper, motivated by…

Databases · Computer Science 2024-04-10 Baoling Ning , Jianzhong Li

We introduce the class of interval $H$-graphs, which is the generalization of interval graphs, particularly interval bigraphs. For a fixed graph $H$ with vertices $a_1,a_2,\dots,a_k$, we say that an input graph $G$ with given partition…

Discrete Mathematics · Computer Science 2025-03-04 Haiko Müller , Arash Rafiey

A linearly ordered (LO) $k$-colouring of a hypergraph is a colouring of its vertices with colours $1, \dots, k$ such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO $k$-colouring with a fixed…

Computational Complexity · Computer Science 2023-12-21 Marek Filakovský , Tamio-Vesa Nakajima , Jakub Opršal , Gianluca Tasinato , Uli Wagner

In the $(G,H)$-isomorphism game, a verifier interacts with two non-communicating players (called provers) by privately sending each of them a random vertex from either $G$ or $H$, whose aim is to convince the verifier that two graphs $G$…

Combinatorics · Mathematics 2020-04-24 Laura Mančinska , David E. Roberson , Antonios Varvitsiotis

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

Data Structures and Algorithms · Computer Science 2012-04-13 Vinícius G. P. de Sá , Guilherme D. da Fonseca , Raphael Machado , Celina M. H. de Figueiredo

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Logic · Mathematics 2007-05-23 Wesley Calvert

A commonly studied means of parameterizing graph problems is the deletion distance from triviality (Guo et al. 2004), which counts vertices that need to be deleted from a graph to place it in some class for which efficient algorithms are…

Data Structures and Algorithms · Computer Science 2014-10-17 Jannis Bulian , Anuj Dawar

Let $B=(X,Y,E)$ be a bipartite graph. A half-square of $B$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. Every planar graph is a half-square of a planar bipartite…

Discrete Mathematics · Computer Science 2018-04-18 Hoang-Oanh Le , Van Bang Le

We prove that computing a single pair of vertices that are mapped onto each other by an isomorphism $\phi$ between two isomorphic graphs is as hard as computing $\phi$ itself. This result optimally improves upon a result of G\'{a}l et al.…

Computational Complexity · Computer Science 2016-08-16 André Grosse , Joerg Rothe , Gerd Wechsung

Integrated Gradients (IG) is a common explainability technique to address the black-box problem of neural networks. Integrated gradients assumes continuous data. Graphs are discrete structures making IG ill-suited to graphs. In this work,…

Machine Learning · Computer Science 2025-09-10 Lachlan Simpson , Kyle Millar , Adriel Cheng , Cheng-Chew Lim , Hong Gunn Chew

Graph G is the square of graph H if two vertices x, y have an edge in G if and only if x, y are of distance at most two in H. Given H it is easy to compute its square H2, however Motwani and Sudan proved that it is NP-complete to determine…

Discrete Mathematics · Computer Science 2009-02-13 Babak Farzad , Lap Chi Lau , Van Bang Le , Nguyen Ngoc Tuy

This work investigates structural and computational aspects of list-based graph coloring under interval constraints. Building on the framework of analogous and p-analogous problems, we show that classical List Coloring, $\mu$-coloring, and…

Computational Complexity · Computer Science 2025-12-22 Simone Ingrid Monteiro Gama , Rosiane de Freitas Rodrigues

We consider the following two algorithmic problems: given a graph $G$ and a subgraph $H\subseteq G$, decide whether $H$ is an isometric or a geodesically convex subgraph of $G$. It is relatively easy to see that the problems can be solved…

Data Structures and Algorithms · Computer Science 2026-04-14 Sergio Cabello

In recent years there has been a rapid increase in classification methods on graph structured data. Both in graph kernels and graph neural networks, one of the implicit assumptions of successful state-of-the-art models was that…

Machine Learning · Computer Science 2019-11-01 Sergei Ivanov , Sergei Sviridov , Evgeny Burnaev

We investigate a special case of the Induced Subgraph Isomorphism problem, where both input graphs are interval graphs. We show the NP-hardness of this problem, and we prove fixed-parameter tractability of the problem with non-standard…

Data Structures and Algorithms · Computer Science 2010-03-08 Dániel Marx , Ildikó Schlotter

Clique-width is a well-studied graph parameter owing to its use in understanding algorithmic tractability: if the clique-width of a graph class ${\cal G}$ is bounded by a constant, a wide range of problems that are NP-complete in general…

Combinatorics · Mathematics 2021-12-23 Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma