On problems as hard as CNF-SAT

M Cygan, H Dell, D Lokshtanov, D Marx… - ACM Transactions on …, 2016 - dl.acm.org
The field of exact exponential time algorithms for non-deterministic polynomial-time hard
problems has thrived since the mid-2000s. While exhaustive search remains asymptotically …

Homomorphisms are a good basis for counting small subgraphs

R Curticapean, H Dell, D Marx - Proceedings of the 49th Annual ACM …, 2017 - dl.acm.org
We introduce graph motif parameters, a class of graph parameters that depend only on the
frequencies of constant-size induced subgraphs. Classical works by Lovász show that many …

How many qubits are needed for quantum computational supremacy?

AM Dalzell, AW Harrow, DE Koh, RL La Placa - Quantum, 2020 - quantum-journal.org
Quantum computational supremacy arguments, which describe a way for a quantum
computer to perform a task that cannot also be done by a classical computer, typically …

Computational-statistical gap in reinforcement learning

D Kane, S Liu, S Lovett… - Conference on Learning …, 2022 - proceedings.mlr.press
Reinforcement learning with function approximation has recently achieved tremendous
results in applications with large state spaces. This empirical success has motivated a …

Exponential hardness of reinforcement learning with linear function approximation

S Liu, G Mahajan, D Kane, S Lovett… - The Thirty Sixth …, 2023 - proceedings.mlr.press
A fundamental question in reinforcement learning theory is: suppose the optimal value
functions are linear in given features, can we learn them efficiently? This problem's …

Average-case fine-grained hardness

M Ball, A Rosen, M Sabin, PN Vasudevan - Proceedings of the 49th …, 2017 - dl.acm.org
We present functions that can be computed in some fixed polynomial time but are hard on
average for any algorithm that runs in slightly smaller time, assuming widely-conjectured …

Anticoncentration theorems for schemes showing a quantum speedup

D Hangleiter, J Bermejo-Vega, M Schwarz, J Eisert - Quantum, 2018 - quantum-journal.org
One of the main milestones in quantum information science is to realise quantum devices
that exhibit an exponential computational advantage over classical ones without being …

[PDF][PDF] Self-Improvement for Circuit-Analysis Problems

RR Williams - Proceedings of the 56th Annual ACM Symposium on …, 2024 - dl.acm.org
Many results in fine-grained complexity reveal intriguing consequences from solving various
SAT problems even slightly faster than exhaustive search. We prove a “self-improving”(or …

Review of medical image retrieval systems and future directions

P Ghosh, S Antani, LR Long… - 2011 24th International …, 2011 - ieeexplore.ieee.org
This paper presents a review of online systems for content-based medical image retrieval
(CBIR). The objective of this review is to evaluate the capabilities and gaps in these systems …

Degrees and gaps: Tight complexity results of general factor problems parameterized by treewidth and cutwidth

D Marx, GS Sankar, P Schepper - arXiv preprint arXiv:2105.08980, 2021 - arxiv.org
For the General Factor problem we are given an undirected graph $ G $ and for each vertex
$ v\in V (G) $ a finite set $ B_v $ of non-negative integers. The task is to decide if there is a …