arXiv subjects

Idan Shabat

Publications and source records attributed to Idan Shabat.

5 recordsLinked to original sources

arXiv2026

Spanning Tree Covers for Path-Separable Graphs: Trading Stretch for Size

Given a graph $G=(V,E)$, a collection $\mathcal{T}$ of spanning trees of $G$ is called a spanning tree cover of stretch $α$ if for every $u,v\in V$ there is a tree $T_{uv}\in\mathcal{T}$, such that \[d_{T_{uv}}(u,v)\leqα\cdot d_G(u,v)~.\] Spanning tree covers were introduced in the pioneering work of Gupta et al. [GKR04], that showed that $p$-path-separable graphs admit stretch-$3$ spanning tree covers with size $O(p\log n)$. Many subsequent papers focused on a relaxed notion of non-spanning tree covers, in which the trees are required to be dominating, but may use edges that do not belong to the graph. In particular, Bartal et al. [BFN22] devised a construction of non-spanning tree covers with stretch $1+ε$ and size $O(p\cdot\frac{\log^2n}{ε^2})$. Recently, for $K_r$-minor-free graphs, Chang et al. [CCL+23,CCL+24] devised a non-spanning tree cover with stretch $1+ε$ and size $2^{\frac{1}εr^{O(r)}}$, and an exact spanning tree cover with size $r^{O(diam(G))}$. However, the problem of devising spanning tree covers with stretch smaller than $3$ and small size for general $p$-path-separable graphs remained open. We show that $p$-path-separable graphs admit spanning tree covers with stretch $1+ε$ and size $O(p\cdot\frac{\log^2n}ε)$. Moreover, we demonstrate that one can trade stretch for size, and devise spanning tree covers with stretch $O(k\log\log p)$ and size $O(kp^{\frac{1}{k}}\cdot\log^{2}n)$ for strongly $p$-path-separable graphs. We also provide a tradeoff for weakly path-separable graphs. For $K_r$-minor-free graphs, we devise spanning tree covers with stretch $O(k\log\log r)$ and size $O(kr^{2+\frac{1}{k}}\cdot\log^{2}n)$. For such graphs, it is only known that $p=r^{4602}$. Thus, for $r=Ω(\log n)$ and $k\geq2$, this size is much smaller than that of our tree cover of stretch $1+ε$.

cs.DS↗

arXiv2025

A Unified Framework for Hopsets and Spanners

