English
Related papers

Related papers: Completely Positive formulation of the Graph Isomo…

200 papers

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

Suppose we are given two graphs on $n$ vertices. We define an observable in the Hilbert space $\Co[(S_n \wr S_2)^m]$ which returns the answer ``yes'' with certainty if the graphs are isomorphic and ``no'' with probability at least…

Quantum Physics · Physics 2007-05-23 Mark Ettinger , Peter Hoyer

A simple topological graph T = (V(T), E(T)) is a drawing of a graph in the plane where every two edges have at most one common point (an endpoint or a crossing) and no three edges pass through a single crossing. Topological graphs G and H…

Combinatorics · Mathematics 2022-12-13 Jan Kynčl

Let $G$ be a graph on $n$ vertices with adjacency matrix $A$, and let $\mathbf{1}$ be the all-ones vector. We call $G$ controllable if the set of vectors $\mathbf{1}, A\mathbf{1}, \dots, A^{n-1}\mathbf{1}$ spans the whole space…

Combinatorics · Mathematics 2023-09-12 Aida Abiad , Anuj Dawar , Octavio Zapata

A perfect matching in a graph $G$ is a set of nonadjacent edges covering every vertex of $G$. Motivated by recent progress on the relations between the eigenvalues and the matching number of a graph, in this paper, we aim to present a…

Combinatorics · Mathematics 2021-01-13 Yuke Zhang , Huiqiu Lin

For $S \subset \mathbb{R}^n$ and $d > 0$, denote by $G(S, d)$ the graph with vertex set $S$ with any two vertices being adjacent if and only if they are at a Euclidean distance $d$ apart. Deem such a graph to be ``non-trivial" if $d$ is…

Combinatorics · Mathematics 2021-06-11 Matt Noble

We introduce and study the problem \mpd, which asks for two planar graphs $G_1$ and $G_2$ whether $G_1$ can be embedded such that its dual is isomorphic to $G_2$. Our algorithmic main result is an NP-completeness proof for the general case…

Data Structures and Algorithms · Computer Science 2013-03-08 Patrizio Angelini , Thomas Bläsius , Ignaz Rutter

Local complementation of a graph $G$ on vertex $v$ is an operation that results in a new graph $G*v$, where the neighborhood of $v$ is complemented. Two graph are locally equivalent if on can be reached from the other one through local…

Computational Complexity · Computer Science 2025-09-22 Pablo Concha-Vega

The {\em square} $G^2$ of a graph $G$ is the graph with the same vertex set as $G$ and with two vertices adjacent if their distance in $G$ is at most 2. Thomassen showed that every planar graph $G$ with maximum degree $\Delta(G)=3$…

Combinatorics · Mathematics 2015-03-03 Daniel W. Cranston , Seog-Jin Kim

Given a finite, simple, connected graph $G=(V,E)$ with $|V|=n$, we consider the associated graph Laplacian matrix $L = D - A$ with eigenvalues $0 = \lambda_1 < \lambda_2 \leq \dots \leq \lambda_n$. One can also consider the same graph…

Combinatorics · Mathematics 2025-04-08 Stefan Steinerberger , Rekha R. Thomas

This report contains expository notes about a function $\vartheta(G)$ that is popularly known as the Lov\'asz number of a graph~$G$. There are many ways to define $\vartheta(G)$, and the surprising variety of different characterizations…

Combinatorics · Mathematics 2008-02-03 Donald E. Knuth

A $(\delta\geq k_1,\delta\geq k_2)$-partition of a graph $G$ is a vertex-partition $(V_1,V_2)$ of $G$ satisfying that $\delta(G[V_i])\geq k_i$ for $i=1,2$. We determine, for all positive integers $k_1,k_2$, the complexity of deciding…

Data Structures and Algorithms · Computer Science 2018-01-22 Joergen Bang-Jensen , Stéphane Bessy

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

A geometric graph is a simple graph G together with a straight line drawing of G in the plane with the vertices in general position. Two geometric realizations of a simple graph are geo-isomorphic if there is a vertex bijection between them…

Combinatorics · Mathematics 2024-06-13 Sally Cockburn , Yonghyun Song

A set $S$ of isometric paths of a graph $G$ is ``$v$-rooted'', where $v$ is a vertex of $G$, if $v$ is one of the endpoints of all the isometric paths in $S$. The isometric path complexity of a graph $G$, denoted by $ipco{G}$, is the…

Combinatorics · Mathematics 2025-09-03 Dibyayan Chakraborty , Jérémie Chalopin , Florent Foucaud , Yann Vaxès

The graph isomorphism problem is considered. We assign modified $n$-variable characteristic polynomials for graphs and reduce the graph isomorphism problem to the problem of the polynomials isomorphism. It is required to find out, is there…

Discrete Mathematics · Computer Science 2024-10-18 Alexander Prolubnikov

We call a bipartite graph {\it homogeneous} if every finite partial automorphism which respects left and right can be extended to a total automorphism. A $(\kappa,{\lambda} )$ bipartite graph is a bipartite graph with left side of size…

Logic · Mathematics 2009-09-25 Martin Goldstern , R. Grossberg , Menachem Kojman

The following problem has been proposed in [Research problems from the Aveiro workshop on graph spectra, {\em Linear Algebra and its Applications}, {\bf 423} (2007) 172-181.]:\\ (Problem AWGS.4) Let $G_n$ and $G'_n$ be two nonisomorphic…

Combinatorics · Mathematics 2019-07-30 Alireza Abdollahi , Niloufar Zakeri

For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow \{1,...,t\}$ is called a proper edge $t$-coloring of a graph $G$,…

Combinatorics · Mathematics 2013-07-05 A. M. Khachatryan , R. R. Kamalian

Lov\'asz (1987) proved that every matching covered graph $G$ may be uniquely decomposed into a list of bricks (nonbipartite) and braces (bipartite); we let $b(G)$ denote the number of bricks. An edge $e$ is removable if $G-e$ is also…

Combinatorics · Mathematics 2026-05-22 Nishad Kothari , Marcelo H. de Carvalho , Cláudio L. Lucchesi , Charles H. C. Little