채색 다항식

파일:Chromatic_polynomial_of_all_3-vertex_graphs_BW.png|오른쪽|섬네일|447x447픽셀| 3개의 꼭지점과 해당 채색 다항식의 모든 비동형 그래프(위부터 시계 방향). 독립 3세트:  . 모서리와 단일 꼭지점:  . 3-경로:  . 3-클릭: k(k – 1)(k – 2) .
채색 다항식(chromatic polynomial)은 수학의 한 분야인 대수적 그래프 이론에서 연구되는 그래프 다항식이다. 색칠할 색상들의 수를 변수로 하는 함수로 그래프 색칠 수를 계산하며 원래 조지 데이비드 버코프가 4색 문제를 연구하기 위해 정의했다. 이것은 해슬러 휘트니와 윌리엄 토머스 텃에 의해 텃 다항식으로 일반화되었으며 이를 통계 물리학의 포츠 모형과 연결했다.

**역사**
조지 데이비드 버코프는 1912년에 4색 정리를 증명하기 위해 평면 그래프에 대해서만 정의하는 채색 다항식을 도입했다.는 개의 색상으로 를 적절하게 채색하는 횟수를 나타내며  모든 평면 그래프 에 대해 을 보이면 4색 정리를 증명 할 수 있다. 이러한 방식으로 그는 조합 색칠 문제에 대한 다항식의 근을 연구하기 위한 해석학 및 대수학의 강력한 도구를 적용하기를 바랐다.
해슬러 휘트니는 1932년에 버코프의 다항식을 평면 사례에서 일반 그래프로 일반화했다. 1968년 Ronald C. Read는 어떤 다항식이 어떤 그래프의 채색 다항식인지에 대해 질문하고(난제), 채색 동치 그래프의 개념을 도입했다. 오늘날, 채색 다항식은 대수적 그래프 이론의 핵심 대상 중 하나이다.

**정의**
k 색상을 사용하여 3개의 꼭지점이 있는 꼭지점 그래프의 모든 적절한 꼭지점 색상 지정  . 각 그래프의 채색 다항식은 적절한 색상 수를 통해 보간된다.
그래프 에 대해 는 (적절한) 꼭지점 k-채색의 수를 계산한다. 기타 일반적으로 사용되는 표기법은 , , 또는 과 같다. 임의의 정수 에 대한 값이 인 유일한 다항식 이 존재한다. 이를 의 채색 다항식이라고 한다.
예를 들어 경로 그래프 에 색상 개를 칠하려면  3개의 꼭지점에서 첫 번째 꼭지점에 대해  색상 중 하나를 선택할 수 있다.  두 번째 꼭지점의 나머지 색상 개, 마지막으로 세 번째 꼭지점의 두 번째 꼭짓점의 선택과 다른 개의 색상  중 하나이다. 그러므로, 의 - 색칠의 수는이다. 변수 x(반드시 정수일 필요는 없음)에 대해 다음과 같다. .(색상 순열이나 의 자기동형사상에 의해서만 다른 색상은 여전히 다른 것으로 간주된다.)

**삭제-축소**
-채색의 수는 에 대한 다항식이라는 사실은 삭제-축소 재귀 또는 기본 환원 정리라고 불리는 재귀 관계에 따른 것이다. 이는 모서리 축소를 기반으로 한다. 한 쌍의 꼭지점 , 에 대해 그래프 는 두 꼭지점을 병합하고 그 사이의 모서리를 제거하여 얻는다.와 가 G에서 연결되어 있다면. 는 그 모서리 를 제거하여 얻은 그래프를 나타낸다. 이 그래프의 -채색 수는 다음을 충족한다.
 
마찬가지로, 만약  그리고  에서 인접하지 않고  모서리가 있는 그래프이다.  추가한 다음
 
이는 의 모든 -채색이 와 에 서로 다른 색상 또는 같은 색을 칠한다는 관찰에서 비롯된다. 첫 번째 경우에 이는의 (적절한) -채색을 제공한다. 두 번째 경우에는 의 채색을 제공한다. 반대로, 의 모든 -채색은  또는 (모서리 가 없을 경우) 의 -채색 부터 유일하게 얻을 수 있다.
따라서 채색 다항식은 다음과 같이 재귀적으로 정의될 수 있다.
 n개의 꼭지점을 가지고 모서리는 없는 그래프의 경우 그리고
 모서리 이 있는 그래프 의 경우
모서리 없는 그래프의 -채색 수는 이므로, 모든 에 대해  다항식 이 모든 정수점 에서 -채색수와 일치하는 모서리 수에 대한 귀납법에 의해 얻어진다. 특히, 채색 다항식은 점
 
