摘要:固定点的证明和沙堆开始任意初始条件的结果。我们提供了一种计算这些固定点的有效算法,并在SPM特定情况下进行了改进。
作者:Enrico Formenti (I3S), Benoit Masson (I3S)
论文ID:cs/0412048
分类:Computational Complexity
分类简称:cs.CC
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中