[論文レビュー] Extremal problems on identifying codes in digraphs and Bondy's theorem on induced subsets

Florent Foucaud, Reza Naserasr+1 more|arXiv (Cornell University)|Oct 14, 2010

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

ひとこと要約

本稿は、頂点集合全体しか識別コードとならない有限および無限有向グラフを分類し、有向グラフにおける識別コードの極値例を確立する。この問題を集合系に関するボンディの定理に結びつけることで、識別コード問題および定理の境界の両方の極値構造を同定する。

ABSTRACT

An identifying code of a (di)graph $G$ is a dominating subset $C$ of the vertices of $G$ such that all distinct vertices of $G$ have distinct (in)neighbourhoods within $C$. In this paper, we classify all finite digraphs which only admit their whole vertex set in any identifying code. We also classify all such infinite oriented graphs. Furthermore, by relating this concept to a well known theorem of A.~Bondy on set systems we classify the extremal cases for this theorem.

研究の動機と目的

• 適切な識別コードをもたない有限有向グラフ、すなわち識別コードとして頂点集合全体しか存在しないものについての特徴付けを行う。
• この分類を無限有向グラフに拡張し、頂点集合全体が唯一の識別コードであるような構造的性質を同定する。
• 有向グラフにおける識別コードの極値例を、集合系に関するボンディの定理および誘導部分集合と関連付ける。
• ボンディの定理の境界に等号が成立する極値構造を、識別コード理論の知見を用いて同定する。

提案手法

• 有向グラフにおける識別コードを、各頂点がコード内でのイン・ネighbourhood もしくはアウト・ネighbourhood を一意に持つ支配集合として定義する。
• コード内の近傍によってすべての頂点を区別できるような、真の部分集合が存在しない構造的制約を分析する。
• 極値集合論の技法を用いて、頂点の近傍集合を部分集合族としてモデル化する。
• 誘導部分集合の数を制限するボンディの定理を適用し、極値構造を導出する。
• ボンディの定理における等号成立ケースを分析することで、識別コードとして唯一の頂点集合である有向グラフを特徴付ける。
• 識別コードの極値構造とボンディの定理が記述する極値集合系との双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの有限有向グラフが適切な識別コードをもたず、唯一の識別コードとして頂点集合全体しか存在しないのか？
• RQ2 無限有向グラフにおいて、頂点集合全体が唯一の識別コードであるような構造的性質は何か？
• RQ3 有向グラフにおける識別コードの極値例は、ボンディの定理における誘導部分集合の極値例とどのように対応するか？
• RQ4 識別コード理論における極値構造と、ボンディの定理が形式化する極値集合論における構造との関係は何か？
• RQ5 ボンディの定理における極値境界は、有向グラフにおける識別コードの観点から特徴づけられるか？

主な発見

• 識別コードとして頂点集合全体しか存在しないすべての有限有向グラフは、たとえば任意の真の部分集合において区別可能な近傍が存在しないといった構造的性質によって完全に特徴付けられる。
• 無限有向グラフにおいて、頂点集合全体が唯一の識別コードであるのは、各頂点がそのイン・ネighbourhood 構造を任意の真の部分集合で再現できない場合に限られる。
• 有向グラフにおける識別コードの極値構造は、ボンディの定理が記述する誘導部分集合に関する極値集合系と完全に一致する。
• 本稿は、ボンディの定理における等号成立ケース—すなわち誘導部分集合の数が理論的上限に達するケース—が、識別コードとして頂点集合全体しか存在しないケースと一致することを確立した。
• 特徴付けは、極値識別コードと極値集合系との間の深い双対性を明らかにし、ボンディの結果に対する新しい組合せ的解釈を提供する。
• 結果は、識別コードの極値有向グラフが、任意の真の部分集合において、頂点をすべて区別できないイン・ネighbourhood の族を持つものであることを示している。