을 통과하는 최대 n 차의 우일한 보간 다항식이다. 어떤 다른 그래프 불변량이 그러한 재귀를 만족하는지에 대한 텃의 호기심으로 인해 그는 채색 다항식의 이변수 일반화인 텃 다항식 을 발견하게 되었다.

**예**

**성질**
n개의 꼭지점으로 고정된 의 경우, 채색 다항식 은 정수 계수를 갖는 n차 일계수 다항식이다.
채색 다항식은 적어도 색수만큼 의 채색성에 관한 정보를 포함한다. 실제로, 채색수는 채색 다항식의 0이 아닌 가장 작은 양의 정수이며,
 
에서 채색 다항식의 값 은 와 의 비순환 방향의 수를 곱한 값이다.
1에서 계산된 도함수 는 채색 불변량 과 절대값이 같다.
에 n개의 꼭지점과 c개의 연결 성분 이 있는 경우,- 의 계수는  0이다.- 의 계수는 모두 0이 아니고 부호가 교대한다.- 의 계수는 1이다(일계수 다항식).- 의 계수는 이다.
꼭지점과   모서리를 가진 간단한 그래프 의 모서리 수에 대한 귀납법을 통해 이를 증명한다.  일 때, 는 빈 그래프이다. 따라서 정의에 따라 . 따라서 의 계수는 이다. 이는 해당 진술이 빈 그래프에 대해 참임을 의미한다. 일 때, 에서와 같이 단 하나의 모서리 만 갖는다. 따라서 의 계수는 이다. 따라서 명제는 에 대해 유지된다. 강한 귀납법을 쓰기 위해 에 대해 진술이 참이라고 가정한다. 가 모서리 개를 가지고 있다 하자. 축소-삭제 원리에 의해, 이다.  이고 라 하자. 즉,.
는  에서 단 하나의 모서리 e를 제거하여 얻어졌으므로 이고, 그래서 이고, 따라서 이 진술은 에 대해 참이다.- 의 계수는 와 선택된 꼭지점에서 유일한 싱크를 갖는 비순환 방향의 수를 곱한 값이다.- 모든 채색 다항식 계수의 절대값은 로그 오목 수열을 형성한다.
마지막 성질은 가 와 의 클릭-합이면, (즉,  꼭짓점의 클릭에서 두 개를 붙여서 얻은 그래프)
 
라는 사실로부터 일반화 된다. n개의 꼭지점을 가진 그래프 는 다음과 같은 경우에만 트리이다.
 

**채색 동치**
파일:Chromatically_equivalent_graphs.svg|오른쪽|섬네일|256x256픽셀|위 세 그래프는 채색다항식 를 갖는다.
두 그래프가 동일한 채색 다항식을 갖는 경우 채색 동치라고 한다. 동형 그래프는 동일한 채색 다항식을 가지지만, 동형이 아닌 그래프도 채색 동형일 수 있다. 예를 들어 n개의 꼭지점에 있는 모든 트리는 동일한 채색 다항식을 갖는다. 특히, 는 클로 그래프와 4개의 꼭지점에 대한 경로 그래프의 채색 다항식이다.
그래프는 채색 다항식에 의해 결정되는 경우 채색적으로 유일하다. 즉, 가 채색적으로 유일하면, 는 이는 와 가 동형임을 의미한다. 모든 순환 그래프는 채색적으로 유일하다.

**채색의 근**
"채색 근"이라고 불리는 채색 다항식의 근은 인 값 x이다. 채색 근은 잘 연구되었다. 사실 버코프가 채색 다항식을 정의하려는 원래 동기는 평면 그래프에 대해 x ≥ 4인 경우 임을 보여주는 것이었다. 이것이 성공했다면 4색 정리를 증명 했을 것이다.
어떤 그래프도 0색일 수 없으므로 0은 항상 채채색 근이다. 모서리가 없는 그래프만 단색일 수 있으므로 1은 적어도 하나의 모서리가 있는 모든 그래프의 채색 근이다. 반면, 이 두 점을 제외하고는 어떤 그래프도 32/27보다 작거나 같은 실수에서 채색 근을 가질 수 없다. 텃의 결과는 황금비 을 연결한다  채색 근에 대한 연구를 통해 채색 근이 과 아주 가까운 곳에 존재함을 보여준다: 가 구의 평면 삼각분할이면
 
따라서 실수선에는 그래프에 대한 채색 근이 없는 큰 부분이 있지만, 복소 평면에 채색 근이 밀집된 무한한 그래프 계열이 존재한다는 의미에서 복소 평면의 모든 점은 채색 근에 임의로 가깝다.

