Làm thế nào P =? NP tăng cường hệ số nguyên


14

Nếu trên thực tế bằng , làm thế nào điều này sẽ tăng cường thuật toán của chúng tôi để các số nguyên nhân nhanh hơn. Nói cách khác, loại hiểu biết nào thực tế này sẽ cho chúng ta hiểu được yếu tố số nguyên tốt hơn?N PPNP

Câu trả lời:


9

Nếu và chúng ta có một thuật toán có thể giải quyết vấn đề k-SAT trong thời gian đa thức, thì hệ số nguyên có thể đơn giản được giảm xuống thành k-SAT bằng cách mô tả bao thanh toán là một vấn đề trong k-SAT.P=NP

Về cơ bản, nó hoạt động như sau: Bạn tạo ra một loạt các biến, mỗi biến đại diện cho các bit của , và và . Sau đó, bạn xây dựng bài toán k-SAT là . Vì được biết đến, bạn có thể đặt các giá trị đó. Sau đó, một bài tập thỏa mãn sẽ mô tả một và hợp lệ . Để mô tả phép nhân trong k-SAT, bạn có thể sử dụng bất kỳ thuật toán nhân nào đã biết và mô tả mạch logic của nó trong k-SAT. Để biết thêm thông tin về việc giảm bao thanh toán cho k-SAT, xem tại đây .pqnpq=nnpq

Để hiểu về bao thanh toán tốt hơn, điều đó có lẽ sẽ cần nhiều nghiên cứu và phân tích thuật toán ma thuật hơn (có thể giải quyết các vấn đề hoàn thành NP trong thời gian đa thức xác định), và có lẽ chuyên đưa nó vào công thức tính toán số nguyên của bài toán k-SAT (rõ ràng có một cấu trúc rất cụ thể, tùy thuộc vào thuật toán nhân được sử dụng).


3

Vấn đề quyết định cho bao thanh toán là và bao thanh toán có thể được giảm xuống theo thời gian đa thức xác định.NP

Nếu thì mọi vấn đề trong bao gồm cả bao thanh toán sẽ có thuật toán thời gian đa thức.P=NPNP

Lưu ý rằng các thuật toán xác định / xác suất được biết đến tốt nhất cho bao thanh toán tại thời điểm này mất thời gian theo cấp số nhân nên thuật toán thời gian đa thức sẽ là một cải tiến lớn. Để có được cảm giác về nó, hãy xem xét bao thanh toán một số 2000 bit. Một người có thể mất nhiều thời gian hơn kể từ vụ nổ lớn, người kia có thể trả lời trong vài mili giây.


chỉ cần làm rõ cho OP: phiên bản quyết định phổ biến của bao thanh toán là "số có yếu tố sao cho ", trong đó và là đầu vào. chứng chỉ đơn giản là một số thỏa mãn điều kiện. vấn đề quyết định có thể được sử dụng để thực sự yếu tố bằng cách thực hiện một tìm kiếm nhị phân trên cho đến khi một yếu tố thích hợp duy nhất của được tìm thấy và sau đó recurse trên X / Y . Y 1 < Y < K X K Y K XXY1<Y<KXKYKXX/Y
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.