[논문 리뷰] On composition-closed classes of Boolean functions

Tamás Waldhauser|SZTE Publicatio Repozitórium (University of Szeged)|2011. 02. 21.

Advanced Algebra and Logic인용 수 4

한 줄 요약

이 논문은 사영을 요구하지 않으며 함수의 합성, 변수 순열, 동일화, 그리고 여유 변수 도입에 대해 닫혀 있는 부울 함수의 모든 조합-닫힘 등식적 클래스를 특성화한다. 이 클래스들의 격자 구조는 연속체의 기수를 가지며, 클론이 아닌 클래스들을 포함하는 포스트 격자의 일반화로서 완전한 구조적 기술을 제공한다. 주요 결과로는 등식적 클래스의 간격과 스키마에 대한 분석이 포함되어 있다.

ABSTRACT

We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification (diagonalization) of variables and under introduction of inessential variables (cylindrification), but they do not necessarily contain projections. Thus the lattice formed by these classes is an extension of the Post lattice. The cardinality of this lattice is continuum, yet it is possible to describe its structure to some extent.

연구 동기 및 목표

• 사영을 반드시 포함하지는 않지만 합성에 대해 닫혀 있는 등식적 클래스를 연구함으로써 부울 클론의 포스트 분류를 확장하는 것.
• 부울 도메인에서의 조합-닫힘 등식적 클래스의 격자 구조를 분석함으로써, 클론과 반복 대수의 일반화를 이루는 것.
• 이 확장된 격자의 기수와 내부 구조를 규명하여, 기수는 연속체 크기를 가지지만 가산적인 포스트 격자의 자연스러운 일반화임을 보이는 것.
• 등식적 클래스의 간격을 등식적 클래스의 스키마를 통해 기술함으로써, 특히 무한 및 유한의 자릿수 경우에 대해 분석하는 것.
• 관계 제약과 준서열을 사용하여 사영이 없는 등식적 클래스의 격자에 대한 완전한 기술을 제공하는 것.

제안 방법

• 함수 클래스가 합성, 변수 순열, 변수 동일화(대각화), 그리고 실용성 변수 도입(실용성 변수 도입)에 대해 닫혀 있는 조합-닫힘 등식적 클래스를 도입한다.
• 이러한 클래스들의 격자 $Δ$를 정의하고, 기수 연속체를 가지며 포스트 격자를 완전한 격자로서 확장함을 보인다.
• 스키마—0에 대한 원상 집합에서 유도된 행렬로, 최대 $k$개의 행과 반복되지 않는 열을 가짐—을 사용하여 $\mathbf{I}(W^k)$ 간격 내의 등식적 클래스를 분류한다.
• 변수 동일화와 여유 변수 삽입을 이용하여 서로 다른 등식적 클래스가 서로 다른 스키마를 가지므로, $\mathbf{I}(W^k)$ 간격의 유한성을 증명한다.
• 관계 제약을 적용하여 $\mathcal{D}^k$ (즉, $\mathcal{B}^k$의 쌍대)와 같은 쌍대 클래스를 정의하고, $\mathbf{I}(W^\infty)$를 무한한 제약 집합으로 기술한다.
• 클래스 간 비교와 $\mathbf{I}(W^\infty)$의 구조 분석을 위해 준서열 $\sqsubseteq$를 사용하며, 간격 크기의 점근적 및 명시적 기술을 목표로 한다.

실험 결과

연구 질문

• RQ1 조합-닫힘 등식적 클래스의 부울 함수 격자 전체의 완전한 구조는 무엇이며, 포스트 격자를 어떻게 확장하는가?
• RQ2 스키마와 같은 조합적 불변량을 사용하여 등식적 조합-닫힘 등식적 클래스를 어떻게 분류하고 구별할 수 있는가?
• RQ3 이러한 클래스의 격자 기수는 얼마이며, 기수는 가산적인 클론 격자와 어떻게 다를까?
• RQ4 간격 $\mathbf{I}(W^k)$와 $\mathbf{I}(W^\infty)$는 관계 제약과 함수 방정식을 통해 명시적으로 기술할 수 있는가?
• RQ5 변수 순열, 동일화, 실용성 변수 도입 등의 연산은 클론을 넘어서 함수 클래스의 닫힘성과 분류에 어떻게 영향을 미치는가?

주요 결과

• 조합-닫힘 등식적 클래스의 격자는 기하급수적 기수를 가지며, 클론의 가산적인 포스트 격자와는 대조된다.
• 모든 등식적 클래스 $\mathbf{I}(W^k)$는 0에 대한 원상 집합에서 유도된 유한한 행렬 집합—최대 $k$개의 행과 반복되지 않는 열을 가진—으로 구성된 스키마에 의해 유일하게 결정된다.
• $\mathbf{I}(W^k)$ 간격은 각 유한한 $k$에 대해 유한하다. 이는 유한한 행과 열 제약 조건으로 인해 가능한 스키마의 수가 유한하기 때문이다.
• $\mathcal{D}^k$ (즉, $\mathcal{B}^k$의 쌍대)는 유한한 $k$에 대해 관계 제약 $(\{0,1\}^k \setminus \{\mathbf{0}\}, \{0,1\}^k \setminus \{\mathbf{1}\})$ 으로 정의되며, $k=\infty$일 경우 이러한 모든 제약이 적용된다.
• 모든 조합-닫힘 등식적 클래스의 격자 $\mathbf{I}$ 는 포스트 격자와 사영이 없는 클래스의 격자를 결합하여 얻어지며, 각 클론 $\mathcal{C}$에 대해 $\mathbf{I}(\mathcal{C})$ 간격을 통해 연결된다.