权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

圧縮索引を用いたグラフ上のウォーク列挙及び数え上げ

使用压缩索引对图进行遍历枚举和计数

基本信息

批准号：
15J01765
负责人：
青木洋士
金额：
$ 1.09万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-24 至 2017-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15J01765/
关键词：
ウォーク列挙数え上げ圧縮索引系列二分決定グラフ SeqBDD

项目摘要

"汎用的なウォークセット索引の構築手法の設計"を行うために，グラフの任意の2点間のk-ステップウォークの列挙・索引化を可能とするデータ構造をSeqBDDを用いて構築するアルゴリズムの開発及び計算機実験を行った．これらの結果について，[1]にて発表を行った．さらに，構築したデータ構造を用いて，"訪問回数制限ウォークの列挙，数え上げ問題"に取り組むために，グラフ上の頂点を訪問する回数(頂点被覆回数)に下限と上限の制限を与えたウォークを列挙・索引化する手法を考案・実装した．これらの結果について，[2]にて発表を行った．さらに，サブセッティング法と呼ばれるZDDを高速に構築するための手法を本手法で用いるSeqBDDにも適用する方法を考案し，これを用いて訪問回数制限ウォークをより高速に列挙・索引化する手法について，[3]にて発表を行った．これらの研究による手法は，愚直に1つずつ列挙することが困難な膨大な数のウォークを索引として非明示的にまとめて列挙することができている．本年度の研究では，ウォーク列挙の基盤となる"2点間のk-ステップウォーク"を列挙・索引化することに成功し，構築した索引を特定のウォークを見つけることに応用するための一例として，"訪問回数制限ウォーク"の列挙・索引化を行った．

"Design of a general-purpose construction technique for indexing" を行うために, グラフのarbitrary 2-point room のk-ステップウォークのColumn/indexing is possible using the SeqBDD structure and the computer can be used to construct it.これらのRESULTSについて,[1]にて発 tableを行った.さらに, structuring したデータ struct をいて, "access number limit ウォークの线挙, number え上げproblem" にGETり组むために, グラフ上のThe number of vertex visits (the number of vertex covers) is the lower limit and the upper limit, and the indexing method is the lower limit and the upper limit.これらのRESULTSについて,[2]にて発 tableを行った．さらに, サブセッティング法と氰れるZDDをHigh-speed にconstructionするためのtechniqueをThis technique is usedいるSeqBDDにもapplicable する方The method is to test the case, and the number of access times is limited by the method, and the high-speed column and indexing technique are used, and [3] the table is rowed.これらの Research による Technique は, Stupid straight 1 つずつ List することが Difficulty な Expansion なNumber of のウォークをindex としてnon-explicit にまとめて rank挙することができている. This year's research has been completed, and the indexing system has been successfully constructed.たindexをspecificのウォークを见つけることに応用するためのan exampleとして, "Access number limit ウォーク" column ・Indexing を行った．