arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2203.01161math.OCcs.CCcs.LGstat.ML
收藏

具有独立边际的离散最优输运是P-困难的

Discrete Optimal Transport with Independent Marginals is #P-Hard

EPFL(洛桑联邦理工学院);Singapore University of Technology and Design(新加坡科技设计大学)

Bahar Taşkesen, Soroosh Shafieezadeh-Abadeh, Daniel Kuhn, Karthik Natarajan

摘要:

我们研究计算复杂性的最优输运问题,评估两个K维离散随机向量的分布之间的Wasserstein距离。这个问题的最著名的算法在多项式时间内运行在两个分布的原子数的最大值。然而,如果任一随机向量的分量是独立的,那么这个数在K中可以是指数的,即使问题描述的大小与K成线性比例。我们证明了所描述的最优输运问题是P-困难的,即使第一个随机向量的所有组件是独立的均匀伯努利随机变量,而第二个随机向量只有两个原子,即使只有近似解寻求。我们还开发了一个动态规划型算法,近似的Wasserstein距离在伪多项式时间时,第一个随机向量的组件遵循任意独立的离散分布,我们确定特殊的问题,可以在强多项式时间精确解决的情况。

英文摘要:

We study the computational complexity of the optimal transport problem that evaluates the Wasserstein distance between the distributions of two K-dimensional discrete random vectors. The best known algorithms for this problem run in polynomial time in the maximum of the number of atoms of the two distributions. However, if the components of either random vector are independent, then this number can be exponential in K even though the size of the problem description scales linearly with K. We prove that the described optimal transport problem is #P-hard even if all components of the first random vector are independent uniform Bernoulli random variables, while the second random vector has merely two atoms, and even if only approximate solutions are sought. We also develop a dynamic programming-type algorithm that approximates the Wasserstein distance in pseudo-polynomial time when the components of the first random vector follow arbitrary independent discrete distributions, and we identify special problem instances that can be solved exactly in strongly polynomial time.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