论文部分内容阅读
Gao等给出了素理想参数的一种随机算法,Gallo等估计了这种算法的计算复杂度,并将此算法改进为确定性的算法,避免了上机实现可能出现的“随机陷阱”尽管如此,由于这种算法可能需要计算多次特征列,使复杂度提高,应用受到很大限制,本文给出了素理想参数化的一种符号算法,只需计算两次特征列,就能得到原理想的参数化,并同时可以确定“例外集”。