Let $\kappa(s,t)$ denote the maximum number of internally disjoint paths in an undirected graph $G$. We consider designing a data structure that includes a list of cuts, and answers in $O(1)$ time the following query: given $s,t \in V$, determine whether $\kappa(s,t) \leq k$, and if so, return a pointer to an $st$-cut of size $\leq k$ in the list. A trivial data structure includes a list of $n(n-1)/2$ cuts and requires $\Theta(kn^2)$ space. We show that $O(kn)$ cuts suffice, thus reducing the space to $O(k^2 n+n^2)$. In the case when $G$ is $k$-connected, we show that $O(n)$ cuts suffice, and that these cuts can be partitioned into $O(k)$ laminar families; this reduces the space to $O(kn)$. The latter result slightly improves and substantially simplifies a recent result of Pettie and Yin [ICALP 2021].
翻译:Let\kappa (s,t) $ 表示在未方向的图形中内部脱节路径的最大数量。 我们考虑设计一个包含削减清单的数据结构, 并在以下查询时间以美元计解答 : 给$, t 美元, 美元, 美元 美元, 美元 美元, 美元 美元, 美元 美元, 如果是的话, 将点数返回到 美元, 数额 $ leq k$ 。 一个微不足道的数据结构包括 $ (n) / 美元 的削减列表, 需要 $( k) 美元 空间 。 我们显示 $ (k) 美元 已经削减, 从而将空间缩小到 $ (k) 美元 2 n+ n 美元 美元 2 美元 。 在 $ g 美元 美元 相连接的情况下, 我们显示 $(n) 美元 的削减足够, 这些削减可以分割成 $(k) liminal 家庭 ; 这将空间缩小到 $( ) $(kn) 美元 美元 美元 ) 。 。