Hannes Seiwert

dblp:217/0184 · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
2since 2021 · last 2022
0000-0002-2293-6542ORCID · corroborated

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

Theory of computation · 5 · 2 since 2021Databases, data management, data science and information retrieval · 2
YearPublicationVenuePosition
2022 Regular expression length via arithmetic formula complexity
Ehud Cseresnyes, Hannes Seiwert
J. Comput. Syst. Sci.2
2021 Tropical Kirchhoff's formula and postoptimality in matroid optimization
Stasys Jukna, Hannes Seiwert
Discret. Appl. Math.2
2020 Sorting can exponentially speed up pure dynamic programming
Stasys Jukna, Hannes Seiwert
Inf. Process. Lett.2
2020 Approximation Limitations of Pure Dynamic Programming
abstract
We prove the first, even superpolynomial, lower bounds on the size of tropical (min,+) and (max,+) circuits approximating given optimization problems. Many classical dynamic programming (DP) algorithms for optimization problems are pure in that they only use the basic $\min$, $\max$, $+$ operations in their recursion equations. Tropical circuits constitute a rigorous mathematical model for this class of algorithms. An algorithmic consequence of our lower bounds for tropical circuits is that the approximation powers of pure DP algorithms and greedy algorithms are incomparable. That pure DP algorithms can hardly beat greedy in approximation is long known. New in this consequence is that the converse also holds.
Stasys Jukna, Hannes Seiwert
SIAM J. Comput.2
2019 Greedy can beat pure dynamic programming
Stasys Jukna, Hannes Seiwert
Inf. Process. Lett.2