统一寄存器自动机框架覆盖稠密非稠密数据域

中科院等提出，多项式时间算法处理整数与有理数的顺序关系