|
|||||
|
|
| 有理解的最简图表示 | |
| 作者姓名： | 李廉 李永礼 |
| 作者单位： | 兰州大学(李廉)，兰州大学(李永礼) |
| 摘 要： | 对于“树代数”上方程组的求解问题是Prolg-Ⅱ的理论模式中基本问题之一.在很多场合下,我们需要考虑它的有理无穷解,为了能够在机器上处理这类解,引出了有关解的有穷表示问题.本文讨论了解的图表示.证明了存在有穷图表示的充要条件是该解为有理解;另外,本文还证明了,对于一个有理解,它的最简图表示总是存在的,并且在同构意义下是唯一的;最后本文给出了求最简图表示的有效算法. |
| 本文献已被 CNKI 等数据库收录！ | |
