问题的正式定义

  1. 初始状态
  2. 目标状态
  3. 操作