本論文では、時間グラフの実現問題について研究を行っている。具体的には、与えられた頂点間の最短時間経路の所要時間を満たす時間グラフを構築するか、そのような時間グラフが存在しないことを示すことが目的である。
まず、この問題がNP困難であることを示している。さらに、基礎グラフの構造パラメータに着目し、パラメータ化計算量複雑性の観点から分析を行っている。具体的には、フィードバック頂点数に関してW[1]困難であることを示し、一方でフィードバック辺数に関してFPT(固定パラメータ tractable)アルゴリズムを提案している。
この結果は、時間グラフの実現問題が静的グラフの場合とは大きく異なる計算量複雑性の振る舞いを示すものである。また、最短時間経路に関する性質の解明など、独立した興味深い成果も得られている。
Till ett annat språk
från källinnehåll
arxiv.org
Djupare frågor