[논문 리뷰] Cross-bifix-free sets via Motzkin paths generation

Elena Barcucci, Stefano Bilotta외 3명|arXiv (Cornell University)|2014. 10. 17.

Algorithms and Data Compression참고 문헌 7인용 수 4

한 줄 요약

이 논문은 모츠킨 경로를 사용하여 $q$-진 알파벳에서 교차 이소프리픽-프리 세트를 생성하는 새로운 구성 방법을 제안한다. 이 방법은 작은 단어 길이에서 이전의 구성보다 더 큰 세트를 생성한다. 이 방법은 초기 $n$ 값에서 [11]의 최신 기법보다 더 큰 기수를 가진 세트를 생성하며, 특히 $q$가 증가함에 따라 성능이 뛰어나다.

ABSTRACT

Cross-bifix-free sets are sets of words such that no prefix of any word is a sufix of any other word. In this paper, we introduce a general constructive method for the sets of cross-bifix-free q-ary words of fixed length. It enables us to determine a cross-bifix-free words subset which has the property to be non-expandable.

연구 동기 및 목표

• 이중 및 삼중 경우를 초월하여 $q$-진 알파벳에서 교차 이소프리픽-프리 세트를 위한 일반적인 구성 방법을 개발한다.
• 특히 작은 단어 길이 $n$에서 기존의 구성보다 더 큰 교차 이소프리픽-프리 세트를 생성함으로써 기존 기법을 향상시키는 것을 목표로 한다.
• 구성된 세트가 확장 불가능하다는 것을 증명함으로써 최대성의 필수 조건을 만족시킨다.
• 교차 이소프리픽-프리 세트 생성과 모츠킨 경로를 통한 격자 경로 수세기 사이의 연결 고리를 설정한다.
• 최대화된 교차 이소프리픽-프리 세트를 생성할 수 있는 프레임워크를 제공하지만, 완전한 최대성은 여전히 열려 있는 문제이다.

제안 방법

• 이 방법은 단어 생성을 이산 평면 위의 경로로 모델링함으로써 교차 이소프리픽-프리 세트를 구성하며, 특히 모츠킨 경로를 사용한다.
• 한 단어의 접두어가 다른 단어의 접미어가 되지 않도록 보장하기 위해 경로 제약 조건에 기반한 집합의 가족 $\mathcal{CBFS}_q(n)$ 을 정의한다.
• 첫 $k$ 개의 기호를 0으로 고정하고 $k+1$ 번째 위치에 0이 아닌 기호를 강제로 설정하며, 나머지 기호에 대해 경로 유사 제약 조건을 적용한다.
• 구성된 세트의 기수는 길이 $n-k-2$의 유효한 모츠킨 경로의 수에서 유도되며, 0이 아닌 기호와 마지막 기호의 자유로운 선택을 고려해 $(q-1)^2$로 스케일링된다.
• 이 방법은 이전의 양자성 기반 구성 [10]을 $q>2$인 $q$-진 알파벳으로 일반화하여 더 큰 세트 크기를 가능하게 한다.
• 최적화된 변형 $S^*(n,q)$ 는 $k$에 대해 최적화하여 크기를 최대화하며, 작은 $n$과 큰 $q$에서 $k=1$을 사용함으로써 더 좋은 성능을 낸다.

실험 결과

연구 질문

• RQ1 작은 단어 길이 $n$에서 기존 기법보다 더 큰 교차 이소프리픽-프리 세트를 생성할 수 있는 격자 경로 기반의 구성 방법이 존재하는가?
• RQ2 모츠킨 경로의 사용이 최대 기수를 가진 확장 불가능한 교차 이소프리픽-프리 세트를 생성하는 데 어떻게 기여하는가?
• RQ3 초기 0 블록의 길이인 매개변수 $k$ 를 변화시킬 경우 결과 세트의 크기에 어떤 영향을 미치는가?
• RQ4 새로운 구성 $\mathcal{CBFS}_q(n)$ 이 다양한 $q$ 및 $n$ 값에서 항상 [11]의 구성보다 뛰어나게 성능을 내는가?
• RQ5 각 $n$ 및 $q$ 에 대해 최적의 $k$ 를 선택함으로써 더 큰 세트를 얻기 위해 이 방법을 추가로 최적화할 수 있는가?

주요 결과

• 초기 $n$ 값에서 구성된 세트 $\mathcal{CBFS}_q(n)$ 는 [11]의 구성보다 더 큰 기수를 가진다. 특히 $q>2$일 경우 더욱 두드러진다.
• $q=3$ 이고 $n=4$ 일 때, $|\mathcal{CBFS}_3(4)| = 7$ 이며, [11]의 $S(n,3)=4$ 를 초월한다. 이 격차는 $n$ 이 증가함에 따라 커진다.
• 최적화된 구성 $S^*(n,q)$ 는 $n \geq 4$ 및 $q \geq 3$ 일 때 $\mathcal{CBFS}_q(n)$ 보다 더 큰 세트를 생성하며, 특히 $k=1$ 일 때 성능이 뛰어나다.
• $q=6$ 이고 $n=16$ 일 때, $|\mathcal{CBFS}_6(16)| = 2,089,302,415$ 이고, $S^*(16,6) = 2,647,064,576$ 로 유의미한 개선이 이루어졌다.
• 구성된 세트는 확장 불가능하다는 것이 증명되었으며, 이는 교차 이소프리픽-프리 성질을 위반하지 않고도 추가적인 이소프리픽-프리 단어를 추가할 수 없다는 의미이다.
• $\mathcal{CBFS}_q(n)$ 의 크기는 $q$ 가 증가함에 따라 증가하며, [11]의 구성보다 뛰어난 범위의 $n$ 도 $q$ 가 증가함에 따라 증가한다.