（由于本人是个蒟蒻）导致有的时候dp状态设计是错误的，及转移方程推不出来（不可作）。然而我一直认为是可作的导致一直推转移方程，然后就挂掉了。

所以如何判断一个dp状态设计是可作的，如何尽量避免设计出不可作的dp状态设计？