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ử

sửa

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

sử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ụ

sửa
Đa thức màu của một số đồ thị
Đồ thị tam giác    
Đồ thị đường đi    
Đồ thị đầy đủ    
Cây với   đỉnh  
Đồ thị chu trình    
Đồ thị Petersen  

Xem thêm

sửa

Chú thích

sửa

Tham khảo

sửa

Liên kết ngoài

sửa