Given an undirected graph $G=(V,E)$, an {\em $(α,β)$-spanner} $H=(V,E')$ is a subgraph that approximately preserves distances; for every $u,v\in V$, $d_H(u,v)\le α\cdot d_G(u,v)+β$. An $(α,β)$-hopset is a graph $H=(V,E")$, so that adding its edges to $G$ guarantees every pair has an $α$-approximate shortest path that has at most $β$ edges (hops), that is, $d_G(u,v)\le d_{G\cup H}^{(β)}(u,v)\le α\cdot d_G(u,v)$. Given the usefulness of spanners and hopsets for fundamental algorithmic tasks, several different algorithms and techniques were developed for their construction, for various regimes of the stretch parameter $α$. In this work we develop a single algorithm that can attain all state-of-the-art spanners and hopsets for general graphs, by choosing the appropriate input parameters. In fact, in some cases it also improves upon the previous best results. We also show a lower bound on our algorithm. In \cite{BP20}, given a parameter $k$, a $(O(k^ε),O(k^{1-ε}))$-hopset of size $\tilde{O}(n^{1+1/k})$ was shown for any $n$-vertex graph and parameter $0<ε<1$, and they asked whether this result is best possible. We resolve this open problem, showing that any $(α,β)$-hopset of size $O(n^{1+1/k})$ must have $α\cdot β\geΩ(k)$.

cs.DS↗

arXiv2024

Path-Reporting Distance Oracles with Logarithmic Stretch and Size O(n loglog n)

Given an $n$-vertex undirected graph $G=(V,E,w)$, and a parameter $k\geq1$, a path-reporting distance oracle (or PRDO) is a data structure of size $S(n,k)$, that given a query $(u,v)\in V^2$, returns an $f(k)$-approximate shortest $u-v$ path $P$ in $G$ within time $q(k)+O(|P|)$. Here $S(n,k)$, $f(k)$ and $q(k)$ are arbitrary functions. A landmark PRDO due to Thorup and Zwick, with an improvement of Wulff-Nilsen, has $S(n,k)=O(k\cdot n^{1+\frac{1}{k}})$, $f(k)=2k-1$ and $q(k)=O(\log k)$. The size of this oracle is $Ω(n\log n)$ for all $k$. Elkin and Pettie and Neiman and Shabat devised much sparser PRDOs, but their stretch was polynomially larger than the optimal $2k-1$. On the other hand, for non-path-reporting distance oracles, Chechik devised a result with $S(n,k)=O(n^{1+\frac{1}{k}})$, $f(k)=2k-1$ and $q(k)=O(1)$. In this paper we make a dramatic progress in bridging the gap between path-reporting and non-path-reporting distance oracles. We devise a PRDO with size $S(n,k)=O(\lceil\frac{k\log\log n}{\log n}\rceil\cdot n^{1+\frac{1}{k}})$, stretch $f(k)=O(k)$ and query time $q(k)=O(\log\lceil\frac{k\log\log n}{\log n}\rceil)$. We can also have size $O(n^{1+\frac{1}{k}})$, stretch $O(k\cdot\lceil\frac{k\log\log n}{\log n}\rceil)$ and query time $q(k)=O(\log\lceil\frac{k\log\log n}{\log n}\rceil)$. Our results on PRDOs are based on novel constructions of approximate distance preservers, that we devise in this paper. Specifically, we show that for any $ε>0$, any $k=1,2,...$, and any graph $G$ and a collection $\mathcal{P}$ of $p$ vertex pairs, there exists a $(1+ε)$-approximate preserver with $O(γ(ε,k)\cdot p+n\log k+n^{1+\frac{1}{k}})$ edges, where $γ(ε,k)=(\frac{\log k}ε)^{O(\log k)}$. These new preservers are significantly sparser than the previous state-of-the-art approximate preservers due to Kogan and Parter.

cs.DS↗

arXiv2024

Path-Reporting Distance Oracles with Linear Size

Given an undirected weighted graph, an (approximate) distance oracle is a data structure that can (approximately) answer distance queries. A {\em Path-Reporting Distance Oracle}, or {\em PRDO}, is a distance oracle that must also return a path between the queried vertices. Given a graph on $n$ vertices and an integer parameter $k\ge 1$, Thorup and Zwick \cite{TZ01} showed a PRDO with stretch $2k-1$, size $O(k\cdot n^{1+1/k})$ and query time $O(k)$ (for the query time of PRDOs, we omit the time needed to report the path itself). Subsequent works \cite{MN06,C14,C15} improved the size to $O(n^{1+1/k})$ and the query time to $O(1)$. However, these improvements produce distance oracles which are not path-reporting. Several other works \cite{ENW16,EP15} focused on small size PRDO for general graphs, but all known results on distance oracles with linear size suffer from polynomial stretch, polynomial query time, or not being path-reporting. In this paper we devise the first linear size PRDO with poly-logarithmic stretch and low query time $O(\log\log n)$. More generally, for any integer $k\ge 1$, we obtain a PRDO with stretch at most $O(k^{4.82})$, size $O(n^{1+1/k})$, and query time $O(\log k)$. In addition, we can make the size of our PRDO as small as $n+o(n)$, at the cost of increasing the query time to poly-logarithmic. For unweighted graphs, we improve the stretch to $O(k^2)$. We also consider {\em pairwise PRDO}, which is a PRDO that is only required to answer queries from a given set of pairs ${\cal P}$. An exact PRDO of size $O(n+|{\cal P}|^2)$ and constant query time was provided in \cite{EP15}. In this work we dramatically improve the size, at the cost of slightly increasing the stretch. Specifically, given any $ε>0$, we devise a pairwise PRDO with stretch $1+ε$, constant query time, and near optimal size $n^{o(1)}\cdot (n+|{\cal P}|)$.

cs.DS↗

arXiv2023

On the Size Overhead of Pairwise Spanners

Given an undirected possibly weighted $n$-vertex graph $G=(V,E)$ and a set $\mathcal{P}\subseteq V^2$ of pairs, a subgraph $S=(V,E')$ is called a ${\cal P}$-pairwise $α$-spanner of $G$, if for every pair $(u,v)\in\mathcal{P}$ we have $d_S(u,v)\leqα\cdot d_G(u,v)$. The parameter $α$ is called the stretch of the spanner, and its size overhead is define as $\frac{|E'|}{|{\cal P}|}$. A surprising connection was recently discussed between the additive stretch of $(1+ε,β)$-spanners, to the hopbound of $(1+ε,β)$-hopsets. A long sequence of works showed that if the spanner/hopset has size $\approx n^{1+1/k}$ for some parameter $k\ge 1$, then $β\approx\left(\frac1ε\right)^{\log k}$. In this paper we establish a new connection to the size overhead of pairwise spanners. In particular, we show that if $|{\cal P}|\approx n^{1+1/k}$, then a ${\cal P}$-pairwise $(1+ε)$-spanner must have size at least $β\cdot |{\cal P}|$ with $β\approx\left(\frac1ε\right)^{\log k}$ (a near matching upper bound was recently shown in \cite{ES23}). We also extend the connection between pairwise spanners and hopsets to the large stretch regime, by showing nearly matching upper and lower bounds for ${\cal P}$-pairwise $α$-spanners. In particular, we show that if $|{\cal P}|\approx n^{1+1/k}$, then the size overhead is $β\approx\frac kα$. A source-wise spanner is a special type of pairwise spanner, for which ${\cal P}=A\times V$ for some $A\subseteq V$. A prioritized spanner is given also a ranking of the vertices $V=(v_1,\dots,v_n)$, and is required to provide improved stretch for pairs containing higher ranked vertices. By using a sequence of reductions, we improve on the state-of-the-art results for source-wise and prioritized spanners.

cs.DS↗