arXiv reaDer
FastDOG:GPUでの高速ディスクリート最適化
FastDOG: Fast Discrete Optimization on GPU
構造化予測で発生する0〜1の整数線形計画法を解くための超並列ラグランジュ分解法を提示します。ラグランジアンデュアルを解くための新しい反復更新スキームと、主解をデコードするための摂動法を提案します。サブ問題を表すために、Langeetal。に従います。 (2021)そして二分決定図(BDD)を使用します。私たちのプライマリアルゴリズムとデュアルアルゴリズムは、サブ問題間の同期をほとんど必要とせず、BDDの最適化には、複雑な制御フローなしで基本的な操作のみが必要です。これにより、メソッドのすべてのコンポーネントに対してGPUが提供する並列処理を活用できます。マルコフ確率場のMAP推論、発生生物学の2次割り当ておよび細胞追跡からの組み合わせ問題に関する実験結果を提示します。高度に並列化されたGPU実装は、Langeetalのアルゴリズムの実行時間を改善します。 (2021)桁違いまで。特に、問題にとらわれずに、最先端の特殊なヒューリスティックに近づいたり、パフォーマンスを上回ったりします。私たちの実装はhttps://github.com/LPMP/BDDで入手できます。
We present a massively parallel Lagrange decomposition method for solving 0--1 integer linear programs occurring in structured prediction. We propose a new iterative update scheme for solving the Lagrangean dual and a perturbation technique for decoding primal solutions. For representing subproblems we follow Lange et al. (2021) and use binary decision diagrams (BDDs). Our primal and dual algorithms require little synchronization between subproblems and optimization over BDDs needs only elementary operations without complicated control flow. This allows us to exploit the parallelism offered by GPUs for all components of our method. We present experimental results on combinatorial problems from MAP inference for Markov Random Fields, quadratic assignment and cell tracking for developmental biology. Our highly parallel GPU implementation improves upon the running times of the algorithms from Lange et al. (2021) by up to an order of magnitude. In particular, we come close to or outperform some state-of-the-art specialized heuristics while being problem agnostic. Our implementation is available at https://github.com/LPMP/BDD.
updated: Fri Mar 11 2022 15:35:05 GMT+0000 (UTC)
published: Fri Nov 19 2021 15:20:10 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)
Amazon.co.jpアソシエイト