PA2提供的checker，
可以檢測一個解是否可行，即俄羅斯娃娃序列是否符合漸大的規則。
但卻無法檢測出是否為最佳解，即俄羅斯娃娃數量(m)是否為最大。
請問檢測最佳解這部分的功能之後會加嗎？