[論文レビュー] On the Index Coding Problem and its Relation to Network Coding and Matroid Theory

Salim Y. El Rouayheb, Alex Sprintson+1 more|ArXiv.org|Oct 1, 2008

Cooperative Communication and Network Coding参考文献 19被引用数 4

ひとこと要約

本稿では、最適解を保存する効率的な還元を導入することで、インデックスコーディング問題、ネットワークコーディング、およびマトロイド表現の間の根本的な同等性を確立する。ベクタ線形符号がスカラ線形符号を上回ることを証明し、非線形符号がベクタ線形符号でさえも上回ることを示し、インデックスコーディングがネットワークコーディングおよびマトロイド理論の問題の完全な複雑性を捉えていることを示している。

ABSTRACT

The \emph{index coding} problem has recently attracted a significant attention from the research community due to its theoretical significance and applications in wireless ad-hoc networks. An instance of the index coding problem includes a sender that holds a set of information messages $X=\{x_1,...,x_k\}$ and a set of receivers $R$. Each receiver $ρ=(x,H)\in R$ needs to obtain a message $x\in X$ and has prior \emph{side information} comprising a subset $H$ of $X$. The sender uses a noiseless communication channel to broadcast encoding of messages in $X$ to all clients. The objective is to find an encoding scheme that minimizes the number of transmissions required to satisfy the receivers' demands with \emph{zero error}. In this paper, we analyze the relation between the index coding problem, the more general network coding problem and the problem of finding a linear representation of a matroid. In particular, we show that any instance of the network coding and matroid representation problems can be efficiently reduced to an instance of the index coding problem. Our reduction implies that many important properties of the network coding and matroid representation problems carry over to the index coding problem. Specifically, we show that \emph{vector linear codes} outperform scalar linear codes and that vector linear codes are insufficient for achieving the optimum number of transmissions.

研究の動機と目的

• インデックスコーディング問題とより広範なネットワークコーディング問題との間の形式的な関係を確立すること。
• ネットワークコーディングおよびマトロイド表現の性質が、インデックスコーディング問題に移行可能かどうかを調査すること。
• インデックスコーディングおよびネットワークコーディングの文脈におけるスカラとベクタ線形符号の相対的性能を特定すること。
• 非線形符号がインデックスコーディングおよびネットワークコーディングにおいて線形解を上回る役割を果たすかを調査すること。
• インデックスコーディングのインスタンスが、一般のネットワークコーディングおよびマトロイド表現問題の完全な複雑性を捉えうることを示すこと。

提案手法

• 任意のネットワークコーディングインスタンスを、そのネットワークコーディング問題にベクタ線形解が存在する場合かつその場合に限り、そのインデックスコーディングインスタンスに完全なインデックスコードが存在するような等価なインデックスコーディングインスタンスに還元する。
• Mネットワーク構成を用いて、インデックスコーディングにおいてベクタ線形符号がスカラ線形符号よりも低い伝送レートを達成できることを示す。
• マトロイド表現問題をインデックスコーディング問題に還元し、あるマトロイドが体上に多重線形表現を持つことと、対応するインデックスコーディングインスタンスが同じ体上でベクタ線形解を持つことが同値であることを示す。
• 非パプスマトロイドを反例として用いて、ベクタ線形符号がスカラ線形符号を上回ることを実証する。
• 構築されたネットワークにおける線形ネットワーク符号の存在が、対応するインデックスコーディングインスタンスにおける完全なインデックスコードの存在と同値であることを証明する。
• グラフ論的および代数的技法を用いて、ネットワークコーディングおよびマトロイド問題から導かれるインデックスコーディングインスタンスの構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 ネットワークコーディング問題のすべてのインスタンスを、最適解の存在を保存するように等価なインデックスコーディングインスタンスに還元可能か？
• RQ2 ネットワークコーディングで観察されたベクタ線形コーディングの利点は、インデックスコーディング問題においても成立するか？
• RQ3 マトロイド表現問題を、ある問題に解が存在する場合かつその場合に限り、もう一方の問題に解が存在するようにインデックスコーディング問題に還元可能か？
• RQ4 非線形符号はインデックスコーディング問題においてベクタ線形符号を上回るか？そしてこれはネットワークコーディングに何を示唆するか？
• RQ5 インデックスコーディング問題は、一般のネットワークコーディングおよびマトロイド表現問題の完全な複雑性を捉えうるか？

主な発見

• 任意のネットワークコーディング問題のインスタンスは、効率的にインデックスコーディング問題のインスタンスに還元可能であり、そのネットワークコーディング問題にベクタ線形解が存在する場合かつその場合に限り、そのインデックスコーディングインスタンスに完全なインデックスコードが存在する。
• Mネットワーク構成および非パプスマトロイドの例を通じて、インデックスコーディング問題においてベクタ線形符号がスカラ線形符号を上回ることを実証した。
• 非線形符号はインデックスコーディングにおいてベクタ線形符号を上回ることができることを確認し、ベクタ線形符号が最適な伝送回数を達成するには不十分であることを示した。
• マトロイド表現問題はインデックスコーディング問題に還元可能である：あるマトロイドが体上に多重線形表現を持つことと、対応するインデックスコーディングインスタンスが同じ体上でベクタ線形解を持つことが同値である。
• 構築されたインデックスコーディングインスタンスは元の問題の複雑性を保持しており、インデックスコーディング問題がネットワークコーディングおよびマトロイド表現の両者と同等かそれ以上の難易度であることを示した。
• ネットワークコーディング問題から導かれるインデックスコーディングインスタンスの族は単純な4部グラフ構造を持つが、依然として一般のネットワークコーディング問題の本質的複雑性を捉えている。