检验与 P.V. 数相关的自相似集开集条件的算法

固定一个 P.V. 数 $\lambda ^{-1}>1$。给定 $\mathbf{p}=(p_{1},\cdots,p_{m})\in \mathbb{N}^{m}$ 和 $\mathbf{b}=(b_{1},\cdots,b_{m})\in \mathbb{Q}^{m}$，对于自相似集 $E_{\mathbf{p},\mathbf{b}}=\cup_{i=1}^{m}(\lambda ^{p_{i}}E_{\mathbf{p},\mathbf{b}}+b_{i})$，我们找到了一种高效算法来检验 $E_{\mathbf{p},\mathbf{b}}$ 是否满足开集条件（强分离条件）。