形式上,最小割问题的目标是求解以下优化问题: