12.1 图转换问题的形式化