[論文レビュー] Mark sequences in digraphs

S. Pirzada, U. Samee|ArXiv.org|Sep 5, 2006

Graph theory and applications参考文献 2被引用数 8

ひとこと要約

この論文は、k-有向グラフにおけるマーク列（出次数と入次数の差を係数でスケーリングしたもの）として実現可能であるための必要十分条件を確立し、特に2-有向グラフにおける非可約かつ一意実現可能なマーク列を特徴づけている。主な貢献は、2-有向グラフにおける一意実現可能なマーク列の完全な特徴づけである：ある列が一意実現可能であるための必要十分条件は、そのすべての非可約成分が[0]または[1,3]であることである。

ABSTRACT

A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing order to be a sequence of numbers, called marks (k-scores), attached to vertices of a k-digraph. We characterize irreducible mark sequences in k-digraphs and uniquely realizable mark sequences in 2-digraphs.

研究の動機と目的

• 非負整数の非減少列がk-有向グラフのマーク列として実現可能であるための必要十分条件を特定すること。ここでマークはp_v = k(n-1) + d+(v) - d-(v)として定義される。
• k-有向グラフにおける非可約マーク列を特徴づけ、分解が不可能な構造的制約を同定すること。
• 2-有向グラフにおける一意実現可能なマーク列を特定し、完全に特徴づけること。すなわち、同型を除いて唯一の実現を持つ列を指す。
• トーナメントおよび有向グラフにおけるスコア列に関する既知の結果を、多重辺および対称的矢印を許容するk-有向グラフのより広い文脈に一般化すること。
• 与えられたマーク列を持つすべてのk-有向グラフの中で、トランスミティブなものが弧の数を最小化することを確立し、構造と極値的性質を関連づけること。

提案手法

• k-有向グラフにおける頂点vのマークをp_v = k(n-1) + d+(v) - d-(v)として定義し、0 ≤ p_v ≤ 2k(n-1)を満たすようにし、非減少順に並べたマーク列P = [p_i]を形成する。
• 変換に基づくアプローチを用いて、2-有向グラフにおける非トランスミティブな1-トリプレットを、マーク列を保存したままトランスミティブなものに体系的に変換できることを示し、構造的解析を可能にする。
• マーク列における非可約性の概念を導入する。ここで列が非可約であるとは、互いに独立した部分に分割できず、それぞれが別個の部分有向グラフを形成することができないことを意味する。
• 3頂点間のすべての可能な矢印構成（12種類）を分類し、変換によってマーク列を保存する構成を特定することで、2-有向グラフの構造を分析する。
• 構成的アプローチを用いて、与えられたマーク列を持つ任意の2-有向グラフが、弧の数を減らしながらトランスミティブな形に変換可能であることを示し、トランスミティブ実現における弧数の最小性を証明する。
• マーク列が2-有向グラフで一意実現可能であるための必要十分条件として、すべての非可約成分が[0]または[1,3]であること、頂点ペアおよび成分構造に関する場合分けを用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 非負整数の非減少列がk-有向グラフのマーク列として実現可能であるための必要十分条件は何か？
• RQ2 k-有向グラフにおけるどのマーク列が非可約であり、非可約性を定義する構造的性質は何か？
• RQ3 2-有向グラフにおけるマーク列が一意実現可能であるとは、同型を除いて唯一の2-有向グラフ実現を持つことを意味するが、どのような条件下で成立するか？
• RQ4 非推移的1-トリプレットの変換が2-有向グラフにおけるマーク列および弧数に与える影響は何か？また、これにより最小実現に関する何が示唆されるか？
• RQ5 トーナメントにおけるマーク列の実現の一意性と、そのダブルトーナメント版との関係は何か？

主な発見

• 非負整数の非減少列Pは、k-有向グラフにおけるマーク列として実現可能であるための必要十分条件は、すべての1 ≤ k ≤ nに対して∑_{i=1}^k p_i ≥ k(n + k - 2)を満たすことであり、k = nのとき等号が成り立つ。
• 与えられたマーク列を実現するすべてのk-有向グラフの中で、トランスミティブなものは弧数が最小である。これにより、トランスミティブ性が極値的性質として特徴づけられる。
• 2-有向グラフにおけるマーク列が一意実現可能であるための必要十分条件は、そのすべての非可約成分が[0]または[1,3]であることである。他の構成では一意実現が不可能であることを意味する。
• マーク列[4i−4]_{1}^{n}は、すべての非可約成分が[0]であるため、一意実現可能である。これは一般化された特徴づけを確認する。
• トーナメントのマーク列は一般には一意実現可能ではない。例えば、[2,4,6]という列は少なくとも2つの非同型な2-有向グラフ実現を持つ。
• トーナメントのマーク列が一意実現可能であるための必要十分条件は、対応するダブルトーナメントのマーク列が一意実現可能であることである。これにより、一意性条件がダブル設定へと拡張される。