对于单项式理想$I$，已知当$n$增大时，极小生成元的数量$\mu(I^n)$最终会遵循一个多项式模式。然而，关于这种模式出现所需的幂次，人们所知甚少；而对于该幂次之后极小生成元的具体形式，了解得更少。我们证明了对于足够大的$n$，理想$I^n$可以从特定幂次$s$下的某些子理想构造出来。我们明确地给出了$s$与$I$的关系，并证明$s\leq \mu(I)(d^2-1)+1$，其中$d$是出现在极小生成元集$\mathsf{G}(I)$中的$x$或$y$的最大次数。这为通过$\mathsf{G}(I^s)$显式描述$\mathsf{G}(I^n)$提供了方法，显著降低了确定双变量单项式理想高次幂的计算复杂度。此外，这还使我们能够显式地用关于$n$的线性多项式表示所有$n\geq s$时的$\mu(I^n)$。我们还附上了在SageMath中实现的运行时间测量结果。

For a monomial ideal $I$, it is known that for increasing $n$ the number of minimal generators $\mu(I^n)$ eventually follows a polynomial pattern. In general, little is known about the power at which this pattern emerges. Even less is known about the exact form of the minimal generators after this power. We show that for large $n$ the ideal $I^n$ can be constructed from certain subideals of a specific power $I^s$. We determine $s$ explicitly in terms of $I$ and show that $s\le\mu(I)(d^2-1)+1$, where $d$ is at most the maximal $x$- or $y$-degree appearing in the minimal generators $\mathsf{G}(I)$. This provides an explicit description of $\mathsf{G}(I^n)$ in terms of $\mathsf{G}(I^s)$, significantly reducing computational complexity in determining high powers of bivariate monomial ideals. This further enables us to explicitly compute $\mu(I^n)$ for all $n\ge s$ in terms of a linear polynomial in $n$. We include runtime measurements for the attached implementation in SageMath.