Phân vùng 3-Clique cho đồ thị đường kính cố định


11

Vấn đề phân vùng 3-bè lũ là vấn đề xác định xem các đỉnh của đồ thị, nói , có thể được phân chia thành 3 bè phái. Vấn đề này là NP-hard bằng cách giảm đơn giản từ vấn đề 3 màu. Không khó để thấy rằng câu trả lời cho vấn đề này rất dễ khi hoặc . Vấn đề vẫn là NP-hard khi bằng cách giảm đơn giản từ chính nó (đưa ra biểu đồ , thêm một đỉnh và kết nối nó với tất cả các đỉnh khác).diam ( G ) = 1 diam ( G ) > 5 diam ( G ) = 2 GGdiam(G)=1diam(G)>5diam(G)=2G

Sự phức tạp của vấn đề này đối với các biểu đồ với trong gì?3 p 5diam(G)=p3p5

Câu trả lời:


6

Vấn đề có vẻ là trong .P

Lấy hai đỉnh , với khoảng cách chính xác là 3 (một cặp như vậy phải tồn tại khi ). Chúng phải có các màu khác nhau (tôi sẽ sử dụng R, G, B để biểu thị 3 màu và các đỉnh trong cùng một cụm được tô cùng màu). Wlog giả sử có màu Đỏ và có màu Xanh lục.v p 3 u vuvp3uv

Γ(u)uΓ(v)VΓ(u)Γ(v)uvuvvphải được tô màu Xanh lá hoặc Xanh dương. Mỗi đỉnh hiện có tối đa hai lựa chọn, do đó, vấn đề trở thành một ví dụ 2-SAT mà chúng ta có thể giải quyết trong thời gian đa thức.


1
bạn có thể mô tả công thức 2-SAT tương ứng không?
dùng5153 ngày

1
B(v)vuv(B(v)B(u))(B(v)¯B(u)¯)
Babak Behsaz
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.