Core Concepts
도메인 크기 3과 4에서 피보나치 게이트라고 불리는 특별한 대칭 서명들이 존재하며, 이러한 서명들에 대해 다항식 시간 내에 계산할 수 있는 조합론적 알고리즘을 제시한다.
Abstract
이 논문은 도메인 크기 3과 4에서의 홀런트 문제에 대한 조합론적 관점을 제시한다.
도메인 크기 3에 대해:
도메인 크기 3에서 "피보나치 게이트"라고 불리는 특별한 대칭 서명들을 정의한다.
이러한 피보나치 게이트들로 구성된 함수 집합 F에 대해 Holant(F) 문제가 다항식 시간에 계산 가능함을 보인다.
도메인 크기 4에 대해:
도메인 크기 4에서 일반화된 피보나치 게이트를 정의하고, 이들의 특성을 분석한다.
일반화된 피보나치 게이트들로 구성된 함수 집합 F에 대해 Holant(F) 문제가 다항식 시간에 계산 가능함을 보인다.
이를 통해 저자는 모든 높은 도메인에서 피보나치 게이트와 이에 대응하는 다항식 시간 알고리즘이 존재할 것이라 추측한다.
Stats
도메인 크기 3에서 피보나치 게이트 g의 10개 값은 다음과 같은 선형 관계를 만족한다:
gi-2,j+2,k = gi,j,k + sgi-1,j+1,k + xgi-1,j,k+1
gi-2,j+1,k+1 = xgi-1,j+1,k + ygi-1,j,k+1
gi-2,j,k+2 = gi,j,k + ygi-1,j+1,k + tgi-1,j,k+1
도메인 크기 4에서 일반화된 피보나치 게이트 g의 20개 값은 다음과 같은 선형 관계를 만족한다:
gw-2,x+2,y,z = gw,x,y,z + agw-1,x+1,y,z + bgw-1,x,y+1,z + cgw-1,x,y,z+1
gw-2,x,y+2,z = gw,x,y,z + dgw-1,x+1,y,z + egw-1,x,y+1,z + fgw-1,x,y,z+1
gw-2,x,y,z+2 = gw,x,y,z + hgw-1,x+1,y,z + igw-1,x,y+1,z + jgw-1,x,y,z+1
gw-2,x+1,y+1,z = bgw-1,x+1,y,z + dgw-1,x,y+1,z + pgw-1,x,y,z+1
gw-2,x+1,y,z+1 = cgw-1,x+1,y,z + pgw-1,x,y+1,z + hgw-1,x,y,z+1
gw-2,x,y+1,z+1 = pgw-1,x+1,y,z + fgw-1,x,y+1,z + igw-1,x,y,z+1