English
Related papers

Related papers: Recognizing Proper Tree-Graphs

200 papers

For $p,q\ge2$ the $\{p,q\}$-tiling graph is the (finite or infinite) planar graph $T_{p,q}$ where all faces are cycles of length $p$ and all vertices have degree $q$. We give algorithms for the problem of recognizing (induced) subgraphs of…

Computational Geometry · Computer Science 2026-03-09 Eliel Ingervo , Sándor Kisfaludi-Bak

Interval graphs are intersection graphs of closed intervals of the real-line. The well-known computational problem, called recognition, asks whether an input graph $G$ can be represented by closed intervals, i.e., whether $G$ is an interval…

Discrete Mathematics · Computer Science 2014-05-20 Pavel Klavík , Jan Kratochvíl , Yota Otachi , Toshiki Saitoh , Tomáš Vyskočil

A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph…

Discrete Mathematics · Computer Science 2025-07-02 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl

A graph $G=(V,E)$ is a geometric intersection graph if every node $v \in V$ is identified with a geometric object of some particular type, and two nodes are adjacent if the corresponding objects intersect. Geometric intersection graph…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-07 Benjamin Jauregui , Pedro Montealegre , Ivan Rapaport

Homomorphism is a key mapping technique between graphs that preserves their structure. Given a graph and a pattern, the subgraph homomorphism problem involves finding a mapping from the pattern to the graph, ensuring that adjacent vertices…

Artificial Intelligence · Computer Science 2025-12-18 Shuyang Guo , Wenjin Xie , Ping Lu , Ting Deng , Richong Zhang , Jianxin Li , Xiangping Huang , Zhongyi Liu

A graph $G$ belongs to the class ${\rm ORTH}[h,s,t]$ for integers $h$, $s$, and $t$ if there is a pair $(T,{\cal S})$, where $T$ is a tree of maximum degree at most $h$, and ${\cal S}$ is a collection $(S_u)_{u\in V(G)}$ of subtrees $S_u$…

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

In 1969, Roberts introduced proper and unit interval graphs and proved that these classes are equal. Natural generalizations of unit interval graphs called $k$-length interval graphs were considered in which the number of different lengths…

Discrete Mathematics · Computer Science 2017-04-13 Pavel Klavík , Yota Otachi , Jiří Šejnoha

Let H be a graph, and let C_H(G) be the number of (subgraph isomorphic) copies of H contained in a graph G. We investigate the fundamental problem of estimating C_H(G). Previous results cover only a few specific instances of this general…

Data Structures and Algorithms · Computer Science 2019-02-20 Martin Furer , Shiva Prasad Kasiviswanathan

Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomass\'e and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while…

Parameterized algorithms are a very useful tool for dealing with NP-hard problems on graphs. Yet, to properly utilize parameterized algorithms it is necessary to choose the right parameter based on the type of problem and properties of the…

Data Structures and Algorithms · Computer Science 2012-01-18 Robert Ganian

A resolving set $S$ of a graph $G$ is a subset of its vertices such that no two vertices of $G$ have the same distance vector to $S$. The Metric Dimension problem asks for a resolving set of minimum size, and in its decision form, a…

Computational Complexity · Computer Science 2019-07-19 Édouard Bonnet , Nidhi Purohit

Bir\'{o}, Hujter, and Tuza introduced the concept of $H$-graphs (1992), intersection graphs of connected subgraphs of a subdivision of a graph $H$. They naturally generalize many important classes of graphs, e.g., interval graphs and…

Discrete Mathematics · Computer Science 2017-06-05 Steven Chaplick , Peter Zeman

We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…

Recent results show that the structural similarity of graphs can be characterized by counting homomorphisms to them: the Tree Theorem states that the well-known color-refinement algorithm does not distinguish two graphs G and H if and only…

Discrete Mathematics · Computer Science 2019-04-01 Jan Böker

In the standard CONGEST model for distributed network computing, it is known that "global" tasks such as minimum spanning tree, diameter, and all-pairs shortest paths, consume large bandwidth, for their running-time is…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-06-14 Pierre Fraigniaud , Pedro Montealegre , Dennis Olivetti , Ivan Rapaport , Ioan Todinca

The problem of determining whether a graph $G$ contains another graph $H$ as a minor, referred to as the minor containment problem, is a fundamental problem in the field of graph algorithms. While it is NP-complete when $G$ and $H$ are…

Data Structures and Algorithms · Computer Science 2024-12-06 Tatsuya Gima , Soh Kumabe , Kazuhiro Kurita , Yuto Okada , Yota Otachi

A simple-triangle graph (also known as a PI graph) is the intersection graph of a family of triangles defined by a point on a horizontal line and an interval on another horizontal line. The recognition problem for simple-triangle graphs was…

Discrete Mathematics · Computer Science 2017-04-04 Asahi Takaoka

The goal of this work is to give precise bounds on the counting complexity of a family of generalized coloring problems (list homomorphisms) on bounded-treewidth graphs. Given graphs $G$, $H$, and lists $L(v)\subseteq V(H)$ for every $v\in…

Computational Complexity · Computer Science 2021-11-01 Jacob Focke , Dániel Marx , Paweł Rzążewski

The overlap graphs of subtrees in a tree (SOGs) generalise many other graphs classes with set representation characterisations. The complexity of recognising SOGs in open. The complexities of recognising many subclasses of SOGs are known.…

Computational Complexity · Computer Science 2022-02-04 Jessica Enright , Martin Pergel