Edmonds’ fundamental theorem on arborescences characterizes the existence of $k$ pairwise arc-disjoint spanning arborescences with prescribed root sets in a digraph. In this paper, we study the problem of packing branchings in digraphs under cardinality constraints on their root sets by arborescence augmentation. Let $D=(V+x,A)$ be a digraph, $\mathcal{P}=$ $\{I_1,\dots ,I_l\}$ be a partition of $\left[k\right]$, $c_1,\dots ,c_l,c_1^{\prime },\dots ,c_l^{\prime }$ be nonnegative integers such that $c_{\alpha }\le c_{\alpha }^{\prime }$ for $\alpha \in \left[l\right]$, $F_1,\dots ,F_k$ be $k$ arc-disjoint $x$-arborescences in $D$ such that ${\sum }_{i\in I_{\alpha }}{d}_{F_i}^{+}\left(x\right)$ $\le c_{\alpha }^{\prime }$ for $\alpha \in \left[l\right]$. We give a characterization on when $F_1,\dots ,F_k$ can be completed to arc-disjoint spanning $x$-arborescences $F_1^{\ast },\dots ,F_k^{\ast }$ such that for any $\alpha \in \left[l\right]$, $c_{\alpha }\le {\sum }_{i\in I_{\alpha }}{d}_{F_i^{\ast }}^{+}\left(x\right)$ $\le c_{\alpha }^{\prime }$.

埃德蒙兹关于树状的基本定理表征了 $ķ$有向图中的指定根集合的成对弧不相交跨越树状结构。在本文中，我们研究了通过树状扩充在基数上受基数约束的有向图上的分支堆积问题。让$d=（V+X，\mathrm{一种}）$ 成为图， $\mathcal{P}=$ $\{{\mathrm{一世}}_{\mathrm{1个}}，\dots ，{\mathrm{一世}}_{升}\}$ 成为...的一部分 $\left[ķ\right]$， $C_{\mathrm{1个}}，\dots ，C_{升}，C_{\mathrm{1个}}^{\prime }，\dots ，C_{升}^{\prime }$ 是非负整数，使得 $C_{\alpha }\le C_{\alpha }^{\prime }$ 对于 $\alpha \in \left[升\right]$， $F_{\mathrm{1个}}，\dots ，F_{ķ}$ 是 $ķ$ 不相交的 $X$-树状 $d$ 这样 ${\sum }_{\mathrm{一世}\in {\mathrm{一世}}_{\alpha }}{d}_{F_{\mathrm{一世}}}^{+}（X）$ $\le C_{\alpha }^{\prime }$ 对于 $\alpha \in \left[升\right]$。我们对何时$F_{\mathrm{1个}}，\dots ，F_{ķ}$ 可以完成弧形不相交的跨越 $X$-树状 $F_{\mathrm{1个}}^{\ast }，\dots ，F_{ķ}^{\ast }$ 这样对于任何 $\alpha \in \left[升\right]$， $C_{\alpha }\le {\sum }_{\mathrm{一世}\in {\mathrm{一世}}_{\alpha }}{d}_{F_{\mathrm{一世}}^{\ast }}^{+}（X）$ $\le C_{\alpha }^{\prime }$。