[論文レビュー] NP-completeness of Certain Sub-classes of the Syndrome Decoding Problem

Matthieu Finiasz|ArXiv.org|Dec 2, 2009

Coding theory and cryptography参考文献 1被引用数 4

ひとこと要約

この論文は、Goppa符号の構造的制約を満たすパラメータ化された Syndrome Decoding 問題の変種が NP 完全であることを証明している。コンactな行列構成を用いた 3 次元マッチングへの多項式時間還元を構築することで、符号長と次元が Goppa 符号のパラメータに従う部分クラスについても NP 完全性を確立し、McEliece や Niederreiter のような符号ベース暗号方式の背後にある難易度仮定を裏付けた。

ABSTRACT

The problem of Syndrome Decoding was proven to be NP-complete in 1978 and, since then, quite a few cryptographic applications have had their security rely on the (provable) difficulty of solving some instances of it. However, in most cases, the instances to be solved follow some specific constraint: the target weight is a function of the dimension and length of the code. In these cases, is the Syndrome Decoding problem still NP-complete? This is the question that this article intends to answer.

研究の動機と目的

• Goppa 符号のパラメータに典型的な制約を満たす Syndrome Decoding 問題の部分クラスが、依然として NP 完全であるかどうかを特定すること。
• 3 次元マッチング（3DM）から Goppa パラメータ化 Syndrome Decoding（GPSD）問題への多項式時間還元を提供すること。
• 特定の構造的制約下での Syndrome Decoding のより広範な部分クラスについて、NP 完全性の結果を一般化すること。
• Goppa 符号におけるデコーディングの難易度がランダムネスの影響ではなく、そのパラメータ化された構造そのものに起因することを立証すること。
• 一般化されたパラメータ化還元条件を用いて、他の符号ベース部分クラスの NP 完全性を評価するフレームワークを提供すること。

提案手法

• 各行列に丁度 3 個の 1 を持つ 0-1 行列を用いて、3 次元マッチング（3DM）インスタンスのコンパクトなインcidenc行列表現を構築する。
• 図 2 に示す修正された行列 H を設計し、3DM インスタンスを Goppa 符号構造に埋め込み、n = 2^m および r = n − m·t となるようにし、補正能力 t を保証する。
• シンディーム S に丁度 3|T| 個の 1 を持たせることで、上位 |U| 行から正確に |T| 行を選択するよう強制し、有効な 3DM 解に対応させる。
• 図 3 の C1 と C2 に示す新しい行列構成を導入し、|T| が偶数であろうと奇数であろうと、部分空間重み問題に対する多項式還元を可能にする。
• コード長 n を r と w で定義する関数 f(r, w) の境界を用いた一般還元フレームワークを適用し、多項式時間計算量を保証する。
• 還元が有効であり、NP 完全性が成立する十分条件（関数 g, g'、多項式 P, Q、閾値 λ を用いて）を確立する。

実験結果

リサーチクエスチョン

• RQ1 Goppa 符号のパラメータに一致するインスタンスに制限された Syndrome Decoding 問題は NP 完全であるか？
• RQ2 3 次元マッチング（3DM）から Goppa パラメータ化 Syndrome Decoding（GPSD）問題への多項式時間還元を構築できるか？
• RQ3 部分空間重み問題の NP 完全性は、コード長と次元が Goppa 符号の制約に従うパラメータ化された部分クラスへも拡張可能か？
• RQ4 関数 f(r, w) にどのような条件を課すと、3DM からパラメータ化された Syndrome Decoding 問題への還元が多項式的かつ有効に保たれるか？
• RQ5 類似する構造的制約を満たす他の符号族に対しても、NP 完全性の結果を一般化できるか？

主な発見

• Goppa パラメータ化 Syndrome Decoding（GPSD）問題は、3 次元マッチングへの多項式時間還元により NP 完全であることが証明された。
• 還元は図 2 に示す行列構成を用い、n = 2^m および w = r/m を満たすようにし、実際の Goppa 符号のパラメータと一致するように構築された。
• 部分空間重み変種（GPSW）については、図 3 の C1 と C2 に示す新しいコンパクトな行列構成により、|T| が偶数であろうと奇数であろうと有効な多項式還元が可能である。
• GPSD および GPSW の NP 完全性は、関数 f(r, w) が特定の境界を満たす限り成立する：f(g(t,u), t) ≥ u および f(g(t,u), t) ≤ Q(t,u)、かつ g(t,u) ≥ 3t を満たす必要がある。
• 還元は |T| > λ および |U| > λ のすべてのケースについて漸近的に有効であり、Goppa の場合 λ = 8 であるため、有限個の小さなケースのみを別個に境界化すれば十分である。
• パラメータ化された Syndrome Decoding 問題の NP 完全性の一般フレームワークが確立され、コード次元 f(r,w) が多項式的に増加し、3DM パラメータに対して構造的境界を満たす限り、必要な条件が満たされる。