arXiv subjects

Marena Richter

Publications and source records attributed to Marena Richter.

4 recordsLinked to original sources

arXiv2026

Optimal Metric Distortion for Learning-Augmented Matching on the Line

We revisit the problem of matching on the line with ordinal preferences. In the classic setting, there are $n$ agents and $n$ items in a shared unknown line metric, and the goal is to find a low-cost perfect matching using only the agents' rankings of the items by distance. A mechanism has distortion $\alpha$ if it always outputs a matching whose cost is within a factor of $\alpha$ of the optimum, in every consistent line metric. In the learning-augmented setting, the mechanism is also supplied with a prediction that conveys additional information about the instance. The quality of this prediction is unknown, and the goal is to optimize the mechanism's distortion when the prediction is accurate (consistency), while preserving worst-case guarantees when the prediction is arbitrarily inaccurate (robustness). We propose a mechanism that takes a matching as its prediction and guarantees $1$-consistency and $3$-robustness. By recovering an optimal matching when the prediction is perfectly accurate while retaining the optimal prediction-free distortion guarantee when it is arbitrarily inaccurate, we resolve an open question of Filos-Ratsikas et al. (IJCAI, 2025).

cs.GT↗

arXiv2026

The Quick Dog Jumps the Log

We give linear-time, and thus optimal, $(1+\varepsilon)$-approximation algorithms for numerous variants of the Frechet distance between $c$-packed curves (where $c \in O(1)$), removing an additional log factor that was present in previous algorithms. The key to our new algorithms is a linear-size approximation of the elevation function, which uses a decomposition of the domain into rectangles, and a careful implicit dynamic programming on this decomposition. The algorithm extends to the strong, weak, discrete, and continuous Frechet distances with a running time of roughly $O(cn/\varepsilon)$. The $c$-packedness assumption is used only in the analysis, and the algorithm is simple and should work efficiently for other inputs.

cs.CG↗

arXiv2025

Property Testing of Curve Similarity

We propose sublinear algorithms for probabilistic testing of the discrete and continuous Fréchet distance - a standard similarity measure for curves. We assume the algorithm is given access to the input curves via a query oracle: a query returns the set of vertices of the curve that lie within a radius $δ$ of a specified vertex of the other curve. The goal is to use a small number of queries to determine with constant probability whether the two curves are similar (i.e., their discrete Fréchet distance is at most $δ$) or they are ''$\varepsilon$-far'' (for $0 < \varepsilon < 2$) from being similar, i.e., more than an $\varepsilon$-fraction of the two curves must be ignored for them to become similar. We present two algorithms which are sublinear assuming that the curves are $t$-approximate shortest paths in the ambient metric space, for some $t\ll n$. The first algorithm uses $O(\frac{t}{\varepsilon}\log\frac{t}{\varepsilon})$ queries and is given the value of $t$ in advance. The second algorithm does not have explicit knowledge of the value of $t$ and therefore needs to gain implicit knowledge of the straightness of the input curves through its queries. We show that the discrete Fréchet distance can still be tested using roughly $O(\frac{t^3+t^2\log n}{\varepsilon})$ queries ignoring logarithmic factors in $t$. Our algorithms work in a matrix representation of the input and may be of independent interest to matrix testing. Our algorithms use a mild uniform sampling condition that constrains the edge lengths of the curves, similar to a polynomially bounded aspect ratio. Applied to testing the continuous Fréchet distance of $t$-straight curves, our algorithms can be used for $(1+\varepsilon')$-approximate testing using essentially the same bounds as stated above with an additional factor of poly$(\frac{1}{\varepsilon'})$.

cs.CG↗

arXiv2025

Transforming Dogs on the Line: On the Fréchet Distance Under Translation or Scaling in 1D

The Fréchet distance is a computational mainstay for comparing polygonal curves. The Fréchet distance under translation, which is a translation invariant version, considers the similarity of two curves independent of their location in space. It is defined as the minimum Fréchet distance that arises from allowing arbitrary translations of the input curves. This problem and numerous variants of the Fréchet distance under some transformations have been studied, with more work concentrating on the discrete Fréchet distance, leaving a significant gap between the discrete and continuous versions of the Fréchet distance under transformations. Our contribution is twofold: First, we present an algorithm for the Fréchet distance under translation on 1-dimensional curves of complexity n with a running time of $\mathcal{O}(n^{8/3} log^3 n)$. To achieve this, we develop a novel framework for the problem for 1-dimensional curves, which also applies to other scenarios and leads to our second contribution. We present an algorithm with the same running time of $\mathcal{O}(n^{8/3} \log^3 n)$ for the Fréchet distance under scaling for 1-dimensional curves. For both algorithms we match the running times of the discrete case and improve the previously best known bounds of $\tilde{\mathcal{O}}(n^4)$. Our algorithms rely on technical insights but are conceptually simple, essentially reducing the continuous problem to the discrete case across different length scales.

cs.CG↗