问题形式化是给定一个目标，决定要考虑的__与__的处理。