English
Related papers

Related papers: Isomorphism Testing for T-graphs in FPT

200 papers

The complexity of graph isomorphism (GraphIso) is a famous unresolved problem in theoretical computer science. For graphs $G$ and $H$, it asks whether they are the same up to a relabeling of vertices. In 1981, Lubiw proved that list…

Discrete Mathematics · Computer Science 2016-11-03 Pavel Klavik , Dušan Knop , Peter Zeman

The maximum common subtree isomorphism problem asks for the largest possible isomorphism between subtrees of two given input trees. This problem is a natural restriction of the maximum common subgraph problem, which is ${\sf NP}$-hard in…

Data Structures and Algorithms · Computer Science 2016-08-23 Andre Droschinsky , Nils M. Kriege , Petra Mutzel

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

For a fixed "pattern" graph $G$, the $\textit{colored $G$-subgraph isomorphism problem}$ (denoted $\mathrm{SUB}(G)$) asks, given an $n$-vertex graph $H$ and a coloring $V(H) \to V(G)$, whether $H$ contains a properly colored copy of $G$.…

Computational Complexity · Computer Science 2020-04-29 Deepanshu Kush , Benjamin Rossman

A graph G is a homomorphic preimage of another graph H, or equivalently G is H-colorable, if there exists a graph homomorphism from G to H. A classic problem is to characterize the family of homomorphic preimages of a given graph H. A…

Combinatorics · Mathematics 2024-06-13 Sally Cockburn

A tree $t$-spanner of a graph $G$ is a spanning tree of $G$ such that the distance between pairs of vertices in the tree is at most $t$ times their distance in $G$. Deciding tree $t$-spanner admissible graphs has been proved to be tractable…

Discrete Mathematics · Computer Science 2018-01-01 Ioannis Papoutsakis

Hierarchical embedding constraints define a set of allowed cyclic orders for the edges incident to the vertices of a graph. These constraints are expressed in terms of FPQ-trees. FPQ-trees are a variant of PQ-trees that includes F-nodes in…

Data Structures and Algorithms · Computer Science 2019-11-19 Giuseppe Liotta , Ignaz Rutter , Alessandra Tappini

A set $D$ of vertices in a graph $G$ is a dominating set if every vertex of $G$, which is not in $D$, has a neighbor in $D$. A set of vertices $D$ in $G$ is convex (respectively, isometric), if all vertices in all shortest paths…

Combinatorics · Mathematics 2017-04-28 Boštjan Brešar , Tanja Gologranc , Tim Kos

THIS IS A CORRECTED VERSION INCLUDING AN APPENDED CORRIGENDUM. Best match graphs arise naturally as the first processing intermediate in algorithms for orthology detection. Let $T$ be a phylogenetic (gene) tree $T$ and $\sigma$ an…

We consider the subgraph isomorphism problem where, given two graphs G (source graph) and F (pattern graph), one is to decide whether there is a (not necessarily induced) subgraph of G isomorphic to F. While many practical heuristic…

Data Structures and Algorithms · Computer Science 2019-08-30 Josef Malík , Ondřej Suchý , Tomáš Valla

A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges. The $t$-tessellability problem aims to decide whether there is a…

Discrete Mathematics · Computer Science 2021-06-24 A. Abreu , L. Cunha , T. Fernandes , C. de Figueiredo , L. Kowada , F. Marquezino , D. Posner , R. Portugal

A graph $G$ is said to be a `set graph' if it admits an acyclic orientation that is also `extensional', in the sense that the out-neighborhoods of its vertices are pairwise distinct. Equivalently, a set graph is the underlying graph of the…

Discrete Mathematics · Computer Science 2015-03-20 Martin Milanič , Romeo Rizzi , Alexandru I. Tomescu

Let $G$ be a graph with the usual shortest-path metric. A graph is $\delta$-hyperbolic if for every geodesic triangle $T$, any side of $T$ is contained in a $\delta$-neighborhood of the union of the other two sides. A graph is chordal if…

Combinatorics · Mathematics 2017-08-22 Álvaro Martínez-Pérez

In the point set embeddability problem, we are given a plane graph $G$ with $n$ vertices and a point set $S$ with $n$ points. Now the goal is to answer the question whether there exists a straight-line drawing of $G$ such that each vertex…

Computational Geometry · Computer Science 2020-05-13 Tanaeem M. Moosa , M. Sohel Rahman

For a graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$. Recently, there has…

Combinatorics · Mathematics 2023-08-15 Daniel A. Quiroz

Packing graphs is a combinatorial problem where several given graphs are being mapped into a common host graph such that every edge is used at most once. In the planar tree packing problem we are given two trees T1 and T2 on n vertices and…

Computational Geometry · Computer Science 2016-03-28 Markus Geyer , Michael Hoffmann , Michael Kaufmann , Vincent Kusters , Csaba D. Tóth

Threshold graphs are recursive deterministic network models that have been proposed for describing certain economic and social interactions. One drawback of this graph family is that it has limited generative attachment rules. To mitigate…

Social and Information Networks · Computer Science 2018-05-24 Vida Ravanmehr , Gregory J. Puleo , Sadegh Bolouki , Olgica Milenkovic

We study the Induced $H$ Partition problem from the parameterized complexity point of view. In the Induced $H$ Partition problem the task is to partition vertices of a graph $G$ into sets $V_1,V_2,\dots,V_n$ such that the graph $H$ is…

Discrete Mathematics · Computer Science 2016-03-11 Dušan Knop

In this paper, we show the existence of a polynomial time graph isomorphism algorithm for all graphs excluding graphs that are locally trianglefree. This particular class of graphs allows to divide the graph into neighbourhood sub-graph…

Data Structures and Algorithms · Computer Science 2016-06-02 Fahad Bin Mortuza

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting…

Data Structures and Algorithms · Computer Science 2015-07-27 Bart M. P. Jansen