講演抄録/キーワード |
講演名 |
2021-12-27 10:50
木分解の圧縮および解集合プログラミングによる問合せ ○小島和之・関 浩之(名大) DE2021-16 |
抄録 |
(和) |
グラフの木分解は,グラフデータへの問合せ処理に対する有効なアプローチであるが,木分解自体に大きな計算量を要することが多い.筆者らはこれまで木分解結果を圧縮し直接問合せを行う手法を提案した.しかしこの手法は個々の問題ごとに圧縮データを前提としてアルゴリズムを記述しなければならないという問題があった.
そこで本研究では,問合せ処理に解集合プログラミングを利用し,圧縮データ構造を意識せずに記述したアルゴリズムを,圧縮データを操作するプログラムに変換する手法を提案した.さらに提案手法に基づく問合せ実行ツールをClingoとC++によって実装した.本稿では提案手法を説明した後,最大独立集合問題,3 彩色問題に対する問合せアルゴリズムを解集合プログラミングで記述した実験結果を示す. |
(英) |
Tree decomposition of a graph is an effective approach to solving problems for large graphs while the decomposition itself needs much time in general.In the previous work, we proposed a method of compressing a decomposed tree and directly manipulating the compressed data.However, a query must be manually written assuming a compressed data.
In this paper, we propose a query processing method based on answer set programming.A user can write a query in a declarative way without assuming a compressed data and the query can be translated into a program that directly manipulates a compressed data.The paper shows the experimental results conducted in our prototype system implemented by Clingo and C++. |
キーワード |
(和) |
グラフ / 木分解 / 圧縮 / 解集合プログラミング / Clingo / / / |
(英) |
graph / tree decomposition / compression / answer setprogramming / Clingo / / / |
文献情報 |
信学技報, vol. 121, no. 314, DE2021-16, pp. 7-12, 2021年12月. |
資料番号 |
DE2021-16 |
発行日 |
2021-12-20 (DE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
DE2021-16 |