離散対数を見つけるのはどれくらい難しいですか?


20

ba c Nab=cmodNacN

これはどの複雑なグループ(例:古典的なコンピューターや量子コンピューター)で、どのタスク(アルゴリズム)がこのタスクを達成するのに最適なのでしょうか。

上記のウィキペディアのリンクは、実際に非常に具体的なランタイムを提供していません。私は、そのようなものを見つけるための最もよく知られている方法と同じようなものを望んでいます。


最適なアルゴリズムはわかりませんが、いくつかのアルゴリズムはJohan Hastadによるこの講義ノートの第5章にあります。これらのアルゴリズムを要約しますが、この章は読みませんでしたので、リンクのみを提供します;)
マークベリー

回答:


21

短い答え。離散対数問題の
適切な決定問題バージョンを定式化すると、複雑度クラスNPcoNP、およびBQPの共通部分に属することを示すことができます。


Discrete Logの決定問題バージョン。
離散対数問題は、ほとんどの場合、関数の問題として定式化され、整数のタプルを別の整数にマッピングします。この問題の定式化は、人々が検討することを好む複雑性クラスPBPPNPなどと互換性がなく、決定(yes / no)問題のみに関係します。効果的に同等である離散対数問題の決定問題バージョンを検討することができます。

離散ログ(決定問題)。プライム所与、ジェネレータZ × N乗算ユニットはモジュロNを、整数0 < C < N、及び上限B Nを、そこに存在するかどうかを決定1 L Bよう。NaZN×N0<c<NbN1LbaLc(modN)

これにより、効率的に解くことができれば、バイナリ検索によってNを法とするlog ac)を実際に計算できます。次に、この問題がどの複雑度クラスに属するかを尋ねます。約束の問題として表現していることに注意してください:が素数であるという要件を一時停止することで決定問題に拡張できますが、これらの制限が保持する条件を追加します問題の「はい」インスタンス。Z × NNaZN×


離散ログはBQPにあります。
離散対数の計算にShorのアルゴリズムを使用すると(量子コンピューターでの素因数分解と離散対数の多項式時間アルゴリズム)、BQPに離散対数を簡単に含めることができます。(テストするかどうかを発電され、実際に、私たちは順番を見つけるために、離散対数アルゴリズムの基礎と同じ紙にショアの注文-見つけるアルゴリズムを使用することができますし、と比較してください。) N - 1aZN×aN1


離散ログはNP∩coNPにあります。
実際にが素数でがジェネレーターである場合、決定問題の 'YES'または 'NO'インスタンスに十分な証明書は一意の整数ように。したがってと条件が成り立つかどうかを証明できることを示すだけで十分です。腕章の以下の暗号の複雑さにAノートを、それがある場合は、両方のことをケース素数であるとは発電機である、それはケースつまり Z × N 0 L < N - 1 LCNaZN×0L<N1R N - 11aLc(modN)aNNaZN×

rN11(modN)andr(N1)/q1(modN)  for primes q dividing N1
定義(順序があるという事実を使用)。ZN×N1
  • 上の制約という証明書との両方のホールドは素因数のリストになり割る、私たちは、上記の合同制約をテストすることができます。(必要に応じてAKSテストを使用して各が素数であるかどうかをテストし、それらの素数のみで素数分解を見つけることにより、これらがすべて素因数であることをテストできます。)Naq1,q2,N1qjN1N1

  • 証明書の制約の1つということまたは整数であろう失敗分周、例えばその。この場合、の素数性をテストする必要はありません。これはの次数がより小さいことを直ちに意味するため、が素数でない場合にのみ乗法群の生成元になります。NaqN1a(N1)/q1(modN)qaN1N


3

一般的な最悪のシナリオでは、Niel de Beaudrapの答えは正しいです。私の知る限りです。

ただし、素因数が小さい場合、Pohlig-Hellmanアルゴリズムは時間の対数を求め。したがって、この場合、離散ログ問題はます。そのため、暗号化プロトコルがこの問題の難易度に依存する場合、が大きな素因数を持つように、モジュラスを選択することが重要です。N1O(log2(N))PNN1


-1

以来、次に。(ブルートフォースの意味はEXPです。)b = O N |a|=O(N)b=O(N)

非決定的マシンの場合、Pでモジュラーべき乗を行うことができるため、多項式の目撃があります(つまり、問題はます)。NP

離散対数はPではないという理論は、現代の暗号の基礎ですが、それは明らかに証明されていません。NPP

Shorのメソッド(そのウィキペディアのページにリンクされています)は、量子コンピューターで多項式時間で実行されます。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.