[論文レビュー] Truthful Mechanisms for Combinatorial AC Electric Power Allocation

Chi-Kin Chau, Khaled Elbassioni+1 more|arXiv (Cornell University)|Mar 16, 2014

Auction Theory and Applications参考文献 6被引用数 11

ひとこと要約

本稿は、複素数の需要を伴うコンビナトリアルAC電力割り当てにおける真実性を保証する近似手法を提示する。位相角範囲 $[0, \frac{\pi}{2} - \delta]$ 内の需要に対して真実性を保証するPTASを提案し、$(\frac{\pi}{2}, \pi - \delta]$ 内の需要に対しては $(1,1+\epsilon)$-二基準近似を達成する真実性を保証するFPTASを導入することで、スマートグリッド環境におけるシステム容量制約を尊重しながら、近似的に最適な社会的厚生を達成する。

ABSTRACT

Traditional studies of combinatorial auctions often only consider linear constraints (by which the demands for certain goods are limited by the corresponding supplies). The rise of smart grid presents a new class of auctions, characterized by quadratic constraints. Yu and Chau [AAMAS 13'] introduced the complex-demand knapsack problem, in which the demands are complex-valued and the capacity of supplies is described by the magnitude of total complex-valued demand. This naturally captures the power constraints in AC electric systems. In this paper, we provide a more complete study and generalize the problem to the multi-minded version, beyond the previously known 1/2-approximation algorithm for only a subclass of the problem. More precisely, we give a truthful PTAS for the case phi in [0,pi/2-delta], and a truthful FPTAS, which fully optimizes the objective function but violates the capacity constraint by at most (1+epsilon), for the case phi in (pi/2,pi-delta], where phi is the maximum angle between any two complex-valued demands and epsilon,delta>0 are arbitrarily small constants.

研究の動機と目的

• AC電力システムにおける2次的制約を伴う多目的な組み合わせ的オークションの真実性を保証する近似手法の不足に対処すること。
• 従来の正の第1象限需要に対する $\frac{1}{2}$-近似を超えて、複素数の需要を伴うナップサック問題を一般化すること。
• スマートグリッドにおける電力割り当てにおいて、視在電力容量制限を尊重する効率的でインcentive-compatibleなアルゴリズムを設計すること。
• P ≠ NP を仮定したもとで、近似のタイトな境界を確立し、先行研究における未解決の問題を解消すること。

提案手法

• 容量制約の制御された違反を許容することで、目的関数の近似を向上させる $(\alpha, \beta)$-保証を有する二基準近似フレームワークを用いる。
• 動的計画法と最大範囲メカニズムを適用し、インcentive-compatibleである真実性を保証するメカニズムを構築する。
• 実部と虚部をスケーリングおよび離散化して有限集合 $\mathcal{A}_+, \mathcal{A}_-, \mathcal{B}$ に変換することで、複素数の需要に対する丸め技法を採用し、多項式時間での最適化を可能にする。
• 正負の実部を別々に処理する2段階のアルゴリズムを設計し、正確な2次元ナップサックソルバを用いて解を統合する。
• 入札と割り当て意思決定を分離することで、真実性を保証するための宣言に依存しない解空間 $\mathcal{S}$ を導入する。
• 容量制約をわずかに緩和した条件下で、丸められた需要が実行可能であることを保証するための切断手順を用い、$(1,1+\epsilon)$-近似を実現する。

実験結果

リサーチクエスチョン

• RQ1 すべての複素数の需要が位相角 $[0, \frac{\pi}{2} - \delta]$ の範囲内にある場合、多目的な複素数需要ナップサック問題に対して真実性を保証するPTASを設計できるか？
• RQ2 位相角範囲 $(\frac{\pi}{2}, \pi - \delta]$ 内の需要に対して、$(1,1+\epsilon)$-二基準近似を達成する真実性を保証するFPTASを達成できるか？この範囲では実部が負である可能性がある。
• RQ3 任意の2つの需要間の最大位相角 $\phi$ が $\pi$ に近づく場合、この問題の根本的な近似限界は何か？
• RQ4 以前に知られていた $\frac{1}{2}$-近似アルゴリズムを、多目的設定における完全な真実性を保証するPTASに拡張できるか？
• RQ5 位相角 $\phi$ が $\pi$ に限りなく近づく場合、この問題に本質的な近似困難性の壁が存在するか？

主な発見

• 位相角 $\phi \in [0, \frac{\pi}{2} - \delta]$ の場合、$(1 - \epsilon, 1)$-近似を達成する真実性を保証するPTASが得られ、計算時間は多項式時間で実現される。
• 位相角 $\phi \in (\frac{\pi}{2}, \pi - \delta]$ の場合、$(1, 1 + \epsilon)$-二基準近似を達成する真実性を保証するFPTASが設計され、実行時間は $n$ および $\frac{1}{\epsilon}$ に対して多項式時間である。
• アルゴリズムは、合計複素需要が $(1 + 3\epsilon)C$ を超えないことを保証し、容量違反が有界であることを保証する。
• 宣言に依存しない範囲 $\mathcal{S}$ を用いることで、真実性が証明され、参加者が真の評価と需要を申告することを保証する。
• 本稿では、P ≠ NP を仮定したもとで、$\phi \in (\frac{\pi}{2}, \pi - \delta]$ の場合にPTASが存在しないこと、さらに $\phi$ が $\pi$ に近づくと二基準近似が多項式保証を満たさないことが示され、タイトな境界が確立された。
• これらの結果により、YuとChau (AAMAS 13’ ) が提起した未解決の問題が完全に解決され、複素数需要電力割り当てにおける近似と真実性のギャップが埋められた。