Challenges and opportunities in quantum optimization

A Abbas, A Ambainis, B Augustino, A Bärtschi… - Nature Reviews …, 2024 - nature.com
Quantum computers have demonstrable ability to solve problems at a scale beyond brute-
force classical simulation. Interest in quantum algorithms has developed in many areas …

Parameterizing above guaranteed values: MaxSat and MaxCut

M Mahajan, V Raman - Journal of Algorithms, 1999 - Elsevier
In this paper we investigate the parameterized complexity of the problems MaxSat and
MaxCut using the framework developed by Downey and Fellows. LetGbe an arbitrary graph …

[PDF][PDF] Parameterized complexity: A framework for systematically confronting computational intractability

RG Downey, MR Fellows, U Stege - Contemporary Trends in …, 1997 - researchgate.net
In this paper we give a programmatic overview of parameterized computational complexity
in the broad context of the problem of co** with computational intractability. We give some …

[PDF][PDF] Bidimensionality: new connections between FPT algorithms and PTASs.

ED Demaine, MT Hajiaghayi - SODA, 2005 - erikdemaine.org
We demonstrate a new connection between fixed-parameter tractability and approximation
algorithms for combinatorial optimization problems on planar graphs and their …

Fixed-parameter tractability, definability, and model-checking

J Flum, M Grohe - SIAM Journal on Computing, 2001 - SIAM
In this article, we study parameterized complexity theory from the perspective of logic, or
more specifically, descriptive complexity theory. We propose to consider parameterized …