English
Related papers

Related papers: On Isomorphism of Graphs and the k-clique Problem

200 papers

We unify several seemingly different graph and digraph classes under one umbrella. These classes are all broadly speaking different generalizations of interval graphs, and include, in addition to interval graphs, also adjusted interval…

Discrete Mathematics · Computer Science 2018-06-28 Pavol Hell , Jing Huang , Ross M. McConnell , Arash Rafiey

The k-Clique problem is a fundamental combinatorial problem that plays a prominent role in classical as well as in parameterized complexity theory. It is among the most well-known NP-complete and W[1]-complete problems. Moreover, its…

Data Structures and Algorithms · Computer Science 2014-10-24 Nikolaos Fountoulakis , Tobias Friedrich , Danny Hermelin

Given two graphs $G$ and $H$, we say that $G$ contains $H$ as an induced minor if a graph isomorphic to $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. We study the complexity of Graph Isomorphism on…

Discrete Mathematics · Computer Science 2016-05-30 Rémy Belmonte , Yota Otachi , Pascal Schweitzer

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

Two signed graphs are called switching isomorphic if one of them is isomorphic to a switching equivalent of the other. To determine the number of switching non-isomorphic signed graphs on a specific graph, we will establish a method based…

Combinatorics · Mathematics 2019-09-17 Yousef Bagheri , Alireza Moghadamfar , Farzaneh Ramezani

Graph canonization is the problem of computing a unique representative, a canon, from the isomorphism class of a given graph. This implies that two graphs are isomorphic exactly if their canons are equal. We show that graphs of bounded tree…

Computational Complexity · Computer Science 2015-06-26 Michael Elberfeld , Pascal Schweitzer

Graph isomorphism is a problem for which there is no known polynomial-time solution. Nevertheless, assessing (dis)similarity between two or more networks is a key task in many areas, such as image recognition, biology, chemistry, computer…

Computation · Statistics 2022-06-28 Pierre Miasnikof , Alexander Y. Shestopaloff , Cristián Bravo , Yuri Lawryshyn

A graph G is a 2-tree if G=K_3, or G has a vertex v of degree 2, whose neighbours are adjacent, and G\v{i}s a 2-tree. A characterization of the degree sequences of 2-trees is given. This characterization yields a linear-time algorithm for…

Discrete Mathematics · Computer Science 2012-10-23 Prosenjit Bose , Vida Dujmović , Danny Krizanc , Stefan Langerman , Pat Morin , David R. Wood , Stefanie Wuhrer

An isomorphism between two graphs is a bijection between their vertices that preserves the edges. We consider the problem of determining whether two finite undirected weighted graphs are isomorphic, and finding an isomorphism relating them…

Optimization and Control · Mathematics 2016-11-03 Reza Takapoui , Stephen Boyd

The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a…

Combinatorics · Mathematics 2023-09-06 Maria Chudnovsky , Ian Malcolm Johnson McInnis

Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of…

Geometric Topology · Mathematics 2023-06-07 Shuchi Agrawal , Tarik Aougab , Yassin Chandran , Marissa Loving , J. Robert Oakley , Roberta Shapiro , Yang Xiao

We consider complete graphs with edge weights and/or node weights taking values in some set. In the first part of this paper, we show that a large number of graphs are completely determined, up to isomorphism, by the distribution of their…

Combinatorics · Mathematics 2007-10-11 Mireille Boutin , Gregor Kemper

A clique of a graph is a maximal set of vertices of size at least 2 that induces a complete graph. A $k$-clique-colouring of a graph is a colouring of the vertices with at most $k$ colours such that no clique is monochromatic. D\'efossez…

Computational Complexity · Computer Science 2013-12-12 Hélio B. Macêdo Filho , Raphael C. S. Machado , Celina M. H. de Figueiredo

This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that…

Discrete Mathematics · Computer Science 2016-06-22 Jonathan Gorard

We relate the graph isomorphism problem to the solvability of certain systems of linear equations with nonnegative variables. This version replaces the two previous versions of this paper.

Computational Complexity · Computer Science 2008-01-10 Shmuel Friedland

Let H be a graph, and let C_H(G) be the number of (subgraph isomorphic) copies of H contained in a graph G. We investigate the fundamental problem of estimating C_H(G). Previous results cover only a few specific instances of this general…

Data Structures and Algorithms · Computer Science 2019-02-20 Martin Furer , Shiva Prasad Kasiviswanathan

Let $G$ be a group. The BCI problem asks whether two Haar graphs of $G$ are isomorphic if and only if they are isomorphic by an element of an explicit list of isomorphisms. We first generalize this problem in a natural way and give a…

Combinatorics · Mathematics 2024-11-13 Ted Dobson , Gregory Robson

We study the time complexity of induced subgraph isomorphism problems where the pattern graph is fixed. The earliest known example of an improvement over trivial algorithms is by Itai and Rodeh (1978) who sped up triangle detection in…

Computational Complexity · Computer Science 2018-09-25 Markus Bläser , Balagopal Komarath , Karteek Sreenivasaiah

We investigate three formalisms to specify graph languages, i.e. sets of graphs, based on type graphs. First, we are interested in (pure) type graphs, where the corresponding language consists of all graphs that can be mapped…

Formal Languages and Automata Theory · Computer Science 2017-04-24 Andrea Corradini , Barbara König , Dennis Nolte

Quasi-isometry is a measure of how similar two graphs are at `large-scale'. Nguyen, Scott, and Seymour [arXiv:2501.09839] and Hickingbotham [arXiv:2501.10840] independently gave a characterisation of graphs quasi-isometric to graphs of…

Combinatorics · Mathematics 2025-12-29 Marc Distel