7 research outputs found
Determinantal Sieving
We introduce determinantal sieving, a new, remarkably powerful tool in the
toolbox of algebraic FPT algorithms. Given a polynomial on a set of
variables and a linear matroid of
rank , both over a field of characteristic 2, in
evaluations we can sieve for those terms in the monomial expansion of which
are multilinear and whose support is a basis for . Alternatively, using
evaluations of we can sieve for those monomials whose odd support
spans . Applying this framework, we improve on a range of algebraic FPT
algorithms, such as:
1. Solving -Matroid Intersection in time and -Matroid
Parity in time , improving on (Brand and Pratt,
ICALP 2021)
2. -Cycle, Colourful -Path, Colourful -Linkage in undirected
graphs, and the more general Rank -Linkage problem, all in
time, improving on respectively (Fomin et al., SODA 2023)
3. Many instances of the Diverse X paradigm, finding a collection of
solutions to a problem with a minimum mutual distance of in time
, improving solutions for -Distinct Branchings from time
to (Bang-Jensen et al., ESA 2021), and for Diverse
Perfect Matchings from to (Fomin et al.,
STACS 2021)
All matroids are assumed to be represented over a field of characteristic 2.
Over general fields, we achieve similar results at the cost of using
exponential space by working over the exterior algebra. For a class of
arithmetic circuits we call strongly monotone, this is even achieved without
any loss of running time. However, the odd support sieving result appears to be
specific to working over characteristic 2
Paths and walks, forests and planes : arcadian algorithms and complexity
This dissertation is concerned with new results in the area of parameterized algorithms and complexity. We develop a new technique for hard graph problems that generalizes and unifies established methods such as Color-Coding, representative families, labelled walks and algebraic fingerprinting. At the heart of the approach lies an algebraic formulation of the problems, which is effected by means of a suitable exterior algebra. This allows us to estimate the number of simple paths of given length in directed graphs faster than before. Additionally, we give fast deterministic algorithms for finding paths of given length if the input graph contains only few of such paths. Moreover, we develop faster deterministic algorithms to find spanning trees with few leaves. We also consider the algebraic foundations of our new method. Additionally, we investigate the fine-grained complexity of determining the precise number of forests with a given number of edges in a given undirected graph. To wit, this happens in two ways. Firstly, we complete the complexity classification of the Tutte plane, assuming the exponential time hypothesis. Secondly, we prove that counting forests with a given number of edges is at least as hard as counting cliques of a given size.Diese Dissertation befasst sich mit neuen Ergebnissen auf dem Gebiet parametrisierter Algorithmen und KomplexitĂ€tstheorie. Wir entwickeln eine neue Technik fĂŒr schwere Graphprobleme, die etablierte Methoden wie Color-Coding, representative families, labelled walks oder algebraic fingerprinting verallgemeinert und vereinheitlicht. Kern der Herangehensweise ist eine algebraische Formulierung der Probleme, die vermittels passender GraĂmannalgebren geschieht. Das erlaubt uns, die Anzahl einfacher Pfade gegebener LĂ€nge in gerichteten Graphen schneller als bisher zu schĂ€tzen. AuĂerdem geben wir schnelle deterministische Verfahren an, Pfade gegebener LĂ€nge zu finden, falls der Eingabegraph nur wenige solche Pfade enthĂ€lt. Ăbrigens entwickeln wir schnellere deterministische Algorithmen, um SpannbĂ€ume mit wenigen BlĂ€ttern zu finden. Wir studieren auĂerdem die algebraischen Grundlagen unserer neuen Methode. Weiters untersuchen wir die fine-grained-KomplexitĂ€t davon, die genaue Anzahl von WĂ€ldern einer gegebenen Kantenzahl in einem gegebenen ungerichteten Graphen zu bestimmen. Und zwar erfolgt das auf zwei verschiedene Arten. Erstens vervollstĂ€ndigen wir die KomplexitĂ€tsklassifizierung der Tutte-Ebene unter Annahme der Expo- nentialzeithypothese. Zweitens beweisen wir, dass WĂ€lder mit gegebener Kantenzahl zu zĂ€hlen, wenigstens so schwer ist, wie Cliquen gegebener GröĂe zu zĂ€hlen.Cluster of Excellence (Multimodal Computing and Interaction