实在不行，你跑一下最小表示法，