タイトル：エラートレラントアプリケーションのための論理回路の許容関数を用いた簡単化手法について
著者: 岩崎真弥, 市原英行, 岩垣剛, 井上智生
雑誌名：信学技報, vol. 116, no. 478, VLD2016-128
ページ: 145-150
発行月: 3
発行年: 2017
タイプ: techreport
アブストラクト: エラートレラントアプリケーションとは，画像処理や機械学習のように出力の多少の誤差が許容されているアプリケーションである．このようなアプリケーションで使用することを目的とした論理回路では，アプリケーションの許容性を利用して論理を簡単化することができる．本研究では，許容関数を用いたエラートレラントアプリケーションのための論理回路の簡単化問題に着目する．この簡単化問題を効率的に解くために許容関数をBDD（Binary Decision Diagram，二分決定図）で表現し，BDDの特徴を利用した効率的なヒューリスティックアルゴリズムを提案する．実験では，本最適化問題を整数計画（ILP，Integer Linear Programming）問題に変換し，ILPソルバで解く方法も示し，提案手法と比較する．この比較により，提案アルゴリズムは実用的な時間で最適解または準最適解を求められることを示す．
