English
Related papers

Related papers: Isomorphism Testing for Graphs of Bounded Rank Wid…

200 papers

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and…

Computational Complexity · Computer Science 2015-02-23 Christoph Berkholz , Martin Grohe

The criteria for determining graph isomorphism are crucial for solving graph isomorphism problems. The necessary condition is that two isomorphic graphs possess invariants, but their function can only be used to filtrate and subdivide…

Graphics · Computer Science 2025-08-19 Chuanfu Hu , Aimin Hou

In a previous work, we gave a metric on the class of semibinary tree-sibling time consistent phylogenetic networks that is computable in polynomial time; in particular, the problem of deciding if two networks of this kind are isomorphic is…

Populations and Evolution · Quantitative Biology 2009-02-27 Gabriel Cardona , Merce Llabres , Francesc Rossello , Gabriel Valiente

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

Clique-width is a complexity measure of directed as well as undirected graphs. Rank-width is an equivalent complexity measure for undirected graphs and has good algorithmic and structural properties. It is in particular related to the…

Discrete Mathematics · Computer Science 2014-07-09 Mamadou Moustapha Kante , Michael Rao

A commonly studied means of parameterizing graph problems is the deletion distance from triviality (Guo et al. 2004), which counts vertices that need to be deleted from a graph to place it in some class for which efficient algorithms are…

Data Structures and Algorithms · Computer Science 2014-10-17 Jannis Bulian , Anuj Dawar

The definition of $1$-planar graphs naturally extends graph planarity, namely a graph is $1$-planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity is solvable in linear time,…

Computational Geometry · Computer Science 2019-11-05 Carla Binucci , Walter Didimo , Fabrizio Montecchiani

We show that the number of $k$-matching in a given undirected graph $G$ is equal to the number of perfect matching of the corresponding graph $G_k$ on an even number of vertices divided by a suitable factor. If $G$ is bipartite then one can…

Computational Complexity · Computer Science 2016-08-31 Shmuel Friedland , Daniel Levy

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

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

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

In an attempt to find a polynomial-time algorithm for the edge-clique cover problem on cographs we tried to prove that the edge-clique graphs of cographs have bounded rankwidth. However, this is not the case. In this note we show that the…

Discrete Mathematics · Computer Science 2012-05-14 Maw-Shang Chang , Ton Kloks , Ching-Hao Liu

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

We solve the subgraph isomorphism problem in planar graphs in linear time, for any pattern of constant size. Our results are based on a technique of partitioning the planar graph into pieces of small tree-width, and applying dynamic…

Data Structures and Algorithms · Computer Science 2007-05-23 David Eppstein

In the search for a logic capturing polynomial time the most promising candidates are Choiceless Polynomial Time (CPT) and rank logic. Rank logic extends fixed-point logic with counting by a rank operator over prime fields. We show that the…

Logic in Computer Science · Computer Science 2023-08-15 Moritz Lichter

We define a special case of tree decompositions for planar graphs that respect a given embedding of the graph. We study the analogous width of the resulting decomposition we call the embedded-width of a plane graph. We show both upper…

Discrete Mathematics · Computer Science 2017-03-23 Glencora Borradaile , Jeff Erickson , Hung Le , Robbie Weber

For a fixed number of colors, we show that, in node-weighted split graphs, cographs, and graphs of bounded tree-width, one can determine in polynomial time whether a proper list-coloring of the vertices of a graph such that the total weight…

Discrete Mathematics · Computer Science 2017-09-26 Cédric Bentz

We resolve the computational complexity of Graph Isomorphism for classes of graphs characterized by two forbidden induced subgraphs $H_1$ and $H_2$ for all but six pairs $(H_1,H_2)$. Schweitzer had previously shown that the number of open…

Discrete Mathematics · Computer Science 2019-09-04 Marthe Bonamy , Nicolas Bousquet , Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma , Théo Pierron

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

We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero…

Data Structures and Algorithms · Computer Science 2015-11-05 Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk , Saket Saurabh , Marcin Wrochna
‹ Prev 1 3 4 5 6 7 10 Next ›