English
Related papers

Related papers: A Parameterized Algorithm for Testing whether the …

200 papers

Parameterized algorithms are a way to solve hard problems more efficiently, given that a specific parameter of the input is small. In this paper, we apply this idea to the field of answer set programming (ASP). To this end, we propose two…

Logic in Computer Science · Computer Science 2017-02-10 Johannes Fichte , Markus Hecher , Michael Morak , Stefan Woltran

Let $G$ be a graph such that each vertex has its list of available colors, and assume that each list is a subset of the common set consisting of $k$ colors. For two given list colorings of $G$, we study the problem of transforming one into…

Data Structures and Algorithms · Computer Science 2017-05-23 Tatsuhiko Hatanaka , Takehiro Ito , Xiao Zhou

Given a family $\mathcal{F}$ of graphs, a graph is \emph{$\mathcal{F}$-subgraph-free} if it has no subgraph isomorphic to a member of $\mathcal{F}$. We present a fixed-parameter linear-time algorithm that decides whether a planar graph can…

Discrete Mathematics · Computer Science 2025-10-20 Shinwoo An , Seonghyuk Im , Seokbeom Kim , Myounghwan Lee

In the d-Euclidean Distance Matrix Completion (d-EDMC) problem, one aims to determine whether a given partial matrix of pairwise distances can be extended to a full Euclidean distance matrix in d dimensions. This problem is a cornerstone of…

Data Structures and Algorithms · Computer Science 2026-03-23 Fedor V. Fomin , Petr A. Golovach , M. S. Ramanujan , Saket Saurabh

This paper introduces the \emph{$d$-distance matching problem}, in which we are given a bipartite graph $G=(S,T;E)$ with $S=\{s_1,\dots,s_n\}$, a weight function on the edges and an integer $d\in\mathbb Z_+$. The goal is to find a maximum…

Combinatorics · Mathematics 2023-01-24 Péter Madarasi

Given a dominating set, how much smaller a dominating set can we find through elementary operations? Here, we proceed by iterative vertex addition and removal while maintaining the property that the set forms a dominating set of bounded…

Discrete Mathematics · Computer Science 2020-05-06 Alexandre Blanché , Haruka Mizuta , Paul Ouvrard , Akira Suzuki

A graph is $d$-orientable if its edges can be oriented so that the maximum in-degree of the resulting digraph is at most $d$. $d$-orientability is a well-studied concept with close connections to fundamental graph-theoretic notions and…

Computational Complexity · Computer Science 2020-01-28 Tesshu Hanaka , Ioannis Katsikarelis , Michael Lampis , Yota Otachi , Florian Sikora

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

A graph G is called "minimalizable" if a diagram with minimal crossing number can be obtained from an arbitrary diagram of G by crossing changes. If, furthermore, the minimal diagram is unique up to crossing changes then G is called…

Geometric Topology · Mathematics 2007-05-23 J. Sawollek

The classic upper bound on the chromatic number of $d$-degenerate graphs is $d+1$, shown to be tight by complete graphs. A natural question is whether this bound remains tight if one forbids large cliques. Classic constructions of Tutte and…

Combinatorics · Mathematics 2026-01-22 Domagoj Bradač , Jacob Fox , Raphael Steiner , Benny Sudakov , Shengtong Zhang

We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…

Logic in Computer Science · Computer Science 2023-06-22 Khadijeh Keshvardoost , Bartek Klin , Sławomir Lasota , Joanna Ochremiak , Szymon Toruńczyk

The problem of continuation of a partially defined metric can be efficiently studied using graph theory. Let $G=G(V,E)$ be an undirected graph with the set of vertices $V$ and the set of edges $E$. A necessary and sufficient condition under…

General Topology · Mathematics 2025-01-06 Evgeniy Petrov

Given a connected graph $G=(V(G), E(G))$, the length of a shortest path from a vertex $u$ to a vertex $v$ is denoted by $d(u,v)$. For a proper subset $W$ of $V(G)$, let $m(W)$ be the maximum value of $d(u,v)$ as $u$ ranging over $W$ and $v$…

Combinatorics · Mathematics 2021-01-11 Min Feng , Xuanlong Ma , Huiling Xu

We revisit two well-studied problems, Bounded Degree Vertex Deletion and Defective Coloring, where the input is a graph $G$ and a target degree $\Delta$ and we are asked either to edit or partition the graph so that the maximum degree…

Data Structures and Algorithms · Computer Science 2024-05-07 Michael Lampis , Manolis Vasilakis

In a finite undirected graph $G=(V,E)$, a vertex $v \in V$ {\em dominates} itself and its neighbors. A vertex set $D \subseteq V$ in $G$ is an {\em efficient dominating set} ({\em e.d.} for short) of $G$ if every vertex of $G$ is dominated…

Discrete Mathematics · Computer Science 2015-07-27 Andreas Brandstadt

Theoretical analyses for graph learning methods often assume a complete observation of the input graph. Such an assumption might not be useful for handling any-size graphs due to the scalability issues in practice. In this work, we develop…

Machine Learning · Computer Science 2021-11-08 Takanori Maehara , Hoang NT

Let P_{n,d,D} denote the graph taken uniformly at random from the set of all labelled planar graphs on {1,2,...,n} with minimum degree at least d(n) and maximum degree at most D(n). We use counting arguments to investigate the probability…

Combinatorics · Mathematics 2011-01-28 Chris Dowden

In the Exact Matching Problem (EM), we are given a graph equipped with a fixed coloring of its edges with two colors (red and blue), as well as a positive integer $k$. The task is then to decide whether the given graph contains a perfect…

Data Structures and Algorithms · Computer Science 2022-07-14 Nicolas El Maalouly , Raphael Steiner

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

We design a randomized data structure that, for a fully dynamic graph $G$ updated by edge insertions and deletions and integers $k, d$ fixed upon initialization, maintains the answer to the Split Completion problem: whether one can add $k$…

Data Structures and Algorithms · Computer Science 2024-02-15 Konrad Majewski , Michał Pilipczuk , Anna Zych-Pawlewicz