**모든 색을 빠짐없이 써서 색칠하기**
n개의 꼭짓점을 가진 그래프 에 대해 를 정확히 개의 색상을 사용하는 채색수라 하자. 따라서 색상의 이름을 바꿔서 서로 얻을 수 있는 채색은 하나로 계산된다. 의 자기동형사상으로 얻은 채색은 여전히 별도로 계산된다. 다시 말해서, 는 꼭지점 집합을  개의(공집합이 아닌) 독립 집합들로 분할하는 경우의 수를 센다. 그러면 는 정확히 개의 색상(구별 가능한 색상 포함)을 사용한 채색수를 계산한다. 정수 의 경우, 의 모든 -채색은 정수 k ≤ x를 선택하고, 사용 가능한 x 중에서 사용할  색상을 선택하고, 정확히 해당  (구별 가능한) 색상을 사용한 색상을 선택하여 유일하게 얻을 수 있다. 그러므로:
 
여기서 는 떨어지는 계승을 나타낸다. 따라서 는 떨어지는 계승들의 기저 에 대한 다항식 의 계수들이다.
표준 기저 에 대해 를 의  번째 계수라 하자. 즉:
 
스털링 수는 표준 기저와 떨어지는 계승 기저 사이의 기저 변환을 제공한다. 이는 다음을 의미한다.
  그리고 

**분류**
색다항식은 Khovanov 호몰로지와 밀접한 관련이 있는 호몰로지 이론에 의해 분류된다.

**알고리듬**
 infobox|above=채색 다항식|abovestyle=background: #DD9; font-size: 125%;|labelstyle=font-weight:normal|label1=입력|data1=n개의 꼭지점을 가진 그래프 G|label2=출력|data2=의 계수|label3=소요 시간|data3=어떤 상수 에 대해 |label4=복잡도|data4=#P-hard|label5=Reduction from|data5=3SAT 
채색 다항식과 관련된 계산 문제는 다음과 같다.- 주어진 그래프 의 채색다항식  찾기- 주어진 그래프 에 대해 고정된 x에서  계산하기
첫 번째 문제는 더 일반적이다. 왜냐하면 의 계수를 안다면 차수가 n이기 때문에 모든 정의역에서 다항식 시간 안에 계산 할 수 있다. 두 번째 유형의 문제의 난이도는 값에 크게 좌우되며 계산 복잡도에 대해 집중적으로 연구되었다. 가 양의 정수인 경우, 이 문제는 일반적으로 주어진 그래프의 -채색수를 계산하는 것으로 본다. 예를 들어, 여기에는 계산 복잡도 연구의 표준 문제인 3가지 색상의 수를 계산하는 문제 #3-채색이 포함되며 계산복잡도 #P에 대해 완료된다.

**효율적인 알고리듬**
일부 기본 그래프 클래스의 경우 채색 다항식에 대한 공식이 알려져 있다. 예를 들어 위의 표에 나열된 것처럼 나무와 클릭의 경우에도 마찬가지이다.
다항식 시간 알고리듬은 현 그래프 및 경계 클릭 폭 그래프를 포함하여 더 넓은 종류의 그래프에 대한 채색 다항식을 계산하는 것으로 알려져 있다. 후자의 종류에는 외부 평면 그래프와 같은 경계 트리 너비 의 여그래프 및 그래프가 포함된다.

**삭제-축약**
삭제-축약 재귀는 삭제-축약 알고리듬이라고 불리는 채색 다항식을 계산하는 방법을 제공한다. 첫 번째 형식(마이너스 포함)에서는 반복이 빈 그래프 모음에서 종료된다. 두 번째 형식(더하기 포함)에서는 완전한 그래프 모음으로 끝난다. 이는 그래프 색상 지정을 위한 많은 알고리듬의 기초를 형성한다. 컴퓨터 대수 시스템 Mathematica의 Combinatorica 패키지에 있는 ChromaticPolynomial 함수는 그래프가 조밀한 경우 두 번째 반복을 사용하고 그래프가 희소한 경우 첫 번째 반복을 사용한다. 두 공식 모두 최악의 경우 실행 시간은 피보나치 수와 동일한 재귀 관계를 만족하므로 n개의 꼭지점과 m개의 모서리를 가진 그래프에서 최악의 경우 알고리듬은 다항식 인수 내에서 시간에 맞춰 실행된다.
 
분석은 입력 그래프의 신장 부분 그래프의 수 의 다항식 인자 안으로 개선될 수 있다. 실제로 일부 재귀 호출을 피하기 위해 분기 및 경계 전략과 그래프 동형사상 거부가 사용되며, 실행 시간은 꼭지점 쌍을 선택하는 데 사용되는 경험적 방법에 따라 달라진다.

