三元环计数