English
Related papers

Related papers: Isomorphism of graphs-a polynomial test

200 papers

The nullity of a graph is the multiplicity of the eigenvalues zero in its spectrum. A signed graph is a graph with a sign attached to each of its edges. In this paper, we obtain the coefficient theorem of the characteristic polynomial of a…

Combinatorics · Mathematics 2016-11-25 Yu Liu , Lhua You

We study a graph partitioning problem motivated by the simulation of the physical movement of multi-body systems on an atomistic level, where the forces are calculated from a quantum mechanical description of the electrons. Several advanced…

A {\em net} is a graph consisting of a triangle $C$ and three more vertices, each of degree one and with its neighbour in $C$, and all adjacent to different vertices of $C$. We give a polynomial-time algorithm to test whether an input graph…

Discrete Mathematics · Computer Science 2020-12-01 Maria Chudnovsky , Paul Seymour , Nicolas Trotignon

A property of finite graphs is called nondeterministically testable if it has a "certificate" such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that…

Combinatorics · Mathematics 2013-08-23 László Lovász , Katalin Vesztergombi

The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general…

Data Structures and Algorithms · Computer Science 2022-02-16 Vikraman Arvind , Roman Nedela , Ilia Ponomarenko , Peter Zeman

Parameter testing algorithms are using constant number of queries to estimate the value of a certain parameter of a very large finite graph. It is well-known that graph parameters such as the independence ratio or the edit-distance from…

Combinatorics · Mathematics 2009-07-02 Gabor Elek

A polynomial time algorithm that determines for a fixed integer k whether or not a P5-free graph can be k-colored is presented in this paper. If such a coloring exists, the algorithm will produce a valid k-coloring.

Discrete Mathematics · Computer Science 2007-05-23 C. T. Hoang , J. Sawada , X. Shu

This paper studies infinite graphs produced from a natural unfolding operation applied to finite graphs. Graphs produced via such operations are of finite degree and automatic over the unary alphabet (that is, they can be described by…

Logic · Mathematics 2008-09-22 Bakhadyr Khoussainov , Jiamou Liu , Mia Minnes

In this paper we study the problem of testing graph isomorphism (GI) in the CONGEST distributed model. In this setting we test whether the distributive network, $G_U$, is isomorphic to $G_K$ which is given as an input to all the nodes in…

Data Structures and Algorithms · Computer Science 2020-03-03 Reut Levi , Moti Medina

We study the problem of finding a copy of a specific induced subgraph on inhomogeneous random graphs with infinite variance power-law degrees. We provide a fast algorithm that finds a copy of any connected graph $H$ on a fixed number of $k$…

Data Structures and Algorithms · Computer Science 2019-08-30 Ellen Cardinaels , Johan S. H. van Leeuwaarden , Clara Stegehuis

The problem of graph isomorphism is an important but challenging problem in the field of graph analysis, for example: analyzing the similarity of two chemical molecules, or studying the expressive ability of graph neural networks. WL test…

Other Computer Science · Computer Science 2024-02-14 Wanghan Xu

In this paper, we prove that for every connected graph G, there exists a split graph H with the same independence number and the same order. Then we propose a first algorithm for finding this graph, given the degree sequence of the input…

Discrete Mathematics · Computer Science 2008-01-09 Omar Kettani

We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge…

Geometric Topology · Mathematics 2024-05-22 Stefan Friedl , Lars Munser , José Pedro Quintanilha , Yuri Santos Rego

We study free scalar field theory on a graph, which gives rise to a modified version of discrete Green's function on a graph studied in \cite{CY}. We show that this gives rise to a graph invariant, which is closely related to the 2-dim…

Combinatorics · Mathematics 2015-06-18 An Huang , Shing-Tung Yau , Mei-Heng Yueh

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along…

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

We present the first parallel fixed-parameter algorithm for subgraph isomorphism in planar graphs, bounded-genus graphs, and, more generally, all minor-closed graphs of locally bounded treewidth. Our randomized low depth algorithm has a…

Data Structures and Algorithms · Computer Science 2020-07-03 Lukas Gianinazzi , Torsten Hoefler

For an integer $r$, the graph $P_6+rP_3$ has $r+1$ components, one of which is a path on $6$ vertices, and each of the others is a path on $3$ vertices. In this paper we provide a polynomial-time algorithm to test if a graph with no induced…

Combinatorics · Mathematics 2018-07-03 Maria Chudnovsky , Shenwei Huang , Sophie Spirkl , Mingxian Zhong

The bipartition polynomial of a graph is a generalization of many other graph polynomials, including the domination, Ising, matching, independence, cut, and Euler polynomial. We show in this paper that it is also a powerful tool for proving…

Combinatorics · Mathematics 2017-02-14 Seongmin Ok , Peter Tittmann

We investigate the following problem: Given two embeddings G_1 and G_2 of the same abstract graph G on an orientable surface S, decide whether G_1 and G_2 are isotopic; in other words, whether there exists a continuous family of embeddings…

Computational Geometry · Computer Science 2013-10-11 Éric Colin de Verdière , Arnaud de Mesmay