**큐브 방식**
각 꼭지점에 자연수를 할당하면 그래프 색상이 정수 격자의 벡터라는 것을 관찰함으로써 그래프 색상에 대한 자연스러운 기하학적 관점이 있다. 두 꼭지점 , 에 동일한 색상을 지정하는 것은 채색 벡터의 번째와 번째 좌표가 동일함과 같으며, 각 모서리는 초평면 과 연관될 수 있다. 주어진 그래프에 대한 이러한 초평면의 모음을 그래프적 배열이라고 한다. 그래프의 적절한 채색은 금지된 초평면을 피하는 격자점이다.개의 색상들의 집합으로 제한하면, 격자 점이 큐브 에 포함된다.  이러한 맥락에서 채색 다항식은 그래픽 배열을 피한 -큐브안의 격자점의 수를 계산한다.

**계산 복잡도**
주어진 그래프의 3가지 색상 수를 계산하는 문제는 #P -완전 문제의 표준 예이므로 채색 다항식의 계수를 계산하는 문제는 #P-난해이다. 마찬가지로 주어진 G에 대해 를 계산하는 것도 #P-완전이다. 반면에, 에 대해 를 계산하기는 쉽다. 그래서 해당 문제는 다항식 시간 계산이 가능하다. 인 정수의 경우 문제는 #P-난해이며, 이는인 경우와 유사하게 확립되었다.  는 세 개의 "쉬운 점"을 제외한 모든 x(음의 정수 및 모든 복소수 포함)에 대해 #P-난해이다. 따라서 #P-난해의 관점에서 채색 다항식 계산의 복잡도가 완전히 이해된다.
전개
 
에서 계수 는 항상 1과 같고 계수의 다른 여러 속성이 알려져 있다. 이는 일부 계수를 계산하기 쉬운지에 대한 의문을 제기한다. 그러나 고정된 r ≥ 1 와 주어진 그래프 G에 대해 ar 을 계산하는 계산 문제는 이분 평면 그래프의 경우에도 #P-난해이다.
컴퓨팅을 위한 근사 알고리듬이 없다.  세 가지 쉬운 점을 제외한 모든 로 알려져 있다. 정수점에서 , 주어진 그래프가 k 채색이 될지 결정하는 해당 결정 문제는 NP-난해이다. 이러한 문제는 NP = RP가 아닌 한 제한된 오류 확률 알고리듬을 통해 어떤 곱셈 요소로 근사화될 수 없다, 모든 곱셈 근사법은 값 0과 1을 구별하여 제한된 오류 확률 다항식 시간에 결정 버전을 효과적으로 해결하기 때문이다. 특히, 동일한 가정 하에서 이는 FPRAS(완전 다항식 시간 무작위 근사 방식)의 가능성을 배제한다. NP = RP이 성립하지 않는 한, 임의의  x > 2에 대해 를 계산하는 FPRAS가 없다.

**각주**

**참고자료**
 2
*isbn=978-0-521-45897-9
*isbn=978-3-540-08666-6
*isbn=978-981-256-317-0- s2cid=585250
*citeseerx=10.1.1.353.6385
*s2cid=53304001
*s2cid=1339633
*s2cid=13523955
*s2cid=39978844
*s2cid=121454726
*year=1986
*citeseerx=10.1.1.76.2320
*doi-access=free.
*인용|last1=Oxley|first1=J. G.|last2=Welsh|first2=D. J. A.|title=Chromatic, flow and reliability polynomials: The complexity of their coefficients.|journal=Combinatorics, Probability and Computing|volume=11|year=2002|issue=4|pages=403–426|doi=10.1017/S0963548302005175|s2cid=14918970
*isbn=978-0-521-80686-2
*인용|last=Read|first=R. C.|author-link=Ronald C. Read|title=An introduction to chromatic polynomials|journal=Journal of Combinatorial Theory|year=1968|pages=52–71|volume=4|doi=10.1016/S0021-9800(68)80087-0|url=http://dml.cz/bitstream/handle/10338.dmlcz/128421/CzechMathJ_43-1993-3_10.pdf|doi-access=free
*isbn=978-3-540-60573-7
*인용|doi=10.1017/S0963548303006023|last=Sokal|first=A. D.|author-link=Alan Sokal|title=Chromatic Roots are Dense in the Whole Complex Plane|journal=Combinatorics, Probability and Computing|year=2004|pages=221–261|volume=13|issue=2|arxiv=cond-mat/0012369|s2cid=5549332
*인용|doi=10.1016/0012-365X(73)90108-8|last=Stanley|first=R. P.|title=Acyclic orientations of graphs|journal=Discrete Math.|volume=5|pages=171–178|year=1973|issue=2|url=http://math.mit.edu/~rstan/pubs/pubfiles/18.pdf
*isbn=978-0-8218-2812-0
*isbn=978-0-13-021973-2

**외부 링크**
 제목=Chromatic polynomial- PlanetMath  Chromatic polynomial date=2008-08-20- Code for computing Tutte, Chromatic and Flow Polynomials by Gary Haggard, David J. Pearce and Gordon Royle: 
분류:그래프 색칠