判定一个队列QU(最多元素为m0)为满队列的条件是