English
Related papers

Related papers: On the Parameterized Complexity of Synthesizing Bo…

200 papers

In this paper we study the problem of finding a small safe set $S$ in a graph $G$, i.e. a non-empty set of vertices such that no connected component of $G[S]$ is adjacent to a larger component in $G - S$. We enhance our understanding of the…

Computational Complexity · Computer Science 2019-02-01 Rémy Belmonte , Tesshu Hanaka , Ioannis Katsikarelis , Michael Lampis , Hirotaka Ono , Yota Otachi

We consider a renewal process \tau={\tau_0,\tau_1,...} on the integers, where the law of \tau_i-\tau_{i-1} has a power-like tail P(\tau_i-\tau_{i-1}=n)=n^{-(\alpha+1)}L(n) with \alpha\ge0 and L(.) slowly varying. We then assign a random,…

Mathematical Physics · Physics 2008-04-28 Fabio Lucio Toninelli

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

Data Structures and Algorithms · Computer Science 2015-03-19 Gregory Gutin , Eun Jung Kim , Arezou Soleimanfallah , Stefan Szeider , Anders Yeo

We study computational complexity of the class of distance-constrained graph labeling problems from the fixed parameter tractability point of view. The parameters studied are neighborhood diversity and clique width. We rephrase the distance…

Discrete Mathematics · Computer Science 2015-12-04 Jiří Fiala , Tomáš Gavenčiak , Dušan Knop , Martin Koutecký , Jan Kratochvíl

In a graph, a vertex dominates itself and its neighbors, and a dominating set is a set of vertices that together dominate the entire graph. Given a graph and two dominating sets of equal size $k$, the {\em Dominating Set Reconfiguration…

Discrete Mathematics · Computer Science 2025-07-16 Jona Dirks , Alexandre Vigny

We study the Steiner Tree problem, in which a set of terminal vertices needs to be connected in the cheapest possible way in an edge-weighted graph. This problem has been extensively studied from the viewpoint of approximation and also…

Data Structures and Algorithms · Computer Science 2026-02-19 Pavel Dvořák , Andreas Emil Feldmann , Dušan Knop , Tomáš Masařík , Tomáš Toufar , Pavel Veselý

Given a graph $G = (V, E)$, a signed Roman dominating function is a function $f: V \rightarrow \{-1, 1, 2\}$ such that for every vertex $u \in V$: $\sum_{v \in N[u]} f(v) \geq 1$ and for every vertex $u \in V$ with $f(u) = -1$, there exists…

Data Structures and Algorithms · Computer Science 2025-12-03 Sangam Balchandar Reddy

The problem of matching a query string to a directed graph, whose vertices are labeled by strings, has application in different fields, from data mining to computational biology. Several variants of the problem have been considered,…

Data Structures and Algorithms · Computer Science 2020-01-08 Riccardo Dondi , Giancarlo Mauri , Italo Zoppis

Bhawalkar, Kleinberg, Lewi, Roughgarden, and Sharma [ICALP 2012] introduced the Anchored k-Core problem, where the task is for a given graph G and integers b, k, and p to find an induced subgraph H with at least p vertices (the core) such…

Data Structures and Algorithms · Computer Science 2013-09-18 Rajesh Chitnis , Fedor V. Fomin , Petr A. Golovach

This paper revisits the classical Edge Disjoint Paths (EDP) problem, where one is given an undirected graph $G$ and a set of terminal pairs $P$ and asks whether $G$ contains a set of pairwise edge-disjoint paths connecting every terminal…

Data Structures and Algorithms · Computer Science 2018-08-13 Robert Ganian , Sebastian Ordyniak

For a phylogenetic tree, the phylogenetic diversity of a set A of taxa is the total weight of edges on paths to A. Finding small sets of maximal diversity is crucial for conservation planning, as it indicates where limited resources can be…

Data Structures and Algorithms · Computer Science 2025-10-29 Mark Jones , Jannik Schestag

A Boolean network (BN) with $n$ components is a discrete dynamical system described by the successive iterations of a function $f:\{0,1\}^n \to \{0,1\}^n$. This model finds applications in biology, where fixed points play a central role.…

Combinatorics · Mathematics 2022-02-10 Florian Bridoux , Amélia Durbec , Kévin Perrot , Adrien Richard

Bayes nets are extensively used in practice to efficiently represent joint probability distributions over a set of random variables and capture dependency relations. In a seminal paper, Chickering et al. (JMLR 2004) showed that given a…

Machine Learning · Computer Science 2024-08-06 Arnab Bhattacharyya , Davin Choo , Sutanu Gayen , Dimitrios Myrisiotis

Two decision problems related to the computation of stopping sets in Tanner graphs are shown to be NP-complete. NP-hardness of the problem of computing the stopping distance of a Tanner graph follows as a consequence

Information Theory · Computer Science 2008-07-21 K. Murali Krishnan , Priti Shankar

Generation of graphs constrained by a specified graph edit distance from a source graph is important in applications such as cheminformatics, network anomaly synthesis, and structured data augmentation. Despite the growing demand for such…

Machine Learning · Computer Science 2026-04-08 Mamoona Ghafoor , Tatsuya Akutsu

Many real-world networks exhibit correlations between the node degrees. For instance, in social networks nodes tend to connect to nodes of similar degree. Conversely, in biological and technological networks, high-degree nodes tend to be…

Discrete Mathematics · Computer Science 2015-09-30 Kevin E. Bassler , Charo I. Del Genio , Péter L. Erdős , István Miklós , Zoltán Toroczkai

We generalize the family of $(\sigma, \rho)$-problems and locally checkable vertex partition problems to their distance versions, which naturally captures well-known problems such as distance-$r$ dominating set and distance-$r$ independent…

Computational Complexity · Computer Science 2018-07-12 Lars Jaffke , O-joung Kwon , Torstein J. F. Strømme , Jan Arne Telle

We introduce a family of graph parameters, called induced multipartite graph parameters, and study their computational complexity. First, we consider the following decision problem: an instance is an induced multipartite graph parameter $p$…

Computational Complexity · Computer Science 2023-05-05 Ryan L. Mann , Luke Mathieson , Catherine Greenhill

In this paper we study the parameterized complexity of two well-known permutation group problems which are NP-complete. 1. Given a permutation group G=<S>, subgroup of $S_n$, and a parameter $k$, find a permutation $\pi$ in G such that…

Computational Complexity · Computer Science 2013-01-18 Vikraman Arvind

In the discrete Tempotron learning problem a neuron receives time varying inputs and for a set of such input sequences ($\mathcal S_-$ set) the neuron must be sub-threshold for all times while for some other sequences ($\mathcal S_+$ set)…

Neurons and Cognition · Quantitative Biology 2015-11-03 Konrad Paul Kording