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.

Petr Chmel

dblp:355/4662 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2026
0000-0002-9131-1458ORCID · corroborated

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

Theory of computation · 2 · 2 first-author · 2 since 2021

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
1 paper
Algorithms and data structures · 50% Computational complexity · 33% Graph algorithms and graph theory · 17%

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

TopicWeightPapersLastEvidence papers
Computational complexity › space complexity
catalytic computation
1.012026
Frontier Space-Time Algorithms Using Only Full Memory · CCC 2026
Computational complexity › space complexity
directed st-connectivity
1.012026
Frontier Space-Time Algorithms Using Only Full Memory · CCC 2026
Algorithms and data structures › sequence algorithms › string algorithms
edit distance
1.012026
Frontier Space-Time Algorithms Using Only Full Memory · CCC 2026
Graph algorithms and graph theory
graph algorithms
1.012026
Frontier Space-Time Algorithms Using Only Full Memory · CCC 2026
Algorithms and data structures
sequence algorithms
1.012026
Frontier Space-Time Algorithms Using Only Full Memory · CCC 2026
Algorithms and data structures
space-efficient algorithms
1.012026
Frontier Space-Time Algorithms Using Only Full Memory · CCC 2026

Methods — techniques the papers use, named apart from their topics

sublinear space · 1.0catalytic algorithms · 1.0
YearPublicationVenuePosition
2026 Frontier Space-Time Algorithms Using Only Full Memory
abstract
We develop catalytic algorithms for fundamental problems in algorithm design that run in polynomial time, use only 𝒪(log(n)) workspace, and use sublinear catalytic space matching the best-known space bounds of non-catalytic algorithms running in polynomial time. First, we design a polynomial time algorithm for directed s-t connectivity using n / 2^{Θ(√{log n})} catalytic space, which matches the state-of-the-art time-space bounds in the non-catalytic setting [Barnes et al., 1998], and improves the catalytic space usage of the best known algorithm [James Cook and Edward Pyne, 2026]. Furthermore, using only 𝒪(log(n)) random bits we get a randomized algorithm whose running time nearly matches the fastest time bounds known for space-unrestricted algorithms. Second, we design polynomial time algorithms for the problems of computing Edit Distance, Longest Common Subsequence, and the Discrete Fréchet Distance, again using n / 2^{Θ(√{log n})} catalytic space. This again matches non-catalytic time-space frontier for Edit Distance and Least Common Subsequence [Kiyomi et al., 2021].
Petr Chmel, Aditi Dudeja, Michal Koucký 0001, Ian Mertz, Ninad Rajgopal
CCC1
2023 String Graphs with Precise Number of Intersections
Petr Chmel, Vít Jelínek
GD (1)1