2020年度 人工知能学会全国大会(第34回)

講演情報

オーガナイズドセッション

オーガナイズドセッション » OS-17 AIと制約プログラミング

[2N5-OS-17b] AIと制約プログラミング (2)

2020年6月10日(水) 15:50 〜 17:30 N会場 (jsai2020online-14)

宋 剛秀(神戸大学)、沖本 天太(神戸大学)

16:10 〜 16:30

[2N5-OS-17b-02] ZDDを用いた被覆配列の生成について

山下 慶介1、〇土屋 達弘1 (1. 大阪大学)

キーワード:ZDD、被覆配列

本研究では,水準の大きい被覆配列を計算機で求める方法を提案する.被覆配列は組み合わせデザインの一種であり,ソフトウェアテスト等の応用を有す.すべてのt個の因子間におけるすべての水準の組み合わせがいずれかの行に出現するとき,その配列を強度tの被覆配列と呼ぶ.このような組み合わせはtに従って指数的に増加するため,強度の大きい被覆配列を現実的な時間で求めることは困難であった.本研究では,データ構造としてZDDを用いて組み合わせを管理,操作することで,この問題の解決を図る.実験の結果,提案手法によって強度7以上の被覆配列を求めることができることが分かった.

講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。

パスワード