イグチ　ユキヒロ   Iguchi Yukihiro   井口　幸洋    所属   明治大学  理工学部    職種   専任教授
発表年月日	2023/09/23
発表テーマ	インデックス生成関数表現に必要な複合変数の個数の下界について
会議名	多値論理フォーラム
主催者	多値論理研究会
学会区分	研究会・シンポジウム等
発表形式	口頭（一般）
単独共同区分	共同
国名	日本
開催地名	愛媛県松山市
開催期間	2023/09/23～2023/09/24
発表者・共同発表者	杉山和貴, 笹尾勤，井口幸洋
概要	インデックス生成関数の最適な線形分解を求める際,入力変数の個数をnとすると,最悪O(2n)で計算量が必要である.分枝限定法を使い解を得る場合,分枝順序と限定条件が探索空間の削減に重要である.本稿では,関数の登録ベクトル表中の1の個数とインデックス集合の分割に注目した,新たな限定条件を提案する.より厳しい限定条件を使用すれば,計算量を削減でき,厳密解を効率よく探索できる.いくつかのインデックス生成関数をベンチマークとし計算機実験を行い,提案した限定条件の有用性を示す.