[論文レビュー] Minimal clones with few majority operations

Tamás Waldhauser|arXiv (Cornell University)|Feb 10, 2011

Advanced Algebra and Logic参考文献 8被引用数 4

ひとこと要約

この論文は、7つ以下の三項演算子を含む、多数性演算によって生成される最小クローンについて、その構造を特徴づけている。クローン構成の構造的解析と、置換および合成における多数性演算の振る舞いを用いて、このようなクローンが4つより多くの多数性演算子を含むことはできないことを証明し、有限集合上に少ない多数性関数をもつ最小クローンの分類問題を解決した。

ABSTRACT

We characterize minimal clones generated by a majority function containing at most seven ternary operations.

研究の動機と目的

• 7つ以下の三項演算子を含む、多数性演算子によって生成される最小クローンを分類すること。
• このような最小クローンに含まれる多数性演算子の最大数を特定すること。
• クローンの閉包性および合成則が三項関数に与える構造的制約を分析すること。
• 与えられた制約下で、4つより多くの多数性演算子をもつクローンが存在するかを解明すること。
• このようなクローンは、操作数が限られた既知の最小多数性クローンと同型であるべきであることを確立すること。

提案手法

• 特に恒等関数 $ f(g_1, \dots, g_n) $ を用いて新しい演算子を導出することにより、関数の合成を考慮することでクローンの閉包性を分析する。
• 多数性規則と対称性制約を適用し、変数の置換下での三項関数の値を導出する。
• 式 $ 7 = 6 * 6 $ を用いて、$ 7(1,2,7) = 6(6(1,2,7), 6(2,7,1), 6(7,1,2)) $ のような関数的恒等式を導出し、演算子間の値を関連付ける。
• 新たな非自明な関数 $ f = 6(2,3,6) $ を構成することで背理法を用い、これが既知の関数 $ 4,5,6,7 $ のいずれとも等しくないことを示す。
• 置換（例えば $ (12) $）における不変性を活用し、$ 7(4,5,3) $ のような関数の可能な値を制限する。
• 特定の入力三つ組における関数の振る舞いを表形式で列挙し、整合性のない構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 7つ以下の三項演算子を含み、単一の多数性演算子によって生成される最小クローンにおいて、多数性演算子は最大でいくつ存在できるか？
• RQ2 多数性演算子と7つ以下の三項演算子を含む最小クローンが、4つより多くの多数性演算子を含むことは可能か？
• RQ3 クローンの閉包性および合成則が、このようなクローンにおける三項関数に与える構造的制約は何か？
• RQ4 対称性および置換不変性は、$ 7(4,5,3) $ や $ 6(4,5,3) $ のような関数の可能な値をどのように制限するか？
• RQ5 少数の多数性演算子をもつ最小クローンが、初期セットに含まれない新たな非自明な関数を生成することは可能か？

主な発見

• 7つ以下の三項演算子を含む、多数性演算子によって生成される最小クローンは、最大で4つの多数性演算子しか含まない。
• 合成則と多数性規則に基づき、$ 7(1,2,7) = 6 $ が導かれる。この関係は、可能な値を制約する。
• 対称性および $ (12) $ における不変性から、$ 7(4,5,3) = 6 $ は一意に決定され、他の可能性は排除される。
• 合成 $ f = 6(2,3,6) $ により $ f(4,5,3) = 5 $ が得られ、この関数は $ 4,5,6,7 $ のいずれとも等しくない。これは、4つの関数しか存在しないという仮定に矛盾する。
• 背理法により、このようなクローンが4つより多くの多数性演算子を含むことはできないことが証明され、上限が確認された。
• 生成された非自明な関数が初期セットを超えないことから、クローンは既知の最小多数性クローンと同型であるべきである。