|
ブール関数(ブールかんすう、Boolean Function)とは、数学において、非負整数 ''k'' 個のブール領域 B の引数からブール領域の値を得る関数 f : B''k'' → B を指す。''k'' = 0 であるような場合、この関数は単に定数要素 B を表す。 ブール関数は他の数理科学分野では別の名前で知られていることも多い。たとえば協力ゲーム理論で「シンプルゲーム」(投票ゲーム) とよばれる概念がそれに該当し、社会選択理論の重要な問題を解くために応用されている。 ブール関数を一般化すると、''f'' : ''X'' → B という形式の関数において、''X'' が任意の集合である場合を「ブール値関数」と呼ぶ。''X'' = M = であるとき、''f'' は無限の「二値数列; binary sequence」すなわち 0 と 1 の無限列である。''X'' = = であるとき、''f'' は長さ ''k'' の二値数列である。そのような関数は 個存在する。これは計算複雑性理論における問題で基本的な役割を果たす他、デジタルコンピュータの論理回路の設計でも利用される。ブール関数の特徴は暗号理論においても重要であり、特に共通鍵暗号の設計で重要である。 ==リード-マラー標準形== ブール関数は積(AND)の総和(XOR)で一意に記述できる。これを リード-マラー標準形と呼ぶ。 ここで である。 従って、列 の値の列もブール関数を一意に表している。ブール関数の代数的次数は、1つの(AND)項に現われる の個数で表される。つまり、 の次数は 1(線形)であり、 の次数は 3(立方)である。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ブール関数」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Boolean function 」があります。 スポンサード リンク
|