到達可能性クエリ． 背景 既存研究 transitive closure: index size がダメだ！ labeling: index time がダメだ！ online: query time がダメだ！ 組み合わせて安定した性能のアルゴリズムを作る！ アルゴリズム バックボーンの構築：代表点を選ぶ，グラフ全…