お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2022-03-06 16:00
解集合プログラミングを用いた制約を満たすラベル付きグラフの列挙
中畑 裕奈良先端大COMP2021-36
抄録 (和) 制約を満たすグラフの列挙は,グラフ理論の研究や,実用上のテストケース生成のために重要である.本稿では解集合プログラミング(ASP)を用いて制約を満たすラベル付きグラフを列挙する手法を提案する.ASPは宣言的プログラミングの一種であり,解の定義を記述すれば制約を満たす解をすべて列挙することができる.本稿では特に理想グラフの部分クラスである弦グラフ,スプリットグラフ,しきい値グラフに対し複数のASP符号化を提案し,それらの性能を実験的に比較する. 
(英) Enumeration of constrained graphs is important for both graph-theoretical study and testcase generation. We propose a method to enumerate constrained labeled graphs using answer set programming (ASP). ASP is a kind of declarative programming, and we can enumerate solutions by writing the definition of the solutions. We propose several encodings for subclasses of perfect graphs: chordal, split, and threshold graphs. We compare the efficiency of the encodings by experiment.
キーワード (和) グラフ / 理想グラフ / 列挙 / 解集合プログラミング(ASP) / / / /  
(英) Graph / Perfect graph / Enumeration / Answer Set Programming / / / /  
文献情報 信学技報, vol. 121, no. 407, COMP2021-36, pp. 26-30, 2022年3月.
資料番号 COMP2021-36 
発行日 2022-02-27 (COMP) 
ISSN Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード COMP2021-36

研究会情報
研究会 COMP  
開催期間 2022-03-06 - 2022-03-06 
開催地(和) オンライン開催 
開催地(英) Online 
テーマ(和)  
テーマ(英)  
講演論文情報の詳細
申込み研究会 COMP 
会議コード 2022-03-COMP 
本文の言語 日本語 
タイトル(和) 解集合プログラミングを用いた制約を満たすラベル付きグラフの列挙 
サブタイトル(和)  
タイトル(英) Enumerating Labeled Graphs Under Given Constraints Using Answer Set Programming 
サブタイトル(英)  
キーワード(1)(和/英) グラフ / Graph  
キーワード(2)(和/英) 理想グラフ / Perfect graph  
キーワード(3)(和/英) 列挙 / Enumeration  
キーワード(4)(和/英) 解集合プログラミング(ASP) / Answer Set Programming  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 中畑 裕 / Yu Nakahata / ナカハタ ユウ
第1著者 所属(和/英) 奈良先端科学技術大学院大学 (略称: 奈良先端大)
Nara Institute of Science and Technology (略称: NAIST)
第2著者 氏名(和/英/ヨミ) / /
第2著者 所属(和/英) (略称: )
(略称: )
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2022-03-06 16:00:00 
発表時間 30分 
申込先研究会 COMP 
資料番号 COMP2021-36 
巻番号(vol) vol.121 
号番号(no) no.407 
ページ範囲 pp.26-30 
ページ数
発行日 2022-02-27 (COMP) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会