搜索结果: 1-1 共查到“数理逻辑与数学基础 Cat”相关记录1条 . 查询时间(0.013 秒)
CAT-generation of ideals
CAT-generation of ideals math
2010/11/19
We consider the problem of generating all ideals of a poset. It is a long standing open problem, whether or not the ideals of any poset can be generated in constant amortized time, CAT for short. We ...