Parameterized Fine-Grained Reductions

02/14/2019
by   Elli Anastasiadi, et al.
0

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 fine-grained reductions, which correlate the exact complexities of problems such that improvements in their running times or hardness results are carried over. We provide a parameterized viewpoint of these reductions (PFGR) in order to further analyze the structure of improvable problems and set the foundations of a unified methodology for extending algorithmic results. In this context, we define a class of problems (FPI) that admit fixed-parameter improvements on their running time. As an application of this framework we present a truly sub-quadratic fixed-parameter algorithm for the orthogonal vectors problem. Finally, we provide a circuit characterization for FPI to further solidify the notion of improvement.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/01/2019

Parameterized Distributed Complexity Theory: A logical approach

Parameterized complexity theory offers a framework for a refined analysi...
research
05/07/2018

Fine-grained Complexity Meets IP = PSPACE

In this paper we study the fine-grained complexity of finding exact and ...
research
05/16/2022

Polynomial formulations as a barrier for reduction-based hardness proofs

The Strong Exponential Time Hypothesis (SETH) asserts that for every ε>0...
research
08/19/2022

On computing Discretized Ricci curvatures of graphs: local algorithms and (localized) fine-grained reductions

Characterizing shapes of high-dimensional objects via Ricci curvatures p...
research
11/21/2017

Fine-Grained I/O Complexity via Reductions: New lower bounds, faster algorithms, and a time hierarchy

This paper initiates the study of I/O algorithms (minimizing cache misse...
research
07/04/2021

Fine-Grained Completeness for Optimization in P

We initiate the study of fine-grained completeness theorems for exact an...
research
09/26/2019

Complexity of Liveness in Parameterized Systems

We investigate the fine-grained complexity of liveness verification for ...

Please sign up or login with your details

Forgot password? Click here to reset