Có các công thức lý thuyết nút của NP hoàn thành các vấn đề?


12

Có những vấn đề NP hoàn chỉnh (hoặc thậm chí NP-hard, hoặc NP) có đặc tính tôpô tốt để nghiên cứu. Các vấn đề NP có công thức lý thuyết nút? Chúng tôi biết về kết quả # về đa thức Jones. Các vấn đề về đồ thị (nhúng?), Cụ thể là màu sắc của đồ thị có thể được xem là có các thuộc tính lý thuyết nút đẹp. Đây là một câu hỏi kết thúc mở, và bất kỳ tài liệu tham khảo cho chủ đề này được đánh giá cao.P

Câu trả lời:


11

Bạn có thể xem:

Peter Golbus, Robert W. McGrail, Tomasz Przytycki, Mary Sharac và Aleksandar Chakarov. 2009. Các nút thắt hình xuyến có màu là NP-hoàn chỉnh . Trong Kỷ yếu của Hội nghị khu vực Đông Nam thường niên lần thứ 47 (ACM-SE 47). ACM, New York, NY, USA ,, Điều 42, 6 trang.

Tóm tắt: Công trình này trình bày một phương pháp để liên kết một lớp các vấn đề thỏa mãn ràng buộc với một nút ba chiều. Cho một nút thắt, người ta có thể xây dựng một nút thắt, thường là đại số tự do vô hạn. Tập hợp các vấn đề mong muốn được bắt nguồn từ tập hợp các mối quan hệ bất biến trên quandle nút, áp dụng lý thuyết liên quan đến đại số hữu hạn để hạn chế các vấn đề thỏa mãn. Điều này cho phép chúng tôi phát triển các khái niệm về các quẻ và nút hoàn chỉnh có thể kéo dài và NP. Cụ thể, chúng tôi cho thấy rằng tất cả các nút hình xuyến ba màu và tất cả, nhưng nhiều nhất là 2 nút thắt không tầm thường với 10 hoặc ít hơn các giao cắt là NP-hoàn chỉnh.

và cũng để báo cáo tinh dịch của nó:

P. Golbus, RW McGrail, M. Merling, K. Ober, M. Sharac và J. Wood. Các lớp của vấn đề thỏa mãn ràng buộc qua một nút . Báo cáo kỹ thuật số BARD-CMSC-2008-01, Bard College, 2008.


9

Có một vài tài liệu tham khảo trong đoạn đầu tiên của

  • Marc Lackenby. Một đa thức trên ràng buộc trên di chuyển Reidemeister. arXiv: 1302,0180

NPcoNP

  • Joel Hass, Jeffrey C. Lagarias, Nicholas Pippenger. Độ phức tạp tính toán của các vấn đề liên kết và liên kết. J. ACM 46 (1999) 185-211. arXiv: toán / 9807016

  • Greg Kuperberg. Thắt nút là trong NP, modulo GRH. Tháng 12 năm 2011, sửa đổi vào tháng 1 năm 2014. arXiv: 1112,0845

g

  • Ian Agol, Joel Hass, William Thurston. 3-MANIFOLD KNOT GENUS là NP-hoàn chỉnh. STOC 2002. Liên kết ACM

Tôi quan tâm đến các ví dụ khác là tốt.


3
Bằng chứng đồng NP chưa từng được công bố về Agol sử dụng hệ thống phân cấp được khâu được tóm tắt ngắn gọn trong một khảo sát gần đây của Lackenby: people.maths.ox.ac.uk/lackenby/ekt11214.pdf
Arnaud

3
R3R3S3

cảm ơn sự chính xác của bạn: Tôi đã đưa nó vào văn bản.
Noam Zeilberger

2
Có lẽ ở đây dày đặc, nhưng không rõ tại sao kết quả được đặc trưng trong câu trả lời như nói về sự thắt nút / không biết "là NP-hard", thay vì "ở trong NP", vì theo như tôi có thể thấy trong phần tóm tắt, họ khẳng định rằng các vấn đề nằm ở NP, nhưng không phải là NP-Complete.
Abel Molina

1
không, bạn nói đúng, tôi chỉ là dày đặc Đã sửa bây giờ.
Noam Zeilberger
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.