English
Related papers

Related papers: Dichotomy for tree-structured trigraph list homomo…

200 papers

The tree spanner problem for a graph $G$ is as follows: For a given integer $k$, is there a spanning tree $T$ of $G$ (called a tree $k$-spanner) such that the distance in $T$ between every pair of vertices is at most $k$ times their…

Combinatorics · Mathematics 2025-02-07 Lan Lin , Yixun Lin

We present approximation algorithms for the following NP-hard optimization problems related to bottleneck spanning trees in metric spaces. 1. The disjoint bottleneck spanning tree problem: Given $n$ pairs of points in a metric space, find…

Computational Geometry · Computer Science 2021-11-11 Ahmad Biniaz , Anil Maheshwari , Michiel Smid

We consider the NP-hard Tree Containment problem that has important applications in phylogenetics. The problem asks if a given leaf-labeled network contains a subdivision of a given leaf-labeled tree. We develop a fast algorithm for the…

Computational Complexity · Computer Science 2017-02-22 Mathias Weller

We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous…

Logic · Mathematics 2020-01-09 Samuel Coskey , Paul Ellis

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

In phylogenetics, evolution is traditionally represented in a tree-like manner. However, phylogenetic networks can be more appropriate for representing evolutionary events such as hybridization, horizontal gene transfer, and others. In…

Data Structures and Algorithms · Computer Science 2024-10-18 Manuel Lafond , Vincent Moulton

The family of graphs that can be constructed from isolated vertices by disjoint union and graph join operations are called cographs. These graphs can be represented in a tree-like representation termed parse tree or cotree. In this paper,…

Data Structures and Algorithms · Computer Science 2018-08-29 Kona Harshita , N. Sadagopan

Given a connected graph $G$ and a terminal set $R \subseteq V(G)$, {\em Steiner tree} asks for a tree that includes all of $R$ with at most $r$ edges for some integer $r \geq 0$. It is known from [ND12,Garey et. al \cite{steinernpc}] that…

Discrete Mathematics · Computer Science 2016-11-29 Madhu Illuri , P. Renjith , N. Sadagopan

A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh…

Data Structures and Algorithms · Computer Science 2024-12-24 Tesshu Hanaka , Yasuaki Kobayashi , Kazuhiro Kurita , Yasuko Matsui , Atsuki Nagao , Hirotaka Ono , Kazuhisa Seto

Lov\'asz (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number…

Combinatorics · Mathematics 2025-03-13 Martin Grohe , Gaurav Rattan , Tim Seppelt

In a graph, a matching cut is an edge cut that is a matching. Matching Cut is the problem of deciding whether or not a given graph has a matching cut, which is known to be NP-complete even when restricted to bipartite graphs. It has been…

Computational Complexity · Computer Science 2018-10-29 Hoang-Oanh Le , Van Bang Le

Many important combinatorial problems can be modeled as constraint satisfaction problems. Hence identifying polynomial-time solvable classes of constraint satisfaction problems has received a lot of attention. In this paper, we are…

Data Structures and Algorithms · Computer Science 2017-11-15 Martin Grohe , Dániel Marx

We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star…

Combinatorics · Mathematics 2020-02-26 Jungho Ahn , Lars Jaffke , O-joung Kwon , Paloma T. Lima

A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…

Discrete Mathematics · Computer Science 2022-03-01 Deniz Ağaoğlu Çağırıcı , Petr Hliněný

We consider two decomposition problems in directed graphs. We say that a digraph is $k$-bounded for some $k \in \mathbb{Z}_{\geq 1}$ if each of its connected components contains at most $k$ arcs. For the first problem, a directed linear…

Combinatorics · Mathematics 2024-09-06 Florian Hörsch , Lucas Picasarri-Arrieta

Given two messages - as linear sequences of letters, it is immediate to determine whether one can be transformed into the other by simple substitution cipher of the letters. On the other hand, if the letters are carried as labels on nodes…

Discrete Mathematics · Computer Science 2022-04-14 Florian Ingels , Romain Azaïs

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable when the model-complete core of the template…

Logic in Computer Science · Computer Science 2020-07-22 Manuel Bodirsky , Antoine Mottet , Miroslav Olšák , Jakub Opršal , Michael Pinsker , Ross Willard

We study the complexity and expressive power of conjunctive queries over unranked labeled trees represented using a variety of structure relations such as ``child'', ``descendant'', and ``following'' as well as unary relations for node…

Databases · Computer Science 2007-05-23 Georg Gottlob , Christoph Koch , Klaus U. Schulz

The problem of extending partial geometric graph representations such as plane graphs has received considerable attention in recent years. In particular, given a graph $G$, a connected subgraph $H$ of $G$ and a drawing $\mathcal{H}$ of $H$,…

Computational Geometry · Computer Science 2020-07-13 Eduard Eiben , Robert Ganian , Thekla Hamm , Fabian Klute , Martin Nöllenburg