English
Related papers

Related papers: On the Complexity of Various Parameterizations of …

200 papers

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is…

Computational Complexity · Computer Science 2019-10-02 Jan Dreier , Janosch Fuchs , Tim A. Hartmann , Philipp Kuinke , Peter Rossmanith , Bjoern Tauer , Hung-Lung Wang

We obtain an algorithmic meta-theorem for the following optimization problem. Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an integer. For a given graph G, the task is to maximize |X| subject to the following:…

Data Structures and Algorithms · Computer Science 2013-09-09 Fedor Fomin , Ioan Todinca , Yngve Villanger

We study the parameterized complexity of interdiction problems in graphs. For an optimization problem on graphs, one can formulate an interdiction problem as a game consisting of two players, namely, an interdictor and an evader, who…

Computational Complexity · Computer Science 2014-01-14 Jiong Guo , Yash Raj Shrestha

For graphs $G$ and $H$, a \emph{homomorphism} from $G$ to $H$ is an edge-preserving mapping from the vertex set of $G$ to the vertex set of $H$. For a fixed graph $H$, by \textsc{Hom($H$)} we denote the computational problem which asks…

Computational Complexity · Computer Science 2020-02-20 Karolina Okrasa , Paweł Rzążewski

A Graph of Convex Sets (GCS) is a graph in which vertices are associated with convex programs and edges couple pairs of programs through additional convex costs and constraints. Any optimization problem over an ordinary weighted graph…

Optimization and Control · Mathematics 2025-10-24 Tobia Marcucci

For a finite set $\mathcal{F}$ of graphs, the $\mathcal{F}$-Hitting problem aims to compute, for a given graph $G$ (taken from some graph class $\mathcal{G}$) of $n$ vertices (and $m$ edges) and a parameter $k\in\mathbb{N}$, a set $S$ of…

Data Structures and Algorithms · Computer Science 2025-02-19 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi

Given a set of leaf-labeled trees with identical leaf sets, the well-known "Maximum Agreement SubTree" problem (MAST) consists of finding a subtree homeomorphically included in all input trees and with the largest number of leaves. Its…

Computational Complexity · Computer Science 2008-07-10 Sylvain Guillemot , Francois Nicolas

Generally, a graph G, an independent set is a subset S of vertices in G such that no two vertices in S are adjacent (connected by an edge) and a vertex cover is a subset S of vertices such that each edge of G has at least one of its…

Data Structures and Algorithms · Computer Science 2009-09-02 Kamanashis Biswas , S. A. M. Harun

Grid graphs, and, more generally, $k\times r$ grid graphs, form one of the most basic classes of geometric graphs. Over the past few decades, a large body of works studied the (in)tractability of various computational problems on grid…

Data Structures and Algorithms · Computer Science 2021-07-01 Siddharth Gupta , Guy Sa'ar , Meirav Zehavi

A graph is CIS if every maximal clique interesects every maximal stable set. Currently, no good characterization or recognition algorithm for the CIS graphs is known. We characterize graphs in which every maximal matching saturates all…

Combinatorics · Mathematics 2018-12-14 Liliana Alcón , Marisa Gutierrez , Martin Milanič

The $H$-Coloring problem is a well-known generalization of the classical NP-complete problem $k$-Coloring where the task is to determine whether an input graph admits a homomorphism to the template graph $H$. This problem has been the…

Computational Complexity · Computer Science 2025-09-08 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$…

Computational Complexity · Computer Science 2014-07-11 Radu Curticapean , Dániel Marx

A theorem of Ding, Oporowski, Oxley, and Vertigan implies that any sufficiently large twin-free graph contains a large matching, a co-matching, or a half-graph as a semi-induced subgraph. The sizes of these unavoidable patterns are measured…

Computational Complexity · Computer Science 2026-02-10 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz

A prototypical graph problem is centered around a graph-theoretic property for a set of vertices and a solution to it is a set of vertices for which the desired property holds. The task is to decide whether, in the given graph, there exists…

Computational Complexity · Computer Science 2020-06-11 Dušan Knop , Tomáš Masařík , Tomáš Toufar

Subgraph isomorphism is a well-known NP-hard problem that is widely used in many applications, such as social network analysis and query over the knowledge graph. Due to the inherent hardness, its performance is often a bottleneck in…

Databases · Computer Science 2021-04-21 Li Zeng , Lei Zou , M. Tamer Özsu , Lin Hu , Fan Zhang

We consider the well-studied problem of finding a spanning tree with minimum average distance between vertex pairs (called a MAD tree). This is a classic network design problem which is known to be NP-hard. While approximation algorithms…

Data Structures and Algorithms · Computer Science 2026-04-01 Tom-Lukas Breitkopf , Vincent Froese , Anton Herrmann , André Nichterlein , Camille Richer

In a simple, undirected graph G, an edge 2-coloring is a coloring of the edges such that no vertex is incident to edges with more than 2 distinct colors. The problem maximum edge 2-coloring (ME2C) is to find an edge 2-coloring in a graph G…

Discrete Mathematics · Computer Science 2025-05-07 Tobias Mömke , Alexandru Popa , Aida Roshany-Tabrizi , Michael Ruderer , Roland Vincze

The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges.…

Data Structures and Algorithms · Computer Science 2025-10-29 Clément Dallard , Maël Dumas , Claire Hilaire , Anthony Perez

In an undirected graph $G=(V,E)$, we say $(A,B)$ is a pair of perfectly matched sets if $A$ and $B$ are disjoint subsets of $V$ and every vertex in $A$ (resp. $B$) has exactly one neighbor in $B$ (resp. $A$). The size of a pair of perfectly…

Discrete Mathematics · Computer Science 2022-11-08 N. R. Aravind , Roopam Saxena

In this work, we study the problem of computing a maximum common contraction of two vertex-labeled graphs, i.e. how to make them identical by contracting as little edges as possible in the two graphs. We study the problem from a…

Data Structures and Algorithms · Computer Science 2025-07-01 Manuel Lafond , Bertrand Marchand