符号理論 では、復号化とは、受信したメッセージを特定のコードのコードワードに変換するプロセスです。メッセージをコードワードにマッピングする一般的な方法は数多くあります。これらは、バイナリ対称チャネルなどのノイズの多いチャネルを介して送信されたメッセージを復元するためによく使用されます。
表記
は長さのバイナリコードとみなされます。はの要素であり、 はそれらの要素間の距離です。
理想的な観察者のデコード
メッセージ が与えられた場合、理想的な観測者復号化によってコードワード が生成されます。このプロセスの結果、次のソリューションが得られます。
たとえば、送信後に メッセージとして受信される可能性が最も高いコードワードを選択できます。
デコード規則
各コードワードには予想される可能性はありません。受信メッセージに変化する可能性が等しいコードワードが複数ある可能性があります。このような場合、送信者と受信者は事前にデコード規則に同意する必要があります。一般的な規則には次のものがあります。
最大尤度復号法
受信ベクトルが与えられた場合、最大尤度復号は、最大となる符号語を選択する。
- 、
つまり、送信されたが与えられた場合に、受信されたが最大となる確率を最大化するコードワードである。すべてのコードワードが等しく送信される可能性がある場合、この方式は理想的な観測者復号と同等である。実際、ベイズの定理により、
を固定すると、は再構成され、 すべてのコードワードが送信される可能性が等しいため は定数になります。したがって、 が最大化されるときとまったく 同じときに は 変数 の関数として最大化され 、主張が成り立ちます。
理想的な観察者デコードと同様に、非一意デコードについても規則に同意する必要があります。
最大尤度復号問題は整数計画問題としてモデル化することもできる。[1]
最尤復号アルゴリズムは、一般化分配法則を適用して解決される「積関数の周辺化」問題の一例である。[2]
最小距離デコード
受信したコードワードが与えられると、最小距離復号化ではハミング距離を最小化するコードワードを選択します。
つまり、にできるだけ近いコードワードを選択します。
離散無記憶通信路における誤りの確率が厳密に半分未満である場合、最小距離復号法は最大尤度復号法と同等であることに注意されたい。
それから:
これは(p は半分未満なので)d を最小化することによって最大化されます。
最小距離デコードは、最近傍デコードとも呼ばれます。標準配列を使用して支援または自動化できます。最小距離デコードは、次の条件が満たされている場合に適切なデコード方法です。
- エラーが発生する確率は、シンボルの位置とは無関係です。
- エラーは独立したイベントです。メッセージ内の 1 つの位置のエラーは他の位置に影響を与えません。
これらの仮定は、バイナリ対称チャネルを介した送信では妥当である可能性があります。ただし、ディスク上の 1 つの傷が隣接する多数のシンボルまたはコードワードでエラーを引き起こす可能性がある DVD などの他のメディアでは不合理である可能性があります。
他のデコード方法と同様に、一意でないデコードについては規則に同意する必要があります。
症候群の解読
シンドローム復号法は、ノイズの多いチャネル、つまりエラーが発生するチャネル上で線形コードを復号する非常に効率的な方法です。本質的には、シンドローム復号法は縮小されたルックアップテーブルを使用した最小距離復号法です。これはコードの線形性によって可能になります。[3]
が長さで最小距離のパリティ検査行列を持つ線形コードであると仮定する。すると、明らかに は最大で訂正可能である。
チャネルによって発生したエラー(エラーが 個以下であれば、最小距離デコードによって誤って送信されたコードワードが正しくデコードされるため)。
ここで、コードワードがチャネルを介して送信され、エラーパターンが発生したとします。次に、が受信されます。通常の最小距離復号化では、サイズのテーブルでベクトルを検索し、最も近い一致、つまり、要素(必ずしも一意ではない)を探し ます。
すべての に対して となります。シンドローム復号化では、パリティ行列の次の特性を利用します。
すべての に対して。受信された のシンドロームは次のように定義されます。
バイナリ対称チャネルで ML デコードを実行するには、にマッピングするサイズ の事前計算済みテーブルを検索する必要があります。
これは、標準的な配列のデコードよりも複雑さが大幅に軽減されていることに注意してください。
しかし、送信中にエラーが1000件以上発生しなかったと仮定すると、受信側はさらにサイズが縮小されたテーブルで 値を検索することができる。
リストのデコード
情報セットのデコード
これは、すべてのエラー位置を推測するよりも、十分なエラーのない位置を推測する方が簡単であるという観察に基づいた ラスベガス確率法のファミリーです。
最も単純な形式はプランゲによるものです。 をエンコードに使用するの生成行列とします。の列をランダムに選択し、の対応する部分行列で表します。 は妥当な確率でフルランクを持ちます。つまり、 をメッセージ の任意のコードワードの対応する位置の部分ベクトルとすると、を復元できます。したがって、受信ワードのこれらの位置にエラーが含まれず、送信コードワードの位置と等しければ、復号化できます。
エラーが発生した場合、そのような幸運な列選択の確率は で与えられます。
この方法は、例えばStern [4]やCanteautとSendrier [5]によって様々な方法で改良されてきました。
部分応答最大尤度
部分応答最大尤度 ( PRML ) は、磁気ディスクまたはテープ ドライブのヘッドからの弱いアナログ信号をデジタル信号に変換する方法です。
ビタビデコーダー
ビタビ デコーダは、畳み込みコードに基づく前方誤り訂正を使用してエンコードされたビットストリームをデコードするためにビタビ アルゴリズムを使用します。ハミング距離は、ハード決定ビタビ デコーダのメトリックとして使用されます。2乗 ユークリッド距離は、ソフト決定デコーダのメトリックとして使用されます。
最適決定復号アルゴリズム (ODDA)
非対称TWRCシステムのための最適決定復号アルゴリズム(ODDA)。[説明が必要] [6]
参照
参考文献
- ^ Feldman, Jon; Wainwright, Martin J.; Karger, David R. (2005 年 3 月). 「線形計画法を使用したバイナリ線形コードのデコード」. IEEE Transactions on Information Theory . 51 (3): 954–972. CiteSeerX 10.1.1.111.6585 . doi :10.1109/TIT.2004.842696. S2CID 3120399.
- ^ Aji, Srinivas M.; McEliece, Robert J. (2000 年 3 月). 「一般化分配法則」(PDF) . IEEE Transactions on Information Theory . 46 (2): 325–343. doi :10.1109/18.825794.
- ^ ボイテルスパッハー、アルブレヒト;ユテ州ローゼンバウム (1998)。射影幾何学。ケンブリッジ大学出版局。 p. 190.ISBN 0-521-48277-1。
- ^ Stern, Jacques (1989). 「小さな重みのコードワードを見つける方法」。コーディング理論とアプリケーション。コンピュータサイエンスの講義ノート。第388巻。Springer-Verlag。pp . 106–113。doi :10.1007/ BFb0019850。ISBN 978-3-540-51643-9。
- ^ 太田一夫、ペイ・ディンイー編 (1998)。暗号学の進歩 - ASIACRYPT'98。コンピュータサイエンスの講義ノート。第 1514 巻。pp. 187–199。doi : 10.1007 /3-540-49649-1。ISBN 978-3-540-65109-3. S2CID 37257901。
- ^ Siamack Ghadimi (2020)、非対称TWRCシステムのための最適決定復号アルゴリズム(ODDA)、Universal Journal of Electrical and Electronic Engineering
さらに読む
- ヒル、レイモンド (1986)。符号理論入門。オックスフォード応用数学および計算科学シリーズ。オックスフォード大学出版局。ISBN 978-0-19-853803-5。
- Pless, Vera (1982)。誤り訂正符号理論入門。Wiley-Interscience 離散数学シリーズ。John Wiley & Sons。ISBN 978-0-471-08684-0。
- van Lint, Jacobus H. (1992).符号理論入門.数学の大学院テキスト(GTM). 第86巻 (第2版). Springer-Verlag . ISBN 978-3-540-54894-2。
