有限集上偏序关系的符号计算

作者：张升荣; 李永彬; 资俊伟; 骆孟煜

来源：系统科学与数学, 2021, 41(12): 3342-3350.

• 有限偏序
• T0拓扑
• Gr?bner基

不同于序理论和拓扑理论中关于偏序关系和T0拓扑的研究思路,文章给出一种通过解有限域F2上多项式方程组求有限集[n]={1,2,…,n}上所有偏序关系和T0拓扑的方法,并通过实例说明了方程组零点和偏序以及T0拓扑的对应关系.运用Gr?bner基理论,得到一种求有限集[n]上偏序个数和T0拓扑个数的符号计算方法,并给出Maple程序.

• 单位
  电子科技大学