TSP Euclide trong NP và độ phức tạp căn bậc hai


12

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 q1,Giáo dục,qn,MộtQ.q1++qnMột

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?n= =1

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 =q1,k,Giáo dục,qn,k,MộtkQ 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ỗik= =1,2,Giáo dụcpkAkđồng ý về cácchữ sốp(kích thước đầu vào)đầu tiêncủa khai triển thập phân.q1,k++qn,kMộtkp(kích thước đầu vào)

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:kích thước đầu vào

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?24/132.534567¯


cho nói rằng bạn cần phải chính xác b bit sau đó nhân với sự trao q 1 với 1 00 ... 00 b  chiều dài  trong hệ nhị phân và áp dụng lặp newton của cstheory.stackexchange.com/questions/9706/... . 2bq1100Giáo dục00b chiều dài 
T ....

Câu trả lời:


19

Q1. Đây là một vấn đề mở khét tiếng. Nó được biết là ở cấp độ thứ tư của hệ thống phân cấp đếm , do [ABKM] . Không biết là ở NP. Vấn đề không thực sự nằm ở tính toán căn bậc hai như đã nêu trong bài giảng: bit của căn bậc hai của một số nguyên có thể được tính theo đa thức thời gian theo n và bitize của số nguyên. Vấn đề là, làm thế nào gần tổng số căn bậc hai của số nguyên có thể đến một số nguyên, mà không thực sự là tích phân.nn

Quý 2 Trường hợp là tất nhiên dễ dàng. Nó giống nhưn= =1 , đó là trong thời gian đa thức, bởi vì bình phương một số hợp lý là trong thời gian đa thức.qMột2

H3 Theo trang này , tốt nhất mà được biết đến là có nguyên , tất cả giữa 1n , sao cho | Σ k i = 1một1,Giáo dục,mộtk,b1,Giáo dục,bk1n. Đây là giới hạn dưới củaΩ(2klog|ΣTôi= =1kmộtTôi-ΣTôi= =1kbTôi|= =Ôi(n-2k+3/2) về số lượng bit cần thiết được tính cho bài toán khó hơn có thể cho phép các hệ số âm. Giới hạn trên tốt nhất về số lượng bit là số mũ tính theo k .Ω(2kđăng nhậpn)k

Q4. Tôi nghĩ rằng biểu diễn thập phân có thể không hiệu quả. Độ dài của khoảng thời gian là thứ tự nhân của 10 modulo mẫu số, có thể là số mũ của số bit của mẫu số.


Vì vậy, một vấn đề có thể có PTAS trong khi phiên bản quyết định của nó không được biết là ở ? NP
Lamine

@Lamine Tất nhiên, người ta phải làm gì với người kia?
Sasho Nikolov

3

Bạn đã viết:

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 sao bạn không chỉ đơn giản là đọc báo, thay vì đăng những yêu cầu vô nghĩa như vậy? Trên trang 239, Papadimitriou thảo luận cẩn thận về các vấn đề này và xác định biến thể cơ bản của số liệu Euclide cho bằng chứng của mình.


6
Tôi nghĩ rằng đây là một nhận xét tốt hơn là một câu trả lời, trừ khi bạn cung cấp một số chi tiết về cách Papadimitriou tránh tổng số vấn đề căn bậc hai.
Sasho Nikolov
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.