[論文レビュー] Testing for separability is hard

Federico Echenique|arXiv (Cornell University)|Jan 18, 2014

Statistical Methods in Clinical Trials参考文献 6被引用数 6

ひとこと要約

この論文は、消費者データにおける分離可能効用のテストがNP完全であることを確立しており、これはわずか9つの財ですら計算的に困難であることを意味する。証明では3-SATを顕在的選好データに還元し、一般に分離可能性をテストするための効率的アルゴリズムが存在しないことを示しており、これが応用一般経済学における実証的テストがほとんど使われない理由を説明している。

ABSTRACT

This paper shows that it is computationally hard to decide (or test) if a consumption data set is consistent with separable preferences.

研究の動機と目的

• 与えられた消費者データに対して、分離可能効用が計算的に可能かどうかを特定すること。
• あるデータセットが分離可能効用と整合的であるかどうかを判断する問題がNP完全であることを示すこと。
• 数が固定され少数であっても、この計算の困難さが継続することを示すこと。これは先行研究の漸近的結果とは対照的である。
• 既存の分離可能性テスト（例えばバリアンやシェルヒュイらのもの）が、大規模または現実的なデータセットに対してなぜ実用的でないかを説明すること。
• 分離可能性テストが根本的に困難であることを確立すること。これはデータサイズの問題ではなく、顕在的選好構造に内在する組合せ的複雑性に起因する。

提案手法

• 3-SAT問題を顕在的選好データに還元することで、NP完全性を証明する。
• 3-SAT式の変数の真理値割り当てを符号化するように、9つの財を含むデータセットを構築する。
• 各変数に対して、真と偽の割り当てを表す2つのベクトル（z₁ᵢ, z₂ᵢ）をR²に定義し、複数の節にわたって埋め込む。
• 大きな定数（例：M·2ˡ）を用いて価格とベクトルを構築し、節間の顕在的選好関係が非循環的かつ真理値割り当てと整合的になるように保証する。
• 分離可能性を用いて、異なる節間での変数ベクトル間の比較が不変になるように保証し、z-ベクトルを一貫して順序付ける効用関数u(z)を導入する。
• 最終的な効用関数v(u(z), o)を定義し、顕在的選好構造全体を合理化する。非循環性は、ベクトルと価格の順序を注意深く配置することで保証される。

実験結果

リサーチクエスチョン

• RQ1 与えられた消費データセットが分離可能効用と整合的であるかどうかを計算的にテストするのは可能か？
• RQ2 財の数が固定され少数であっても、分離可能性テストの計算の困難さは継続するか？
• RQ3 3-SATからの還元を用いて、顕在的選好理論における分離可能性テストのNP完全性を証明できるか？
• RQ4 バリアンやシェルヒュイらの既存の分離可能性テストが、現実世界のデータセットに対してなぜ計算的に非現実的なのか？
• RQ5 分離可能性の下で合理化可能であるためには、顕在的選好グラフにどのような構造的性質が必要か？

主な発見

• 分離可能効用のテストはNP完全であり、P = NPでない限り多項式時間で解けるアルゴリズムは存在しない。
• わずか9つの財でも計算の困難さが成立し、これはデイトン（1974）の古典的消費研究でも使われる数である。
• 証明では、分離可能効用による合理化可能性が、3-SAT式における真理値割り当ての存在と完全に一致する顕在的選好データセットを構築している。
• 構築により、顕在的選好関係が非循環的になるのは、3-SAT式が充足可能である場合に限られ、論理的充足可能性と経済的合理化可能性を結びつける。
• すべてのベクトルと価格が有理数であっても結果が成立するため、無理数の問題を回避し、アルゴリズム的に整合性を持つ。
• 本論文は、分離可能性テストが根本的に困難であることを示しており、これはデータサイズの問題ではなく、顕在的選好構造に内在する組合せ的複雑性に起因する。