本文研究了约束半环所诱导的赋值代数的轮廓解及其算法的问题.利用约束半环的性质,以及基于记忆约束半环赋值的方法,获得了约束半环所诱导的赋值代数的轮廓解的概念,性质以及算法的相关结论,推广了文献[2]关于全序幂等半环诱导的赋值代数的轮廓解的结果.
In this paper, we study solution configuration and its algorithm of valuation algebra induced by a constraint semiring. By means of the properties of constraint semiring, and based on the method of memorizing constraint semiring valuation, the properties and algorithm of solution configuration in valuation algebra induced by a constraint semiring are given. The conclusion of the reference [2] is extended and promoted.