English
Related papers

Related papers: Polynomial Time Algorithm for Graph Isomorphism Te…

200 papers

We give an isomorphism test for graphs of Euler genus $g$ running in time $2^{O(g^4 \log g)}n^{O(1)}$. Our algorithm provides the first explicit upper bound on the dependence on $g$ for an fpt isomorphism test parameterized by the Euler…

Data Structures and Algorithms · Computer Science 2024-03-08 Daniel Neuen

The Subgraph Isomorphism problem asks, given a host graph G on n vertices and a pattern graph P on k vertices, whether G contains a subgraph isomorphic to P. The restriction of this problem to planar graphs has often been considered. After…

Discrete Mathematics · Computer Science 2015-03-19 Paul Bonsma

A polynomial-time algorithm for 0-1 integer linear programmings has been proposed. This method continues the classic idea of solving ILP with its LP relaxation. The innovation is that every constraint in the LP is reconstructed into a…

Optimization and Control · Mathematics 2023-06-19 G. Q. Zhang

In this article, we consider a collection of geometric problems involving points colored by two colors (red and blue), referred to as bichromatic problems. The motivation behind studying these problems is two fold; (i) these problems appear…

Computational Geometry · Computer Science 2016-10-04 Sayan Bandyapadhyay , Aritra Banik

In this paper we propose a new approach for developing a proof that P=NP. We propose to use a polynomial-time reduction of a NP-complete problem to Linear Programming. Earlier such attempts used polynomial-time transformation which is a…

Computational Complexity · Computer Science 2023-02-20 Malay Dutta , Anjana K. Mahanta

Article explicitly expresses Subgraph Isomorphism by a polynomial size asymmetric linear system.

Discrete Mathematics · Computer Science 2008-11-10 Sergey Gubin

We provide a polynomial time algorithm to determine a cubic bipartite graph has a hamilton cycle or not.

General Mathematics · Mathematics 2024-06-04 Misa Nakanishi

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

Graphs are widely used to model complicated data semantics in many application domains. In this paper, two novel and efficient algorithms Fast-ON and Fast-P are proposed for solving the subgraph isomorphism problem. The two algorithms are…

Data Structures and Algorithms · Computer Science 2019-04-19 Mosab Hassaan , Karam Gouda

A hole in a graph G is an induced cycle of length at least four; an antihole is a hole in the complement of G. In 2005, Chudnovsky, Cornuejols, Liu, Seymour and Vuskovic showed that it is possible to test in polynomial time whether a graph…

Combinatorics · Mathematics 2019-03-04 Maria Chudnovsky , Alex Scott , Paul Seymour , Sophie Spirkl

As it follows from G\"odel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in…

Data Structures and Algorithms · Computer Science 2020-11-25 Roman Galay , Daniil Kalistratov

List colouring is an NP-complete decision problem even if the total number of colours is three. It is hard even on planar bipartite graphs. We give a polynomial-time algorithm for solving list colouring of permutation graphs with a bounded…

Discrete Mathematics · Computer Science 2012-06-25 Jessica Enright , Lorna Stewart , Gabor Tardos

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst

We show a polynomial-time algorithm for testing c-planarity of embedded flat clustered graphs with at most two vertices per cluster on each face.

Data Structures and Algorithms · Computer Science 2014-08-13 Markus Chimani , Giuseppe Di Battista , Fabrizio Frati , Karsten Klein

Motivated by the problem of matching vertices in two correlated Erd\H{o}s-R\'enyi graphs, we study the problem of matching two correlated Gaussian Wigner matrices. We propose an iterative matching algorithm, which succeeds in polynomial…

Data Structures and Algorithms · Computer Science 2025-09-01 Jian Ding , Zhangsong Li

We give a linear-time algorithm that checks for isomorphism between two 0-1 matrices that obey the circular-ones property. This algorithm leads to linear-time isomorphism algorithms for related graph classes, including Helly circular-arc…

Data Structures and Algorithms · Computer Science 2013-09-18 Andrew R. Curtis , Min Chih Lin , Ross M. McConnell , Yahav Nussbaum , Francisco J. Soulignac , Jeremy P. Spinrad , Jayme L. Szwarcfiter

We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in $\Sigma_2^p$. In the case of linear matroids, which are represented over polynomially growing fields, we note that the problem is…

Computational Complexity · Computer Science 2008-11-25 Raghavendra Rao B. V. , Jayalal M. N. Sarma

If $G$ is a bipartite graph, Hall's theorem \cite{H35} gives a condition for the existence of a matching of $G$ covering one side of the bipartition. This theorem admits a well-known algorithmic proof involving the repeated search of…

Data Structures and Algorithms · Computer Science 2023-09-12 Sylvain Guillemot

We study finite graphs embedded in oriented surfaces by associating a polynomial to it. The tools used in developing a theory of such graph polynomials are algebraic topological while the polynomial itself is inspired from ideas arising in…

Combinatorics · Mathematics 2022-05-02 Somnath Basu , Dhruv Bhasin , Siddhartha Lal , Siddhartha Patra

In this paper, we provide polynomial-time algorithms for different extensions of the matching counting problem, namely maximal matchings, path matchings (linear forest) and paths, on graph classes of bounded clique-width. For maximal…

Discrete Mathematics · Computer Science 2018-06-05 Benjamin Hellouin de Menibus , Takeaki Uno
‹ Prev 1 3 4 5 6 7 10 Next ›