English
Related papers

Related papers: Betweenness Parameterized Above Tight Lower Bound

200 papers

The question of the existence of a polynomial kernelization of the Vertex Cover Above LP problem has been a longstanding, notorious open problem in Parameterized Complexity. Five years ago, the breakthrough work by Kratsch and Wahlstrom on…

Data Structures and Algorithms · Computer Science 2017-05-11 Syed Mohammad Meesum , Fahad Panolan , Saket Saurabh , Meirav Zehavi

The input of the Test Cover problem consists of a set $V$ of vertices, and a collection ${\cal E}=\{E_1,..., E_m\}$ of distinct subsets of $V$, called tests. A test $E_q$ separates a pair $v_i,v_j$ of vertices if $|\{v_i,v_j\}\cap E_q|=1.$…

Computational Complexity · Computer Science 2012-04-20 G. Gutin , G. Muciaccia , A. Yeo

The parameterized complexity of problems is often studied with respect to the size of their optimal solutions. However, for a maximization problem, the size of the optimal solution can be very large, rendering algorithms parameterized by it…

Data Structures and Algorithms · Computer Science 2015-03-24 Meirav Zehavi

The problem of establishing out-of-sample bounds for the values of an unkonwn ground-truth function is considered. Kernels and their associated Hilbert spaces are the main formalism employed herein along with an observational model where…

Machine Learning · Computer Science 2022-09-13 Paul Scharnhorst , Emilio T. Maddalena , Yuning Jiang , Colin N. Jones

In a graph $G=(V,E)$, a bisection $(X,Y)$ is a partition of $V$ into sets $X$ and $Y$ such that $|X|\le |Y|\le |X|+1$. The size of $(X,Y)$ is the number of edges between $X$ and $Y$. In the Max Bisection problem we are given a graph…

Data Structures and Algorithms · Computer Science 2010-05-18 Gregory Gutin , Anders Yeo

A kernelization is an efficient algorithm that given an instance of a parameterized problem returns an equivalent instance of size bounded by some function of the input parameter value. It is quite well understood which problems do or…

Data Structures and Algorithms · Computer Science 2025-10-02 Leonid Antipov , Stefan Kratsch

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

Logic · Mathematics 2025-05-06 Martina Iannella , Alberto Marcone , Luca Motto Ros , Vadim Weinstein

In the Shortest Superstring problem we are given a set of strings $S=\{s_1, \ldots, s_n\}$ and integer $\ell$ and the question is to decide whether there is a superstring $s$ of length at most $\ell$ containing all strings of $S$ as…

Data Structures and Algorithms · Computer Science 2015-02-06 Ivan Bliznets , Fedor V. Fomin , Petr A. Golovach , Nikolay Karpov , Alexander S. Kulikov , Saket Saurabh

The field of kernelization studies polynomial-time preprocessing routines for hard problems in the framework of parameterized complexity. Although a framework for proving kernelization lower bounds has been discovered in 2008 and…

Data Structures and Algorithms · Computer Science 2011-11-03 Marek Cygan , Stefan Kratsch , Marcin Pilipczuk , Michał Pilipczuk , Magnus Wahlström

In this paper, we investigate the reconstruction of permutations on {1, 2, ..., n} from betweenness constraints involving the minimum and the maximum element located between t and t+1, for all t=1, 2, ..., n-1. We propose two variants of…

Data Structures and Algorithms · Computer Science 2014-12-15 Irena Rusu

The fundamental caching problem in networks asks to find an allocation of contents to a network of caches with the aim of maximizing the cache hit rate. Despite the problem's importance to a variety of research areas -- including not only…

Networking and Internet Architecture · Computer Science 2024-12-24 Robert Ganian , Fionn Mc Inerney , Dimitra Tsigkari

We introduce a new approach for establishing fixed-parameter tractability of problems parameterized above tight lower bounds. To illustrate the approach we consider three problems of this type of unknown complexity that were introduced by…

Data Structures and Algorithms · Computer Science 2009-08-18 G. Gutin , E. J. Kim , S. Szeider , A. Yeo

Betweenness is a well-known centrality measure that ranks the nodes of a network according to their participation in shortest paths. Since an exact computation is prohibitive in large networks, several approximation algorithms have been…

Data Structures and Algorithms · Computer Science 2015-10-28 Elisabetta Bergamini , Henning Meyerhenke

A parameterized problem consists of a classical problem and an additional component, the so-called parameter. This point of view allows a formal definition of preprocessing: Given a parameterized instance (I,k), a polynomial kernelization…

Computational Complexity · Computer Science 2009-10-26 Stefan Kratsch , Magnus Wahlstrom

We study the problem of list ranking in the parallel external memory (PEM) model. We observe an interesting dual nature for the hardness of the problem due to limited information exchange among the processors about the structure of the…

Data Structures and Algorithms · Computer Science 2014-09-08 Riko Jacob , Tobias Lieber , Nodari Sitchinava

Protein/Peptide microarrays are rapidly gaining momentum in the diagnosis of cancer. High-density and highthroughput peptide arrays are being extensively used to detect tumor biomarkers, examine kinase activity, identify antibodies having…

Data Structures and Algorithms · Computer Science 2015-03-13 Vamsi Kundeti , Sanguthevar Rajasekaran , Hieu Dinh

For a given set of intervals on the real line, we consider the problem of ordering the intervals with the goal of minimizing an objective function that depends on the exposed interval pieces (that is, the pieces that are not covered by…

Data Structures and Algorithms · Computer Science 2011-12-05 Christoph Dürr , Maurice Queyranne , Frits C. R. Spieksma , Fabrice Talla Nobibon , Gerhard J. Woeginger

We study the classic {\sc Dominating Set} problem with respect to several prominent parameters. Specifically, we present algorithmic results that sidestep time complexity barriers by the incorporation of either approximation or larger…

Data Structures and Algorithms · Computer Science 2023-09-28 Ioannis Koutis , Michał Włodarczyk , Meirav Zehavi

We study kernelization of classic hard graph problems when the input graphs fulfill triadic closure properties. More precisely, we consider the recently introduced parameters closure number $c$ and the weak closure number $\gamma$ [Fox et…

Data Structures and Algorithms · Computer Science 2021-03-09 Tomohiro Koana , Christian Komusiewicz , Frank Sommer

It is shown that the property of being bounded below (having closed range) of weighted composition operators on Hardy and Bergman spaces can be tested by their action on a set of simple test functions, including reproducing kernels. The…

Functional Analysis · Mathematics 2019-02-26 Isabelle Chalendar , Jonathan R. Partington