文献

J-GLOBAL ID：201602005611056230   整理番号：70A0260784

ブール関数への応用を考慮した被覆(Covering)問題の簡単化

Simplification of the covering problem with application to boolean expressions.

著者 (1件)： BREUER M A
資料名： J Assoc Comput Mach  (Journal of the Association for Computing Machinery)
巻： 17  号： 1  ページ： 166-181  発行年： 1970年 
JST資料番号： C0267A  ISSN： 0004-5411  CODEN： JACOA   資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 被覆(Covering)問題は,線形不等式系の制限の下で,ある線形関数を最小にする問題として定式化できる。本文では,この線形不等式系を簡単化する方法を分析した。特に二つの線形不等式を一つの線形不等式に直せる条件を研究する。このことにより,簡単化された系の不等式の数の下限が導かれる。さらに,この簡単化の方法の統計的分析を示す。最後に被覆問題の特別な場合として,ブール関数の簡単化について考察した;写図3表5参22

シソーラス用語： 数理計画法 ,  整数計画法 ,  線形計画法 ,  論理関数
準シソーラス用語： 被覆問題

タイトルに関連する用語 (3件)： ブール関数 ,  応用 ,  簡単化