VLDB 2026 Research / reviewers in the wild / expert
David Gajser
dblp:132/9240
· DBLP profile ↗
4ranked-venue papers
2as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 2 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Connectivity with Uncertainty Regions Given as Line SegmentsabstractAbstract For a set $${\mathcal {Q}}$$ Q of points in the plane and a real number $$\delta \ge 0$$ δ ≥ 0 , let $${\mathbb {G}}_\delta ({\mathcal {Q}})$$ G δ ( Q ) be the graph defined on $${\mathcal {Q}}$$ Q by connecting each pair of points at distance at most $$\delta $$ δ .We consider the connectivity of $${\mathbb {G}}_\delta ({\mathcal {Q}})$$ G δ ( Q ) in the best scenario when the location of a few of the points is uncertain, but we know for each uncertain point a line segment that contains it. More precisely, we consider the following optimization problem: given a set $${\mathcal {P}}$$ P of $$n-k$$ n - k points in the plane and a set $${\mathcal {S}}$$ S of k line segments in the plane, find the minimum $$\delta \ge 0$$ δ ≥ 0 with the property that we can select one point $$p_s\in s$$ p s ∈ s for each segment $$s\in {\mathcal {S}}$$ s ∈ S and the corresponding graph $${\mathbb {G}}_\delta ( {\mathcal {P}}\cup \{ p_s\mid s\in {\mathcal {S}}\})$$ G δ ( P ∪ { p s ∣ s ∈ S } ) is connected. It is known that the problem is NP-hard. We provide an algorithm to exactly compute an optimal solution in $${{\,\mathrm{{\mathcal {O}}}\,}}(f(k) n \log n)$$ O ( f ( k ) n log n ) time, for a computable function $$f(\cdot )$$ f ( · ) . This implies that the problem is FPT when parameterized by k. The best previous algorithm uses $${{\,\mathrm{{\mathcal {O}}}\,}}((k!)^k k^{k+1}\cdot n^{2k})$$ O ( ( k ! ) k k k + 1 · n 2 k ) time and computes the solution up to fixed precision. Sergio Cabello, David Gajser |
Algorithmica | 2 |
| 2020 | Verifying whether one-tape Turing machines run in linear time
David Gajser |
J. Comput. Syst. Sci. | 1 |
| 2015 | Simple PTAS's for families of graphs excluding a minor
Sergio Cabello, David Gajser |
Discret. Appl. Math. | 2 |
| 2015 | Verifying time complexity of Turing machines
David Gajser |
Theor. Comput. Sci. | 1 |