[논문 리뷰] Minimal clones with few majority operations

Tamás Waldhauser|arXiv (Cornell University)|2011. 02. 10.

Advanced Algebra and Logic참고 문헌 8인용 수 4

한 줄 요약

이 논문은 최대 칠개의 삼항 연산을 포함하는 다수 결정 연산으로 생성된 최소 클론을 특성화한다. 클론 구성의 구조적 분석과 순열 및 합성에 대한 다수 결정 연산의 행동을 통해, 저자들은 그러한 클론이 네 개를 초과하는 다수 결정 연산을 포함할 수 없음을 증명하며, 유한 집합에서 소수의 다수 결정 함수를 가진 최소 클론에 대한 분류 문제를 해결한다.

ABSTRACT

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

연구 동기 및 목표

• 최대 칠개의 삼항 연산을 포함하는 다수 결정 연산으로 생성된 최소 클론을 분류하는 것.
• 그러한 최소 클론 내에서 가능한 다수 결정 연산의 최대 수를 결정하는 것.
• 삼항 함수에 대한 클론 닫힘과 합성 규칙이 가미하는 구조적 제약 조건을 분석하는 것.
• 주어진 조건 하에서 네 개를 초월하는 다수 결정 연산을 포함하는 클론의 존재 여부를 해결하는 것.
• 모든 그러한 클론이 제한된 연산 수를 가진 알려진 최소 다수 결정 클론과 동형이어야 한다는 것을 확립하는 것.

제안 방법

• 특히 $ 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 최대 칠개의 삼항 연산을 포함하는 다수 결정 연산으로 생성된 최소 클론 내에서 다수 결정 연산이 최대 몇 개인가?
• RQ2 다수 결정 연산과 최대 칠개의 삼항 연산을 포함하는 최소 클론이 네 개를 초월하는 다수 결정 연산을 포함할 수 있는가?
• RQ3 클론 닫힘과 합성 규칙이 이러한 클론 내 삼항 함수에 대해 가미하는 구조적 제약 조건은 무엇인가?
• RQ4 대칭성과 순열 불변성은 $ 7(4,5,3) $ 와 $ 6(4,5,3) $ 와 같은 함수의 가능한 값들을 어떻게 제한하는가?
• RQ5 소수의 다수 결정 연산을 가진 최소 클론이 초기 집합에 포함되지 않은 새로운 비자명한 함수를 생성할 수 있는가?

주요 결과

• 최대 칠개의 삼항 연산을 포함하는 다수 결정 연산으로 생성된 최소 클론은 최대 네 개의 다수 결정 연산만 포함할 수 있다.
• 합성과 다수 결정 규칙에 의해 $ 7(1,2,7) = 6 $ 가 도출되며, 이는 가능한 값들을 제약한다.
• $ 7(4,5,3) = 6 $ 는 대칭성과 $ (12) $ 에 대한 불변성에 의해 유일하게 결정되며, 다른 가능성은 제거된다.
• 합성 $ f = 6(2,3,6) $ 는 $ f(4,5,3) = 5 $ 를 유도하며, 이 함수는 $ 4,5,6,7 $ 중 어느 하나와도 같지 않다. 이는 네 개의 함수만 존재한다는 가정에 모순된다.
• 모순이 증명됨에 따라 그러한 클론이 네 개를 초월하는 다수 결정 연산을 포함할 수 없으며, 상한이 확인된다.
• 새로운 비자명한 함수가 초기 집합을 초월해 생성될 수 없으므로, 클론은 알려진 최소 다수 결정 클론과 동형이어야 한다.