Trong bài giảng này ghi chú của Ola Svensson: http://theory.epfl.ch/osven/cifts/Approx13/Notes/lecture4-5.pdf , người ta nói rằng chúng ta không biết liệu ESPidean TSP có ở NP không:
Lý do là chúng ta không biết cách tính căn bậc hai một cách hiệu quả.
Mặt khác, có bài viết này của Papadimitriou: http://www.scTHERirect.com/science/article/pii/0304397577900123 nói rằng nó là NP-đầy đủ, cũng có nghĩa là nó nằm trong NP. Mặc dù anh ấy không chứng minh điều đó trong bài báo, tôi nghĩ anh ấy coi tư cách thành viên trong NP tầm thường, như thường xảy ra với những vấn đề như vậy.
Tôi bối rối bởi điều này. Thành thật mà nói, tuyên bố mà chúng tôi không biết nếu Euclidian TSP ở NP làm tôi sốc, vì tôi chỉ cho rằng đó là chuyện nhỏ - lấy tour TSP làm chứng chỉ, chúng tôi có thể dễ dàng kiểm tra xem đó là chuyến tham quan hợp lệ. Nhưng vấn đề là có thể có một số căn bậc hai. Vì vậy, các bài giảng về cơ bản tuyên bố rằng chúng ta không thể trong thời gian đa thức giải quyết vấn đề sau:
Với hợp lý số , quyết định xem √.
Câu hỏi 1: Chúng ta biết gì về vấn đề này?
Điều này cầu xin sự đơn giản hóa sau đây, mà tôi không thể tìm thấy:
Câu 2: Đây có phải là trường hợp đặc biệt khi không? Là trường hợp đặc biệt này thời gian đa thức có thể giải quyết?
Suy nghĩ về nó một lúc, tôi đã đến đây. Chúng tôi muốn độ phức tạp thời gian đa thức liên quan đến số bit của đầu vào, tức là không phải kích thước của chính các số đó. Chúng ta có thể dễ dàng tính tổng cho một số thập phân đa thức. Để có được một trường hợp xấu, chúng ta cần một thể hiện của cho k = như vậy mà cho tất cả các đa thức p , có tồn tại một số nguyên k đến nỗi √ vàAkđồng ý về cácchữ sốp(kích thước đầu vào)đầu tiêncủa khai triển thập phân.
Câu hỏi 3: Có một ví dụ nào về số lượng không?
Nhưng là gì? Điều này phụ thuộc vào cách các số hữu tỷ được trình bày! Bây giờ tôi tò mò về điều này:
Câu hỏi 4: Có phải là thuật toán quan trọng nếu số hợp lý được cho là tỉ số của hai số nguyên (ví dụ như ) hoặc trong việc mở rộng số thập phân (ví dụ như 2,5334 ¯ 567 )? Nói cách khác, có một họ các số hữu tỷ sao cho kích thước của khai triển thập phân không bị giới hạn về mặt đa thức trong kích thước của biểu diễn tỷ lệ hay ngược lại?