三元环 计数 bzoj