Đa thức màu

Trong lý thuyết đồ thị, Đa thức màu (tiếng Anh: Chromatic polynomial) của một đồ thị biểu diễn số cách tô màu các đỉnh của đồ thị đó theo số màu. Đa thức màu là đối tượng nghiên cứu của lý thuyết đại số đồ thị, một nhánh của toán học.

Đa thức màu được đề xuất bởi Geogre David Birkhoff trong một nỗ lực của ông nhằm giải quyết bài toán định lý bốn màu.

Lịch sử 
Geogre David Birkhoff đưa ra khái niệm đa thức màu vào năm 1912. Lúc đó, nó chỉ được định nghĩa cho các đồ thị phẳng nhằm giải quyết bài toán định lý bốn màu, ý tưởng của Birkhoff như sau:
mọi đồ thị phẳng G đều có sắc số không lớn hơn 4, nếu  với mọi G, trong đó P(G,k) xác định số cách tô màu đỉnh G bởi k màu.

Vào năm 1932, Hassler Whitney đã mở rộng khái niệm đa thức màu cho đồ thị bất kì. Đến năm 1968, Read đặt câu hỏi: "liệu có tiêu chuẩn nào để xác định một đa thức cho trước có là đa thức màu hay không?".  Câu hỏi này đến nay vẫn còn đang bị bỏ ngỏ. Chính vì vậy, người ta phải định nghĩa đa thức màu thông qua đồ thị.

Ngày nay, đa thức màu là đối tượng nghiên cứu trung tâm của lý thuyết đồ thị đại số.

Định nghĩa 
Giá trị của đa thức màu của đồ thị G tại k bằng số cách tô màu đỉnh đồ thị G với k màu. Đa thức màu thường được ký hiệu là , χ, hoặc π hoặc đôi khi là .

Ví dụ:
 Đồ thị đường đi  có đa thức màu là:
.
Không thể tô màu đỉnh  chỉ với 0 hoặc 1 màu, .
Có 2 cách tô màu đỉnh  bằng 2 màu, .
Có 12 cách tô màu đỉnh  bằng 3 màu, .

Sắc số có thể định nghĩa theo đa thức màu như sau:
sắc số của đồ thị G là giá trị nguyên dương nhỏ nhất k mà đa thức màu của G tại k nhận giá trị dương:
χ.

Ví dụ

Xem thêm  
Tô màu đồ thị
Định lý bốn màu

Chú thích

Tham khảo

Liên kết ngoài

Lý thuyết đồ thị
Tô màu đồ thị