Silvan Horvath

dblp:314/5454 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
0000-0003-2629-5719ORCID · corroborated

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

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2026 A unique Q-point and infinitely many near-coherence classes of ultrafilters
abstract
We show that in the model obtained by iteratively pseudo-intersecting a Ramsey ultrafilter via a length- ω 2 countable support iteration of restricted Mathias forcing over a ground model satisfying CH , there is a unique Q -point up to isomorphism. In particular, it is consistent that there is only one Q -point while there are 2 c -many near-coherence classes of ultrafilters.
Lorenz Halbeisen, Silvan Horvath, Saharon Shelah
Ann. Pure Appl. Log.2
2024 Priority algorithms with advice for disjoint path allocation problems
abstract
We analyze the Disjoint Path Allocation problem (DPA) in the priority framework. Motivated by the problem of traffic regulation in communication networks, DPA consists of allocating edge-disjoint paths in a graph. Like an online algorithm, a priority algorithm receives its input sequentially and must output irrevocable decisions for individual input items before having seen the entire input. However, in contrast to the online setting, a priority algorithm may choose an order on the set of all possible input items and the actual input is then presented according to this order. A priority algorithm is thus a natural model for the intuitively well-understood concept of a greedy algorithm . Mainly motivated by their application for proving lower bounds, we also consider priority algorithms with advice, thus measuring the necessary amount of information about the yet unknown parts of the input. Besides considering the classical variant of the DPA problem on paths and the related problem of Length-Weighted DPA, we mainly focus on DPA on trees . We show asymptotically matching upper and lower bounds on the advice necessary for optimality in LWDPA and generalize the known optimality result for DPA on paths to trees with maximal degree at most 3. On trees with higher maximal degree, we prove matching upper and lower bounds on the approximation ratio in the advice-free priority setting as well as upper and lower bounds on the advice necessary to achieve optimality.
Hans-Joachim Böckenhauer, Fabian Frei, Silvan Horvath
Theor. Comput. Sci.3