Non-black-box worst-case to average-case reductions within NP

S Hirahara - 2018 IEEE 59th Annual Symposium on …, 2018 - ieeexplore.ieee.org
There are significant obstacles to establishing an equivalence between the worst-case and
average-case hardness of NP: Several results suggest that black-box worst-case to …

[PDF][PDF] NP-hardness of circuit minimization for multi-output functions

R Ilango, B Loff… - CCC'20: Proceedings of …, 2020 - wrap.warwick.ac.uk
Can we design efficient algorithms for finding fast algorithms? This question is captured by
various circuit minimization problems, and algorithms for the corresponding tasks have …

New insights on the (non-) hardness of circuit minimization and related problems

E Allender, S Hirahara - ACM Transactions on Computation Theory …, 2019 - dl.acm.org
The Minimum Circuit Size Problem (MCSP) and a related problem (MKTP) that deal with
time-bounded Kolmogorov complexity are prominent candidates for NP-intermediate status …

On worst-case learning in relativized heuristica

S Hirahara, M Nanashima - 2021 IEEE 62nd Annual …, 2022 - ieeexplore.ieee.org
A PAC learning model involves two worst-case requirements: a learner must learn all
functions in a class on all example distributions. However, basing the hardness of learning …

[PDF][PDF] Symmetry of information from meta-complexity

S Hirahara - 37th Computational Complexity Conference (CCC …, 2022 - drops.dagstuhl.de
Symmetry of information for time-bounded Kolmogorov complexity is a hypothetical
inequality that relates time-bounded Kolmogorov complexity and its conditional analogue. In …

NP-Hardness of Approximating Meta-Complexity: A Cryptographic Approach

Y Huang, R Ilango, H Ren - Proceedings of the 55th Annual ACM …, 2023 - dl.acm.org
It is a long-standing open problem whether the Minimum Circuit Size Problem (MCSP) and
related meta-complexity problems are NP-complete. Even for the rare cases where the NP …

Kolmogorov complexity characterizes statistical zero knowledge

E Allender, S Hirahara, H Tirumala - 14th Innovations in …, 2023 - drops.dagstuhl.de
We show that a decidable promise problem has a non-interactive statistical zero-knowledge
proof system if and only if it is randomly reducible via an honest polynomial-time reduction to …

An improved isomorphism test for bounded-tree-width graphs

M Grohe, D Neuen, P Schweitzer… - ACM Transactions on …, 2020 - dl.acm.org
We give a new FPT algorithm testing isomorphism of n-vertex graphs of tree-width k in time 2
kpolylog (k) n3, improving the FPT algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and …

[PDF][PDF] Vaughan Jones, Kolmogorov complexity, and the new complexity landscape around circuit minimization

E Allender - New Zealand journal of mathematics, 2021 - nzjmath.org
VAUGHAN JONES, KOLMOGOROV COMPLEXITY, AND THE NEW COMPLEXITY LANDSCAPE
AROUND CIRCUIT MINIMIZATION Eric Allender 1. Introduction Page 1 NEW ZEALAND …

The new complexity landscape around circuit minimization

E Allender - International Conference on Language and Automata …, 2020 - Springer
The New Complexity Landscape Around Circuit Minimization | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …