Karel Král 0002

dblp:84/8440-2 · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
2since 2021 · last 2021
0000-0002-6557-9354ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 2 since 2021Security and privacy · 2
YearPublicationVenuePosition
2021 Data Structures Lower Bounds and Popular Conjectures
abstract
In this paper, we investigate the relative power of several conjectures that attracted recently lot of interest. We establish a connection between the Network Coding Conjecture (NCC) of Li and Li and several data structure like problems such as non-adaptive function inversion of Hellman and the well-studied problem of polynomial evaluation and interpolation. In turn these data structure problems imply super-linear circuit lower bounds for explicit functions such as integer sorting and multi-point polynomial evaluation.
Pavel Dvorák, Michal Koucký 0001, Karel Král 0002, Veronika Slívová
ESA3
2021 Sorting Short Integers
abstract
We build boolean circuits of size $O(nm^2)$ and depth $O(\log(n) + m \log(m))$ for sorting $n$ integers each of $m$-bits. We build also circuits that sort $n$ integers each of $m$-bits according to their first $k$ bits that are of size $O(nmk(1 + \log^*(n) - \log^*(m)))$ and depth $O(\log^{3}(n))$. This improves on the result of Asharov et al. arXiv:2010.09884 and resolves some of their open questions.
Michal Koucký 0001, Karel Král 0002
ICALP2
2020 On Average-Case Hardness in TFNP from One-Way Functions
Pavel Hubácek, Chethan Kamath, Karel Král 0002, Veronika Slívová
TCC (3)3
2019 Stronger Lower Bounds for Online ORAM
Pavel Hubácek, Michal Koucký 0001, Karel Král 0002, Veronika Slívová
TCC (2)3
2018 ARRIVAL: Next Stop in CLS
Bernd Gärtner, Thomas Dueholm Hansen, Pavel Hubácek, Karel Král 0002, Hagar Mosaad, Veronika Slívová
ICALP4