[논문 리뷰] Generating Functions for Domino Matchings in the $2 imes k$ Game of Memory

Donovan Young|arXiv (Cornell University)|2019. 05. 30.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 1

한 줄 요약

이 논문은 2×k 격자에서 동일한 수가 수평 또는 수직 도미노를 형성하는 방식으로 도미노 매칭을 세는 생성함수를 유도한다. 격자 그래프에서 h개의 수평 및 v개의 수직 정점 쌍을 삭제한 후의 매칭을 분석함으로써, 저자들은 집합 매칭 다항식을 구성하고 결과를 선형 현도 다이어그램과 연결함으로써 도미노 구성에 대한 형식적 생성함수를 도출한다.

ABSTRACT

When all the elements of the multiset $\{1,1,2,2,3,3,\ldots,k,k\}$ are placed in the cells of a $2 imes k$ rectangular array, in how many configurations are exactly $v$ of the pairs directly over top one another, and exactly $h$ directly beside one another --- thus forming $2 imes 1$ or $1 imes 2$ dominoes? We consider the sum of matching numbers over the graphs obtained by deleting $h$ horizontal and $v$ vertical vertex pairs from the $2 imes k$ grid graph in all possible ways, providing a generating function for these aggregate matching polynomials. We use this result to derive a formal generating function enumerating the domino matchings, making connections with linear chord diagrams.

연구 동기 및 목표

• 정확히 v개의 수직으로 정렬된 쌍과 h개의 수평으로 정렬된 쌍이 있는 2×k 격자에서의 구성 수를 결정하는 것.
• 2×k 격자 그래프에서 h개의 수평 및 v개의 수직 정점 쌍을 삭제한 모든 가능한 경우에 대해 매칭 수의 합을 모델링하는 것.
• 모든 유효한 구성에 걸쳐 이러한 매칭을 집계하는 생성함수를 유도하는 것.
• 유도된 생성함수와 조합론에서 알려진 선형 현도 다이어그램 간의 관계를 설정하는 것.

제안 방법

• 2×k 격자 그래프를 구성하고, 부분 매칭을 모델링하기 위해 h개의 수평 및 v개의 수직 정점 쌍을 삭제하는 모든 가능한 경우를 고려한다.
• 모든 삭제된 그래프에서 완전 매칭의 수를 합하여 집합 매칭 다항식을 정의한다.
• 생성함수 기법을 적용하여 수직(v) 및 수평(h) 쌍에 기반한 도미노 매칭 수를 코딩한다.
• 그래프 이론적 도구를 사용하여 격자의 구조와 선형 현도 다이어그램의 수세기 간의 관계를 규명한다.
• 모든 v 및 h 값에 대해 도미노 매칭 수를 체계적으로 코딩하는 형식적 생성함수를 도출한다.
• 도미노 매칭과 선형 현도 다이어그램 사이에 전단사 또는 구조적 대응 관계를 설정하여 생성함수의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 2×k 메모리 게임의 구성 중 정확히 v개의 수직으로 정렬된 쌍과 h개의 수평으로 정렬된 쌍을 가진 경우는 몇 개인가?
• RQ2 2×k 격자 그래프에서 h개의 수평 및 v개의 수직 정점 쌍을 삭제한 후에 얻을 수 있는 완전 매칭(도미노 구성)의 총 수는 얼마인가?
• RQ3 모든 v 및 h 값에 대해 이러한 도미노 매칭을 체계적으로 세는 생성함수를 구성할 수 있는가?
• RQ4 유도된 생성함수와 조합론에서 알려진 구조, 예를 들어 선형 현도 다이어그램 간의 관계는 무엇인가?

주요 결과

• 논문은 수직(v) 및 수평(h) 도미노의 수에 따라 2×k 메모리 게임의 모든 도미노 매칭을 세는 형식적 생성함수를 도출한다.
• 집합 매칭 다항식은 2×k 격자 그래프에서 h개의 수평 및 v개의 수직 정점 쌍을 삭제하는 모든 가능한 경우에 대해 합산함으로써 구성된다.
• 유도된 생성함수는 임의의 k에 대해 도미노 구성의 완전한 조합적 수세기를 제공한다.
• 이 방법은 도미노 매칭과 선형 현도 다이어그램 사이에 구조적 연결 고리를 설정하여 생성함수의 조합적 해석을 풍부하게 한다.
• 생성함수는 형식적이고 정확하여 특정한 v 및 h 값에 대해 매칭 수를 체계적으로 계산할 수 있다.
• 이 접근법은 개별 구성의 수세기 초월하여 통합된 생성함수 프레임워크로 매칭의 수세기를 일반화한다.