English
Related papers

Related papers: Chain minors are FPT

200 papers

This thesis concerns the relationship between bounded and controlled topology and how these can be used to recognise which homotopy equivalences of reasonable topological spaces are homotopic to homeomorphisms. Let $f:X\to Y$ be a…

Algebraic Topology · Mathematics 2013-11-15 Spiros Adams-Florou

We look at a graph property called reducibility which is closely related to a condition developed by Brown to evaluate Feynman integrals. We show for graphs with a fixed number of external momenta, that reducibility with respect to both…

Mathematical Physics · Physics 2017-08-29 Benjamin Moore , Karen Yeats

The extension of persistent homology to multi-parameter setups is an algorithmic challenge. Since most computation tasks scale badly with the size of the input complex, an important pre-processing step consists of simplifying the input…

Algebraic Topology · Mathematics 2019-03-19 Ulderico Fugacci , Michael Kerber

The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and…

Data Structures and Algorithms · Computer Science 2016-02-09 Rémy Belmonte , Fedor V. Fomin , Petr A. Golovach , M. S. Ramanujan

During recent years the field of fine-grained complexity has bloomed to produce a plethora of results, with both applied and theoretical impact on the computer science community. The cornerstone of the framework is the notion of…

Computational Complexity · Computer Science 2019-02-15 Elli Anastasiadi , Antonis Antonopoulos , Aris Pagourtzis , Stavros Petsalakis

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting…

Data Structures and Algorithms · Computer Science 2015-07-27 Bart M. P. Jansen

In this paper, we show that a small minimal k-blocking set in PG(n, q3), q = p^h, h >= 1, p prime, p >=7, intersecting every (n-k)-space in 1 (mod q) points, is linear. As a corollary, this result shows that all small minimal k-blocking…

Combinatorics · Mathematics 2012-01-17 Michel Lavrauw , Leo Storme , Geertrui Van de Voorde

We prove (without using Federer's structure theorem) that a finite-mass flat chain over any coefficient group is rectifiable if and only if almost all of its 0-dimensional slices are rectifiable. This implies that every flat chain of finite…

Classical Analysis and ODEs · Mathematics 2016-09-07 Brian White

According to Kearnes and Oman (2013), an ordered set $P$ is \emph{J\'onsson} if it is infinite and the cardinality of every proper initial segment of $P$ is strictly less than the cardinaliy of $P$. We examine the structure of J\'onsson…

Logic · Mathematics 2017-12-29 Roland Assous , Maurice Pouzet

An on-line chain partitioning algorithm receives the points of the poset from some externally determined list. Being presented with a new point the algorithm learns the comparability status of this new point to all previously presented…

Data Structures and Algorithms · Computer Science 2018-04-06 Bartłomiej Bosek

We present a general method for introducing finitely axiomatizable "minimal" two-sorted theories for various subclasses of P (problems solvable in polynomial time). The two sorts are natural numbers and finite sets of natural numbers. The…

Logic in Computer Science · Computer Science 2017-01-11 Phuong Nguyen , Stephen Cook

Complexity theory as practiced by physicists and computational complexity theory as practiced by computer scientists both characterize how difficult it is to solve complex problems. Here it is shown that the parameters of a specific model…

Disordered Systems and Neural Networks · Physics 2013-05-29 S. N. Coppersmith

The problem of finding and characterizing minimal sets of dequantizers and quantizers applied in the mapping of operators onto functions is considered, for finite-dimensional quantum systems. The general properties of such sets are…

Quantum Physics · Physics 2018-09-26 P. Adam , V. A. Andreev , A. Isar , M. A. Man'ko , V. I. Man'ko

In a large-scale network, we want to choose some influential nodes to make a profit by paying some cost within a limited budget so that we do not have to spend more budget on some nodes adjacent to the chosen nodes; our problem is the…

Data Structures and Algorithms · Computer Science 2026-01-30 Sipra Singh

We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized…

Computational Complexity · Computer Science 2018-07-18 Ralph Christian Bottesch

A quantum circuit must be preprocessed before implementing on NISQ devices due to the connectivity constraint. Quantum circuit mapping (QCM) transforms the circuit into an equivalent one that is compliant with the NISQ device's architecture…

Quantum Physics · Physics 2022-07-19 Pengcheng Zhu , Shenggen Zheng , Lihua Wei , Xueyun Cheng , Zhijin Guan , Shiguang Feng

A set $D$ of vertices of a graph is a \emph{defensive alliance} if, for each element of $D$, the majority of its neighbours are in $D$. We consider the notion of local minimality in this paper. We are interested in finding a locally minimal…

Data Structures and Algorithms · Computer Science 2023-03-05 Ajinkya Gaikwad , Soumen Maity , Saket Saurabh

Let $(P_n)_n$ and $(Q_n)_n$ be two sequences of monic polynomials linked by a type structure relation such as $$ Q_{n}(x)+r_nQ_{n-1}(x)=P_{n}(x)+s_nP_{n-1}(x)+t_nP_{n-2}(x)\;, $$ where $(r_n)_n$, $(s_n)_n$ and $(t_n)_n$ are sequences of…

Classical Analysis and ODEs · Mathematics 2012-12-19 M. Alfaro , A. Peña , J. Petronilho , M. L. Rezola

A graph $G$ contains a graph $H$ as a pivot-minor if $H$ can be obtained from $G$ by applying a sequence of vertex deletions and edge pivots. Pivot-minors play an important role in the study of rank-width. Pivot-minors have mainly been…

Given a weighted, ordered query set $Q$ and a partition of $Q$ into classes, we study the problem of computing a minimum-cost decision tree that, given any query $q$ in $Q$, uses equality tests and less-than comparisons to determine the…

Data Structures and Algorithms · Computer Science 2025-01-28 Marek Chrobak , Neal E. Young