English
Related papers

Related papers: Continuous optimization methods for the graph isom…

200 papers

Two graphs $G$ and $H$ are homomorphism indistinguishable over a graph class $\mathcal{F}$ if they admit the same number of homomorphisms from every graph $F \in \mathcal{F}$. Many graph isomorphism relaxations such as (quantum) isomorphism…

Computational Complexity · Computer Science 2025-12-16 Marek Černý , Tim Seppelt

Our starting point is the observation that if graphs in a class C have low descriptive complexity in first order logic, then the isomorphism problem for C is solvable by a fast parallel algorithm (essentially, by a simple combinatorial…

Computational Complexity · Computer Science 2007-05-23 Martin Grohe , Oleg Verbitsky

We study the complexity of the Graph Isomorphism problem on graph classes that are characterized by a finite number of forbidden induced subgraphs, focusing mostly on the case of two forbidden subgraphs. We show hardness results and develop…

Data Structures and Algorithms · Computer Science 2015-03-20 Stefan Kratsch , Pascal Schweitzer

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

Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in…

Computational Complexity · Computer Science 2015-05-05 V. Arvind , Johannes Köbler , Gaurav Rattan , Oleg Verbitsky

We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that…

Optimization and Control · Mathematics 2018-08-21 Antoine Deza , Asaf Levin , Syed M. Meesum , Shmuel Onn

Graph matching---aligning a pair of graphs to minimize their edge disagreements---has received wide-spread attention from both theoretical and applied communities over the past several decades, including combinatorics, computer vision, and…

A graph is said to be circular-arc if the vertices can be associated with arcs of a circle so that two vertices are adjacent if and only if the corresponding arcs overlap. It is proved that the isomorphism of circular-arc graphs can be…

Data Structures and Algorithms · Computer Science 2019-07-15 Roman Nedela , Ilia Ponomarenko , Peter Zeman

Graph matching or quadratic assignment, is the problem of labeling the vertices of two graphs so that they are as similar as possible. A common method for approximately solving the NP-hard graph matching problem is relaxing it to a convex…

Optimization and Control · Mathematics 2017-05-23 Nadav Dym

It is confirmed in this work that the graph isomorphism can be tested in polynomial time, which resolves a longstanding problem in the theory of computation. The contributions are in three phases as follows. 1. A description graph…

Computational Complexity · Computer Science 2023-01-25 Rui Xue

The individualization-refinement paradigm provides a strong toolbox for testing isomorphism of two graphs and indeed, the currently fastest implementations of isomorphism solvers all follow this approach. While these solvers are fast in…

Computational Complexity · Computer Science 2017-05-10 Daniel Neuen , Pascal Schweitzer

It's important to design polynomial time algorithms to test if two graphs are isomorphic at least for some special classes of graphs. An approach to this was presented by Eugene M. Luks(1981) in the work \textit{Isomorphism of Graphs of…

Discrete Mathematics · Computer Science 2012-09-06 Adria Alcala Mena

In this paper we introduce a novel polynomial-time algorithm to compute graph invariants based on the modified random walk idea on graphs. However not proved to be a full graph invariant by now, our method gives the right answer for the…

Data Structures and Algorithms · Computer Science 2015-08-24 Alexander Gamkrelidze , Gunter Hotz , Levan Varamashvili

The isomorphism problem for graphs (GI) and the isomorphism problem for groups (GrISO) have been studied extensively by researchers. The current best algorithms for both these problems run in quasipolynomial time. In this paper, we study…

Data Structures and Algorithms · Computer Science 2023-08-21 Bireswar Das , Jinia Ghosh , Anant Kumar

Problems related to graph matching and isomorphisms are very important both from a theoretical and practical perspective, with applications ranging from image and video analysis to biological and biomedical problems. The graph matching…

Combinatorics · Mathematics 2014-09-29 Marcelo Fiori , Guillermo Sapiro

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

In this paper we study a natural generalization of both {\sc $k$-Path} and {\sc $k$-Tree} problems, namely, the {\sc Subgraph Isomorphism} problem. In the {\sc Subgraph Isomorphism} problem we are given two graphs $F$ and $G$ on $k$ and $n$…

Data Structures and Algorithms · Computer Science 2009-12-15 Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , B. V. Raghavendra Rao , Saket Saurabh

Graph isomorphism is an important problem as its worst-case time complexity is not yet fully understood. In this study, we try to draw parallels between a related optimization problem called point set registration. A graph can be…

Optimization and Control · Mathematics 2021-11-19 Yigit Oktar

In this paper we develop three characterizations for isomorphism of graphs. The first characterization is obtained by associating certain bitableaux with the graphs. We order these bitableaux by suitably defined lexicographic order and…

General Mathematics · Mathematics 2015-12-16 Dhananjay P. Mehendale

We give a $O^*(k^{O(k)})$ time isomorphism testing algorithm for graphs of eigenvalue multiplicity bounded by $k$ which improves on the previous best running time bound of $O^*(2^{O(k^2/\log k)})$.

Computational Complexity · Computer Science 2014-08-18 Vikraman Arvind , Gaurav Rattan