文献

J-GLOBAL ID：202002212676032623   整理番号：20A0744799

述語によって定義されたクラスにおけるその実行に十分な部分Boole関数の変数の部分集合の発見【JST・京大機械翻訳】

Finding the Subsets of Variables of a Partial Boolean Function Which Are Sufficient for Its Implementation in the Classes Defined by Predicates

著者 (1件)： Parvatov N. G. (Tomsk State University, Tomsk, Russia)
資料名： Journal of Applied and Industrial Mathematics  (Journal of Applied and Industrial Mathematics)
巻： 14  号： 1  ページ： 186-195  発行年： 2020年 
JST資料番号： W4521A  ISSN： 1990-4789  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 部分Boole関数のクラスKとn変数の部分Boole関数fを与えると,その変数のサブセットUは,Kにおけるfの拡張が存在するならば,Kにおけるfの実行に対して十分と呼ばれる。著者らは,Kにおけるfの実装に十分なすべてのサブセットを認識する問題を考察した。関係により定義されたいくつかのクラスに対して,O(2~nn2)ビット演算の複雑さによりこの問題を解くアルゴリズムを提案した。特に,すべての部分的Boole関数のクラスP_2*とすべての単調部分Boole関数のクラスM_2*に対するこの複雑さのいくつかのアルゴリズムを提示した。提案したアルゴリズムはWalsh-HadamardとMobius変換を用いた。Copyright Pleiades Publishing, Ltd. 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *Boole関数 ,  演算
準シソーラス用語： *述語 , 【Automatic Indexing@JST】

著者キーワード (4件)： 部分Boole関数 ,  変数の十分な部分集合 ,  Walsh-Hadamard変換 ,  Miobius変換

分類 (2件)： 論理代数  (JB03000H) ,  符号理論  (ND02030R)

タイトルに関連する用語 (7件)： 述語 ,  定義 ,  クラス ,  Boole関数 ,  変数 ,  部分集合 ,  発見