概要

符号理論は、情報を保存・送信・処理しやすい形で表現する方法を調べる数学および工学の分野である。実践上は、メッセージをよりコンパクトにし、安全性を高め、ノイズに対して頑健にするにはどうすればよいかが問われる。大きく分けると、ソース符号化(データを小さくすること)とチャネル符号化(送信や保存の途中で生じる誤りからデータを守ること)が主要な目的である。

基本概念と特性

符号は、元のメッセージを有限アルファベットの記号列へ写像する。重要な性能指標には、(どれだけ冗長性が追加されるか)、距離(符号語間の距離で、誤り検出・訂正能力を左右する)、および符号化と復号の計算複雑性がある。よく研究される符号族には次のようなものがある。

  • ブロック符号 — 固定長入力から固定長出力へ写像する(例: 線形符号)。
  • 畳み込み符号 — 直近の入力を組み合わせて出力を生成するストリーミング符号。
  • ターボ符号とLDPC符号 — 高性能通信システムで用いられる現代的な符号族。
  • ソース符号 — 元データから冗長性を取り除く圧縮アルゴリズム。

歴史と理論的基盤

符号の初期の研究は、電信、電話、のちには無線通信やデジタル保存の実用的な必要から発展した。重要な進展は、雑音のある通信路上で信頼できる通信の限界を定量化する理論的枠組みである。これにより、率と信頼性の最適なトレードオフの研究が進み、その限界に近づく構成的な符号族が生み出された。

応用と例

符号化の手法は現代技術のあらゆる所に見られる。誤り訂正符号は、ハードディスク、ソリッドステートストレージ、衛星通信、携帯通信回線、深宇宙探査機に組み込まれている。ソース符号化アルゴリズムはファイル圧縮やマルチメディア形式の基盤であり、データ圧縮や一般的なデータ表現の議論と関係が深い。暗号システムでは、機密性や完全性のために符号の発想が用いられることがあり、関連概念は暗号理論を参照するとよい。

区別点と注目すべき事実

サイズ削減を目的とする符号化(可逆圧縮や非可逆圧縮)と、誤りから守ることを目的とする符号化を区別すると理解しやすい。いくつかの方式は、層状のシステムで両方の目的を組み合わせる。実用的な符号設計では、理論性能だけでなく実装コストとのバランスが重要であり、復号速度、メモリ使用量、特許や標準化の制約が、特定の製品やネットワークでどの符号が使われるかを左右することが多い。