Có bất kỳ vấn đề NP đã biết nào được phỏng đoán là khó theo cấp số nhân trung bình không?


11

ETH tuyên bố rằng SAT không thể được giải quyết trong trường hợp xấu nhất trong thời gian phụ. Trường hợp trung bình thì sao? Có vấn đề tự nhiên nào trong NP được phỏng đoán là khó theo cấp số nhân trong trường hợp trung bình không?

Lấy trường hợp trung bình để có nghĩa là thời gian chạy trung bình với phân phối đồng đều trên các đầu vào.


6
bạn cần một định nghĩa cho "trường hợp trung bình" để làm cho câu hỏi của bạn trở nên có ý nghĩa về mặt toán học.
Yixin Cao

2
vzn, tôi không hiểu sự liên quan của bình luận của bạn. Tôi không hỏi về một vấn đề mở ở đây, rõ ràng là không có vấn đề nào được biết là khó ở mức trung bình. Tôi đang hỏi nếu có bất kỳ ứng cử viên nào được phỏng đoán là khó trong trường hợp trung bình. Xin vui lòng đọc câu hỏi cẩn thận trước khi bình luận.
Ẩn danh

1
@vzn Chính xác! Tôi chắc chắn đồng ý, ý nghĩa của tôi là dường như khó có thể phỏng đoán như vậy để thực hiện một bước có ý nghĩa về phía trước hoặc thay đổi đáng kể các hướng nghiên cứu mà bạn đề cập.
usul

3
OP, lưu ý rằng thời gian chạy dự kiến ​​không phải là AFAIK số lượng thông thường chúng ta xem xét ở độ cứng trung bình. xem một số khảo sát về lý thuyết phức tạp trường hợp trung bình của Levin
Sasho Nikolov

1
Sasho Nikolov, tôi biết về lý thuyết của Levin. Tuy nhiên, cũng có một độ phức tạp trung bình đơn giản hơn được sử dụng để phân tích hành vi của các thuật toán trên một phân phối cụ thể trở lại [Karp 1986], phổ biến hơn trong các thuật toán. Tôi biết rằng vấn đề Tiling và một vài vấn đề khác đã hoàn tất đối với DistNP. Tuy nhiên tôi không biết liệu chúng có được tính theo mức trung bình theo cấp số nhân hay không bằng cách sử dụng ý nghĩa đơn giản của trường hợp trung bình do Karp.
Ẩn danh

Câu trả lời:


11

Có thể phỏng đoán rằng Sự tương đương trong học tập với vấn đề tiếng ồn (LPN) ở tỷ lệ lỗi không đổi đòi hỏi thời gian . Thuật toán được biết đến nhanh nhất (Blum-Kalai-Wasserman) sử dụng thời gian 2 O ( n / log n ) .2n1o(1)2O(n/logn)


Cảm ơn bạn. Bạn có thể vui lòng cung cấp tài liệu tham khảo nơi tôi có thể đọc thêm về vấn đề LPN không?
Ẩn danh

2
@ Đồng nghĩa: Bài viết này nêu một số phỏng đoán về độ cứng của LPN: M. Alekhnovich. Thêm thông tin về trường hợp trung bình so với độ phức tạp xấp xỉ Trong Proc. của Hội nghị chuyên đề lần thứ 44 về các nền tảng của khoa học máy tính, trang 298 298 307, 2003.
Yury

Yury, cảm ơn bạn đã tham khảo: math.ias.edu/~misha/ con / aenses.ps
Ẩn danh

10

ncnc


Cảm ơn bạn. Có lý do nào để họ không phỏng đoán tuyên bố mạnh mẽ hơn rằng k-SAT ngẫu nhiên bị giới hạn ở tỷ lệ mệnh đề gần với ngưỡng thỏa mãn là khó theo cấp số nhân?
Ẩn danh

4
Tôi đoán là vì họ có thể chứng minh kết quả về các thuật toán quay lui không có điều kiện trên P ≠ NP.
David Eppstein

5

Có một số trình tạo số psuedorandom mà chúng ta không có thuật toán thời gian đa thức để phá vỡ. Tôi đoán bạn có thể coi họ là khó khăn trong trường hợp trung bình. Kiểm tra các máy phát điện tại www.ecrypt.eu.org/stream/ Có những thứ khác tất nhiên, bạn có thể nghiên cứu hầu hết chúng trực tuyến.


Có bất kỳ PRNG polytime cụ thể nào được phỏng đoán là trung bình theo cấp số nhân?
Ẩn danh

