在本文中, 我们首先基于图的极大团引入了一种名为次强消除序的图的顶点序, 并证明了它可以完全刻画强弦图. 基于这种顶点序, 我们提出了一种新的多项式选取策略, 用于算法中的多项式计算. 然后, 我们证明了当这种顶点序被用作三角分解的变元序时, 其关联图为强弦图的多项式集合在分解中出现的任何多项式的变元都包含在某些极大团中, 这给出了有界树宽下的分解中变元的结构变化的统一描述. 因此, 我们证明了当输入多项式集合满足具有 n 个变元和 l 个多项式且其关联图是树宽为 m 的强弦图时, 使用新多项式选取策略进行三角分解的复杂度为 O(4^m ln(ml/n-1)^(n-1)). 当 m<