[論文レビュー] Counting Temporal Paths

Jessica Enright, Kitty Meeks+1 more|arXiv (Cornell University)|Feb 24, 2022

Opportunistic and Delay-Tolerant Networks被引用数 3

ひとこと要約

本稿は、特定の時刻にのみ存在する辺を持つ動的グラフにおける時間的パスの数え上げの計算複雑性を調査する。主な時間的パスまたは最速時間的パスの数え上げは#P困難であることが示され、しかし、パラメータ化されたアルゴリズムや近似アルゴリズムを通じて、帰属頂点数や木幅が有界であるなどの構造的制約下で取り扱い可能なケースが同定される。これにより、正確かつ効率的な解法が得られる。

ABSTRACT

The betweenness centrality of a vertex v is an important centrality measure that quantifies how many optimal paths between pairs of other vertices visit v. Computing betweenness centrality in a temporal graph, in which the edge set may change over discrete timesteps, requires us to count temporal paths that are optimal with respect to some criterion. For several natural notions of optimality, including foremost or fastest temporal paths, this counting problem reduces to #TEMPORAL PATH, the problem of counting all temporal paths between a fixed pair of vertices; like the problems of counting foremost and fastest temporal paths, #TEMPORAL PATH is #P-hard in general. Motivated by the many applications of this intractable problem, we initiate a systematic study of the parameterised and approximation complexity of #TEMPORAL PATH. We show that the problem presumably does not admit an FPT-algorithm for the feedback vertex number of the static underlying graph, and that it is hard to approximate in general. On the positive side, we prove several exact and approximate FPT-algorithms for special cases.

研究の動機と目的

• 動的グラフにおける時間的パスの数え上げのパラメータ化および近似複雑性を分析すること。
• 構造的グラフパラメータの下で、主な時間的パスまたは最速時間的パスの数え上げが取り扱い可能かどうかを特定すること。
• 特殊なグラフクラスにおける時間的パスの数え上げの正確および近似アルゴリズムを開発すること。
• 時間的パスの数え上げと時間的媒介性中心性の計算との間の関係を確立すること。

提案手法

• 静的グラフにおけるパスの数え上げの一般化として#Temporal Pathを提案し、非減少の時間ラベルを持つ非厳密時間的パスに焦点を当てる。
• 主なパスまたは最速パスの数え上げ問題を#Temporal Pathに還元し、Valiantの枠組みを用いてその#P困難性を示す。
• パラメータ化された複雑性技術を適用し、帰属頂点数および木幅の下での難易度を分析する。
• 木幅が有界またはパス長が有界な特殊ケースに対して、正確および近似FPTアルゴリズムを導入する。
• 動的プログラミングおよび木分解を用いて、構造的時間的グラフに対する効率的アルゴリズムを設計する。
• 還元および難易度結果を用いて、帰属頂点数をパラメータとするFPTアルゴリズムが存在しないこと（FPT = #W[1]でない限り）を示す。

実験結果

リサーチクエスチョン

• RQ1 時間的パスの数え上げは、基礎となるグラフの帰属頂点数をパラメータとして固定パラメータ可 tractable か？
• RQ2 主なパスまたは最速時間的パスの数え上げに対して、効率的な近似アルゴリズムを設計できるか？
• RQ3 どのような構造的パラメータが、#P困難性にもかかわらず数え上げ問題の取り扱いやすさをもたらすか？
• RQ4 時間的パスの数え上げの複雑性は、時間的媒介性中心性とどのように関連しているか？
• RQ5 木幅またはパス長が有界である場合に、#Temporal PathにFPTアルゴリズムが存在するか？

主な発見

• 時間的パスの数え上げは、非減少の時間ラベルを持つパスに制限しても#P困難である。
• 基礎となるグラフの帰属頂点数をパラメータとするFPTアルゴリズムは、おそらく存在しない。
• 木幅およびパス長をパラメータとする#Temporal Pathに対してFPTアルゴリズムが存在する。
• 特定の構造的制約下では、誤差が有界な近似アルゴリズムが可能である。
• 一般には、強い制限のもとでも近似は難しいままである。
• 本研究では、時間的パスの数え上げと時間的媒介性中心性の間の直接的な関係を確立し、後者の問題が#P困難であることを示した。