这道题的状态数具体应该是多少？能证明吗？