二値プログラムにおける巡回対称性を扱うための効率的な伝搬法【JST・京大機械翻訳】

van Doornmalen Jasper; Hojny Christopher

プレプリント

J-GLOBAL ID：202202209637784880 整理番号：22P0297642

二値プログラムにおける巡回対称性を扱うための効率的な伝搬法【JST・京大機械翻訳】

Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2022年03月02日プレプリントサーバーでの情報更新日： 2022年03月02日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

バイナリプログラムの対称性の存在は,通常,分岐および結合ソルバの性能を低下させる。本論文では,周期的グループに対する伝搬技術に基づく探索空間から対称解を捨てる効率的な可変固定アルゴリズムを導いた。著者らのアルゴリズムは,対称性の議論から導出できるすべての可能な可変固定を見つけるための保証,すなわち,著者らのアルゴリズムによって見出されるものより,より可変な固定を見つけることができない。バイナリプログラムのあらゆる置換対称性グループが周期的サブグループを持つので,誘導アルゴリズムを使用して任意の対称バイナリプログラムにおける対称性を扱うことができる。実験では,著者らのアルゴリズムが,周期的対称性のための他の可変固定アルゴリズムよりも,対称性をより効率的に取り扱うという数値的証拠も提供する。【JST・京大機械翻訳】

, ,
, , , 【Automatic Indexing@JST】

人工知能 , 電話・データ通信・交換一般 , 計算機システム開発 , アスファルト舗装,たわみ性舗装 , 干渉測定と干渉計

, , ,

前のページに戻る