最优传输系列是基于Computational Optimal Transport开源书的读书笔记
3.3 Complementary Slackness
上一节里,我们认识到C转换不能够作为解决Kantorovich问题的方式。
不过,我们很快就会踏上正道,而Proposition 3.3就是有效优化方式的开始:
如果 P P P是一个原始Kantorovich问题的解, ⟨ f , g ⟩ \langle f,g\rangle ⟨f,g⟩是 P P P对偶问题的解,又满足以下公式,那么 P P P和 ⟨ f , g ⟩ \langle f,g\rangle ⟨f,g⟩就是一对最优解。
∀ P i , j > 0 , C i , j = f i + g j \forall P_{i,j}>0, C_{i,j}=f_{i}+g_{j} ∀Pi,j>