Công cụ tạo bước xoay chiều được phát minh bởi Gunther là một vẻ đẹp vì nhiều lý do. Phải có hai thanh ghi dịch chuyển phản hồi tuyến tính (LFSR) A & B và XOR là đầu ra nhưng xung nhịp của hai thanh ghi được điều khiển bởi LFSR thứ ba (C) sao cho đầu ra của A & B đi vào cổng XOR một cách bất thường. Do các bit của C chỉ điều khiển xung nhịp của A & B và không xuất hiện trong luồng đầu ra, C có thể được coi là một biến ẩn gần như phá vỡ tính tuyến tính vốn có của A & B. Đây là một lời giải thích đơn giản nhưng bạn sẽ muốn để xem mạch cho chính mình.
William Hird

Tôi không quen thuộc với "Công cụ tạo bước xen kẽ được phát minh bởi Gunther". Có phải nó được phỏng đoán là trung bình theo cấp số nhân?
Ẩn danh

1
Tôi không biết làm thế nào để trả lời bình luận của bạn như được đặt ra, nhưng ASG được coi là không thể phá vỡ miễn là độ dài khóa cho ba thanh ghi thay đổi là khoảng 128 bit mỗi thanh ghi. Nếu điều này tương đương với "trung bình theo cấp số nhân" thì tôi đoán câu trả lời của bạn là có.
William Hird

1
@ Đồng nghĩa: Tất nhiên ASG "xương sống" có thể bị phá vỡ khó khăn hơn bằng cách sử dụng ba ASG làm đăng ký AB & C cho một ASG khác, Gunther ám chỉ điều này trong bài báo gốc của mình. Nó giống như thêm nhiều vòng vào một mật mã khối. Làm thế nào một người có thể khuếch đại độ cứng bằng phương pháp này là một câu hỏi mở (và thú vị) :-)
William Hird

-1

Tôi hiểu rằng trong khi có một số ứng cử viên từ lý thuyết không thể phá vỡ mật mã và trình tạo số ngẫu nhiên [ví dụ như một số trích dẫn trong Razborov / Rudich, Bằng chứng tự nhiên], hầu hết các khía cạnh của câu hỏi của bạn đều được các chuyên gia thừa nhận là câu hỏi "vẫn mở" trên đồng ruộng. từ phần giới thiệu đến khảo sát toàn diện, Độ phức tạp trường hợp trung bình của Bogdanov và Trevisan (2006) có một số điểm liên quan. Bài giảng trên youtube của Trevisan về những phát hiện và câu hỏi mở về độ phức tạp của trường hợp trung bình cũng có thể hữu ích.







Các kỹ thuật phù hợp để áp dụng một lý thuyết như vậy cho các vấn đề tự nhiên và phân phối chưa được phát hiện. Từ quan điểm này, trạng thái hiện tại của lý thuyết về độ phức tạp trường hợp trung bình trong NP tương tự như trạng thái của lý thuyết không thể gần đúng của các vấn đề tối ưu hóa NP trước Định lý PCP.


2
Không phải là một câu trả lời cho câu hỏi của tôi. Tôi nghĩ rằng tôi đã giải thích cho bạn rằng tôi không tìm kiếm bình luận chung về các vấn đề liên quan, tôi đang tìm kiếm các vấn đề ứng cử viên được phỏng đoán là khó khăn .
Ẩn danh

1
bất cứ điều gì! imho "lý thuyết không có câu trả lời đáng kể cho câu hỏi của bạn tại thời điểm này" cùng với một số giới thiệu / cơ quan tốt nhất / gần nhất trên subj là một câu trả lời hợp pháp cho câu hỏi của bạn, được đăng không chỉ cho bạn
vzn

1
@ Đồng nghĩa, tôi vẫn còn một chút bối rối về ý nghĩa của bạn về "phỏng đoán". Tất cả chúng ta đều có thể có những phỏng đoán cá nhân, vì vậy không rõ liệu bạn đang tìm kiếm ý kiến ​​cá nhân, lập trường về một câu hỏi mở được chia sẻ bởi nhiều người trong nghiên cứu hoặc một cái gì đó ở giữa. Nó có thể giúp đưa ra một tuyên bố chính xác hơn về những gì bạn đang tìm kiếm. Ngoài ra, tôi thấy các câu trả lời như vzn mang tính hướng dẫn và cung cấp thông tin ngay cả khi chúng không liên quan trực tiếp đến câu hỏi chính xác của bạn, vì vậy tôi không thấy rằng những câu trả lời như vậy nên được khuyến khích mạnh mẽ như vậy.
usul

2
Nếu bạn đã đọc bình luận của tôi mà Peter Shor đã trả lời tôi đã nhận thức được các vấn đề về mật mã được phỏng đoán là cực kỳ khó khăn. Xin vui lòng đọc câu hỏi cẩn thận, tôi không tìm kiếm các vấn đề khó khăn siêu chính trị, tôi đang tìm kiếm những vấn đề khó khăn theo cấp số nhân.
Ẩn danh

2
Vui lòng thảo luận thêm để trò chuyện.
Jeffε
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.