Core Concepts
プライウェイツ互換性グラフ(PCG)の2つの自然な一般化であるk-OR-PCGとk-AND-PCGを導入し、これらのクラスとPCGクラス、k-interval-PCGクラス、および他のグラフクラスとの関係を調査する。特に、任意のグラフがk-interval-PCG、k-OR-PCG、k-AND-PCGのいずれかに属するための最小のkについて上界を示す。また、特定のグラフクラスについてはこれらの一般的な上界を改善する。さらに、任意の整数kについて、k-AND-PCGに属さないグラフ、およびk-OR-PCGに属さないグラフが存在することを示す。
Abstract
本論文では、プライウェイツ互換性グラフ(PCG)の2つの自然な一般化を導入する。
k-OR-PCG:
k個の木とk個の区間を用いて定義される。
ある頂点対{u,v}がエッジとなるのは、少なくとも1つの木Ti上の距離dTi(u,v)がその対応する区間Iiに含まれる場合である。
k-interval-PCGクラスは、k-OR-PCGクラスの特殊ケースである。
k-AND-PCG:
k個の木とk個の区間を用いて定義される。
ある頂点対{u,v}がエッジとなるのは、全てのTi上の距離dTi(u,v)がその対応する区間Iiに含まれる場合である。
論文では以下の結果を示す:
任意の整数kについて、k-interval-PCGクラスに含まれないバイパータイトグラフが存在することを示す。これにより、全てのグラフを含むような定数kは存在しないことが分かる。
任意のグラフがk-OR-PCGおよびk-AND-PCGに属するための最小のkについて、上界を与える。
特定のグラフクラス(平面グラフ、シリーズ並列グラフ、1平面グラフ)について、より良い上界を示す。
任意の整数kについて、k-AND-PCGに属さないグラフ、およびk-OR-PCGに属さないグラフが存在することを示す。
Stats
任意の整数kについて、k-interval-PCGクラスに含まれないバイパータイトグラフが存在する。
最大次数が∆の任意のグラフは、min{⌈3∆+2
5 ⌉, ⌈n−7
3 ⌉+ 1}-OR-PCGである。
最大次数が3以下の連結グラフは2-OR-PCGである。
偶数次数の正則グラフは∆
2 -OR-PCGである。
奇数次数の正則バイパータイトグラフは⌈∆
2 ⌉-OR-PCGである。
平面グラフは3-OR-PCGである。
シリーズ並列グラフは2-OR-PCGである。
1平面グラフは4-OR-PCGである。
任意のグラフはmin{⌊n
2 ⌋, ⌈3(n−δ)−1
5 ⌉, ∆log1+o(1) ∆}-AND-PCGである。
平面グラフは3-AND-PCGである。