Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

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

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Computational complexity · 67% Algorithms and data structures · 33%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity › circuit complexity
boolean circuits
0.512021
Sorting Short Integers · ICALP 2021
Computational complexity
circuit complexity
0.512021
Sorting Short Integers · ICALP 2021
Algorithms and data structures › sequence algorithms
sorting
0.512021
Sorting Short Integers · ICALP 2021
Computational complexity › complexity classes › TFNP
CLS
0.312018
ARRIVAL: Next Stop in CLS · ICALP 2018
Computational complexity
complexity classes
0.312018
ARRIVAL: Next Stop in CLS · ICALP 2018
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