Có bất kỳ vấn đề nào trong

Tôi đang tìm kiếm một vấn đề thuộc về trong các biểu đồ chung nhưng nằm trong trong các biểu đồ chiều rộng cây bị chặn, thực tế tôi nghĩ rằng vấn đề này khó hơn so với sử dụng lập trình động thông thường trong giới hạn đồ thị băng thông để giải quyết chúng.$\mathsf{\Sigma^P_2}$$\mathsf{P}$

Danh sách Số Chromatic (Có đúng là biểu đồ có màu đỉnh bất cứ khi nào mọi đỉnh có danh sách k màu sắc được chấp nhận không?) Là một vấn đề , nhưng có thể giải quyết được theo thời gian tuyến tính trên các biểu đồ giới hạn:$\Pi_2^P$

http://www.ii.uib.no/~daniello/ con /EqColoring.pdf

Tôi nghĩ rằng 2 màu clique [GT19 trong Schaefer và Umans ] là một ví dụ. Câu hỏi đặt ra là liệu đồ thị đã cho có thể có màu 2 (không chính xác) theo cách sao cho không có bản sao tối đa nào của nó là đơn sắc. Đối với các đồ thị của treewidth giới hạn, mỗi cụm cực đại phải xuất hiện trong một túi phân rã cây, do đó, nên sử dụng phương pháp lập trình động tiêu chuẩn trong đó các trạng thái của chương trình động là 2 màu của túi có màu chính xác các cụm tối đa trong túi và phù hợp với trạng thái tốt của túi trẻ em.