Những vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết?


218

Wikipedia chỉ liệt kê hai vấn đề trong "những vấn đề chưa được giải quyết trong khoa học máy tính" :

Các vấn đề lớn khác cần được thêm vào danh sách này là gì?

Quy tắc:

  1. Chỉ có một vấn đề cho mỗi câu trả lời
  2. Cung cấp một mô tả ngắn gọn và bất kỳ liên kết có liên quan

1
Vì bạn đang yêu cầu một danh sách và không có câu trả lời duy nhất, điều này có thể hoạt động tốt hơn được gắn cờ như một wiki cộng đồng.
Daniel Apon

2
Một vấn đề chưa được giải quyết cho mỗi câu trả lời, xin vui lòng; sau đó chúng ta có thể dễ dàng xếp hạng các câu trả lời bằng cách bỏ phiếu lên / xuống!
Jukka Suomela

15
Tại sao chỉ có kết quả phức tạp? Có nhiều điều với TCS hơn là sự phức tạp! Không có vấn đề mở trong lý thuyết loại? ngôn ngữ lập trình?
Jacques Carette

3
thêm chúng vào, Jacques :).
Suresh Venkat

8
Tôi nghĩ rằng chúng ta nên phân biệt giữa các vấn đề mở lớn được xem là vấn đề cơ bản , như và các vấn đề mở lớn sẽ tạo thành một bước đột phá kỹ thuật, nếu được giải quyết, nhưng không nhất thiết là giới hạn cơ bản, ví dụ, giới hạn thấp hơn theo cấp số nhân trên mạch (tức là cổng). Vì vậy, chúng ta có thể nên mở một wiki cộng đồng mới có tên "các vấn đề mở ở biên giới của TCS", hoặc tương tự. A C 0 ( 6 ) A C 0 +PNPAC0(6)AC0+mod6
Iddo Tzameret

Câu trả lời:


137

Phép nhân của với ma trận có thể được thực hiện trong các phép toán không?n O ( n 2 )nnO(n2)

Số mũ của giới hạn trên được biết đến nhiều nhất thậm chí có một biểu tượng đặc biệt, . Hiện tại là khoảng 2,376, theo thuật toán Coppersmith-Winograd . Một tổng quan đẹp về tình trạng của nghệ thuật là Sara Robinson, Hướng tới một thuật toán tối ưu cho phép nhân ma trận , SIAM News, 38 (9), 2005.ωωω

Cập nhật: Andrew Stothers (trong luận án năm 2010 ) đã chỉ ra rằng , được cải thiện bởi Virginia Vassilevska Williams (trong bản in tháng 7 năm 2014 ) thành . Cả hai giới hạn này đều có được bằng cách phân tích cẩn thận về kỹ thuật Coppersmith-Winograd cơ bản.ω < 2,372873ω<2.3737ω<2.372873

Cập nhật thêm (ngày 30 tháng 1 năm 2014): François Le Gall đã chứng minh rằng trong một bài báo được xuất bản trong ISSAC 2014 ( bản in trước arXiv ).ω<2.3728639


Làm thế nào về một mục tiêu khiêm tốn và thực tế của hoặc một số chức năng khác giữa và ? Sau tất cả, người ta hy vọng rằng phép nhân số nguyên có giới hạn dưới của . n 2 + ϵ n 2 O ( n log n )O(n2logn)n2+ϵn2O(nlogn)
Mitch

Tôi không chắc chắn đi từ đến được coi là một "mục tiêu khiêm tốn và thực tế", chứ đừng nói là dưới . Nhưng sẽ thật tuyệt khi thấy một số tiến bộ, vì vậy hãy thử xem! 2 + ε 2 + ε2+0.3762+ϵ2+ϵ
András Salamon

13
Số mũ nhân ma trận được xác định là số thực nhỏ nhất sao cho hoạt động số học đủ cho tất cả . Có lẽ một yếu tố như nên được mong đợi. O ( n ω + ε ) ε > 0 log nωO(nω+ϵ)ϵ>0logn
Zeyu

2
Chỉ cần thêm vào để hoàn thiện kiến ​​thức hiện tại mà ràng buộc CW đã được cải thiện vài ngày trước bởi Virginia Williams. Và như được ghi nhận bởi nhiều người khác trong cộng đồng, Andrew Stothers đã bị ràng buộc đánh đập CW khoảng một năm trước Virginia. Bản ghi hiện tại làO(n2.373)
Akash Kumar


123

Là đồ thị đẳng cấu trong P?

Sự phức tạp của đồ thị đẳng cấu (GI) là một câu hỏi mở trong nhiều thập kỷ. Stephen Cook đã đề cập đến nó trong bài viết năm 1971 về NP-tính hoàn chỉnh của SAT .

Việc xác định xem hai biểu đồ có phải là đẳng cấu hay không thường có thể được thực hiện nhanh chóng, ví dụ như bằng phần mềm như nautysaucy. Mặt khác, Miyazaki đã xây dựng các lớp các trường hợpnautythể chứng minh được thời gian theo cấp số nhân.

Đọc và Corneil đã xem xét nhiều nỗ lực để giải quyết sự phức tạp của GI cho đến thời điểm đó: Bệnh đồng hình đồ thị , Tạp chí lý thuyết đồ thị 1 , 339 Câu363, 1977.

GI không được biết là nằm trong co-NP, nhưng có một giao thức ngẫu nhiên đơn giản cho đồ thị không đẳng cấu (GNI). Do đó GI (= co-GNI) được cho là "gần với" NP co-NP.

Mặt khác, nếu GI hoàn thành NP, thì Hệ thống phân cấp đa thức sụp đổ. Vì vậy, GI dường như không hoàn thành NP. (Boppana, Håstad, Zachos, co-NP có bằng chứng tương tác ngắn không?, IPL 25 , 127 Lời132, 1987)

Shiva Kintali có một cuộc thảo luận thú vị về sự phức tạp của GI tại blog của mình.

Laszlo Babai đã chứng minh rằng Đồng phân đồ thị đang trong thời gian phụ .


Xin hãy xem mục này là tốt.
MS Dousti

Tôi đã tạo ra một giới hạn chính xác thấp hơn để phát hiện tự động hóa lực lượng vũ phu chung. oeis.org/A186202 Ít hơn nhiều so vớinhưng vẫn theo cấp số nhân. Hy vọng McKay sẽ kết hợp nó với Schrier-Sims để hóa thân thành NAUTY mới nhất của mình để làm cho nó chạy trên phần cứng song song. n!
Chad Brewbaker

1
Babai rút lại yêu cầu của thời gian chạy quasipolynomial . Rõ ràng đã có một lỗi trong phân tích.
Raphael

4
Khiếu nại đã được khôi phục: people.cs.uchicago.edu/~laci/update.html
vào

91

Bất kỳ ấn phẩm tốt nào bạn biết về mô tả bao thanh toán hoặc kiểm tra tính nguyên thủy về mặt cấu trúc của nửa nhóm biến đổi cộng và nhân trên Z_n? Ví dụ: trên [0,1,2] là biến đổi +0 | x1, [1,2,0] là biến đổi +1 ...Z3
Chad Brewbaker


66

Có một quy tắc xoay vòng cho thuật toán đơn giản mang lại thời gian chạy đa thức trong trường hợp xấu nhất không? Tổng quát hơn, có thuật toán đa thức mạnh nào cho lập trình tuyến tính không?


11
Tôi sẽ thêm vào câu hỏi này: việc hiển thị sự không tồn tại của LP đa thức mạnh có ngụ ý bất kỳ kết quả phân tách lớp nào không?
Anand Kulkarni

,,, và phỏng đoán Hirsch ...
Sariel Har-Peled

7
Vào năm 2011, Oliver Friedmann đã cho thấy giới hạn theo cấp số nhân đối với nhiều quy tắc xoay vòng (ông thực sự tuyên bố các quy tắc xoay vòng "về cơ bản là tự nhiên", bao gồm cả Khuôn mặt ngẫu nhiên và Cạnh ngẫu nhiên). Các giới hạn này được áp dụng khi giải một chương trình tuyến tính xuất phát từ các trò chơi chẵn lẻ 2 người chơi. Luận án của Friedmann edoc.ub.uni-muenchen.de/13294 khảo sát lịch sử ở một số độ sâu (bao gồm các hình thức khác nhau của Giả thuyết Hirsch, và ví dụ năm 2010 với hình thức mạnh mẽ của Francisco Santos).
András Salamon

63

Các mũ thời gian giả thuyết (ETH) khẳng định rằng giải quyết SAT đòi hỏi mũ, 2 Ω (n) thời gian. ETH ngụ ý nhiều điều, ví dụ SAT không nằm trong P, vì vậy ETH ngụ ý P ≠ NP. Xem Impagliazzo, Paturi, Zane, vấn đề nào có độ phức tạp theo cấp số nhân? , JCSS 63, 512 Gian530, 2001.

ETH được nhiều người tin tưởng, nhưng có khả năng khó chứng minh, vì nó bao hàm nhiều sự tách lớp phức tạp khác.


4
Nghiêm túc mà nói, tôi sẽ không gọi ETH là một vấn đề mở lớn vào thời điểm này chính xác bởi vì nó ngụ ý P ≠ NP và do đó ít nhất là rất khó để chứng minh.
Holger

17
Không? IMHO, đối số của bạn ngụ ý rằng ETH thậm chí còn là một vấn đề mở lớn hơn PvsNP.
Jeffε

Bạn có thể giải thích tại sao không ngụ ý ETH không? PNP
Emil

13
Nếu , thì , nhưng ETH là sai. P N PNP=PTIME(nlogn)PNP
Jeffε

3
À được rồi Nhưng ý bạn là DTIME ( )? nlogn
Emil

59

Immerman và Vardi cho thấy logic điểm cố định nắm bắt PTIME trên lớp cấu trúc có trật tự . Một trong những vấn đề mở lớn nhất trong lý thuyết phức tạp mô tả là liệu sự phụ thuộc vào thứ tự có thể được loại bỏ hay không:

Có logic nào nắm bắt PTIME không?

Nói một cách đơn giản, PTIME bắt logic là ngôn ngữ lập trình cho các vấn đề về đồ thị hoạt động trực tiếp trên cấu trúc đồ thị và không có quyền truy cập vào mã hóa của các đỉnh và cạnh, sao cho giữ như sau:

  1. bất kỳ chương trình chính xác nào cũng mô hình hóa một vấn đề đồ thị tính toán thời gian đa thức và
  2. bất kỳ bài toán đồ thị tính toán thời gian đa thức nào cũng có thể được mô hình hóa bằng một chương trình đúng về mặt cú pháp.

Nếu không có logic nào bắt được PTIME, thì vì NP bị bắt bởi logic thứ hai tồn tại. Một logic bắt PTIME sẽ cung cấp một cuộc tấn công có thể xảy ra với P vs NP.PNP

Xem blog của Lipton để biết một cuộc thảo luận không chính thức và M. Grohe: The Quest for a Logic Capturing PTIME (LICS 2008) để có một cuộc khảo sát kỹ thuật hơn.


3
Immerman-Vardi cho thấy FO (LFP) nắm bắt logic trên các cấu trúc <i> đã đặt hàng </ i>, vì vậy đây là câu hỏi về việc bắt PTIME trên các mô hình hữu hạn tùy ý, tôi lấy nó. Nếu tôi hiểu bạn một cách chính xác, không phải câu hỏi này là bản dịch của việc hỏi liệu P! = NP? Có thể sẽ rõ hơn khi hỏi một hoặc nhiều vấn đề mở trong khảo sát mà bạn liên kết đến. Xin lỗi nếu tôi không biết gì ở đây.
Aaron Sterling

5
Cảm ơn, tôi đã chỉnh sửa câu trả lời để đề cập đến Immerman-Vardi để làm rõ. Không, vấn đề mở này không được biết là tương đương với P vs NP. Các vấn đề mở trong khảo sát là các trường hợp đặc biệt của vấn đề mở lớn và không phù hợp trong chủ đề này. Có lẽ tài liệu tham khảo này cũng hữu ích: rjlipton.wordpress.com/2010/04/05/ trên
Holger

55

Là những trò chơi độc đáo phỏng đoán có đúng không?
Và: Cho rằng có các thuật toán xấp xỉ thời gian theo cấp số mũ cho Trò chơi duy nhất , vấn đề cuối cùng nằm ở đâu trong bối cảnh phức tạp?


Sẽ không chính xác hơn để nói rằng nếu UGC không đúng (nghĩa là các trò chơi độc đáo không phải là NP-hard, chỉ khó hơn P), UGC sẽ phù hợp với bối cảnh ở đâu?
András Salamon

Úi. Vâng, tôi nên điều chỉnh lại. Ý định của tôi là làm nổi bật sự khác biệt rõ ràng xuất phát từ các trò chơi độc đáo có thuật toán xấp xỉ không tầm thường trong thời gian theo cấp số nhân (nhưng không hoàn toàn đa thức). Thêm về: Điều này nói lên điều gì, nếu thời gian chạy theo cấp số nhân là tối ưu cho các trò chơi độc đáo?
Daniel Apon

2
Nhìn lại, tôi nghĩ rằng tôi nên bao gồm một con trỏ hướng tới bản in trước này . Theo tôi, đó là một sự phát triển lớn như bài báo mà tôi đã liên kết trong câu trả lời.
Daniel Apon

1
Điều đáng chú ý là không có trường hợp cứng nào được biết đến của UCG. Cách tiếp cận tốt nhất hiện nay hoạt động hiệu quả trong mọi trường hợp được thử nghiệm. Chúng tôi không thể chứng minh rằng chúng tôi đã tìm thấy những ví dụ bệnh hoạn nhất.
Stella Biderman

55

Vĩnh viễn so với quyết định

Câu hỏi thường trực so với câu hỏi xác định là thú vị vì hai sự thật. Đầu tiên, tính vĩnh viễn của một ma trận đếm số lượng khớp hoàn hảo trong đồ thị lưỡng cực. Do đó, vĩnh viễn của một ma trận như vậy là # P-Complete. Đồng thời, định nghĩa về vĩnh viễn rất gần với định nghĩa, cuối cùng chỉ khác nhau vì một thay đổi dấu hiệu đơn giản. Các tính toán xác định được biết đến là ở P. Nghiên cứu sự khác nhau giữa vĩnh viễn và xác định và có bao nhiêu phép tính xác định được yêu cầu để tính toán nói vĩnh viễn về P so với #P.


5
Đối với tôi, điều này không đủ điều kiện là một "vấn đề mở lớn", bởi vì câu hỏi lý thuyết phức tạp thực tế (chúng có độ phức tạp khác nhau) được P = NP đặt ra (vì #P là siêu thay thế của NP) và với câu hỏi đó được đặt sang một bên không có một vấn đề cụ thể nào được đặt ra ở đây.
David Eppstein

Tôi thực sự đồng ý với điều này.
Ross Snider

10
@DavidEppstein: Per v. Det gần với GapP v GapL, một dạng tương tự đếm của NP v NL. Có thể là và do đó . Ngoài ra, per v det cũ hơn nhiều so với P v NP, về cơ bản quay trở lại [Polya 1913], trong đó anh ta cho thấy rằng người ta không thể gắn các dấu hiệu vào một ma trận để thay đổi vĩnh viễn thành định thức của nó (trừ 2x2). Valiant đã giới thiệu một biến thể cho những câu hỏi đó (cho phép kích thước của Det lớn hơn n) vì tầm quan trọng của nó rất phức tạp, nhưng ngay cả các tác phẩm tiền Valiant cũng tạo ra động lực "bởi vì vĩnh viễn rất khó tính toán ..." (ví dụ Gibson 1971)G một p P G một p LNLP=NPGapPGapL
Joshua Grochow

Các trạng thái của các thuật toán nghệ thuật hiện nay để tính toán vĩnh viễn của ma trận 0-1 là gì? tức là số lượng ma trận hoán vị hợp pháp bạn có thể tạo từ một tập hợp con của 1.
Chad Brewbaker

@ChadBrewbaker: xem Mark Jerrum, Alistair Sinclair, Eric Vigoda, "Thuật toán xấp xỉ thời gian đa thức cho tính vĩnh viễn của ma trận với các mục nhập không âm", Tạp chí ACM 51/4 (2004), 671, citeseer. psu.edu/viewdoc/summary?doi=10.1.1.141.116
Zsbán Ambrus

47

Chúng ta có thể tính toán FFT trong thời gian ít hơn nhiều so với thời gian không?O(nlogn)

Trong cùng một (rất) chung, có rất nhiều câu hỏi về việc cải thiện thời gian chạy của nhiều vấn đề hoặc thuật toán cổ điển: ví dụ: có thể giải quyết tất cả các cặp đường ngắn nhất (APSP) trong thời gian?O(n3ϵ)

Chỉnh sửa: APSP chạy kịp thời "trong đó các phép cộng và so sánh thực là chi phí đơn vị (nhưng tất cả các hoạt động khác đều điển hình chi phí logarit) ": http://arxiv.org/pdf/1312.6680v2.pdf(n32Ω(logn)1/2)


3
Một sự phát triển thú vị trên FFT: "Thuật toán thời gian O (k log n) cho trường hợp tín hiệu đầu vào có tối đa k hệ số Fourier khác không và * Nhật ký O (k log n log (n / k)) thuật toán thời gian cho tín hiệu đầu vào chung. " nguồn: arxiv.org/abs/1201.2501v1
Shadok



44

NP so với đồng NP

Câu hỏi NP so với co-NP rất thú vị vì NP ≠ co-NP ngụ ý P ≠ NP (vì P được đóng dưới phần bù). Nó cũng liên quan đến "tính hai mặt": phân tách giữa việc tìm / xác minh các ví dụ và tìm / xác minh các mẫu phản. Trên thực tế, việc chứng minh rằng một câu hỏi nằm ở cả NP và đồng NP là bằng chứng tốt đầu tiên của chúng tôi rằng một vấn đề dường như nằm ngoài P cũng có khả năng không phải là NP-Complete.


7
Điều này cũng liên quan đến độ phức tạp bằng chứng mệnh đề. Có một hệ thống chứng minh mệnh đề đa thức iff bằng với . c o N PNPcoNP
Kaveh

41

Có vấn đề nào không thể giải quyết hiệu quả bằng máy tính song song không?

Các vấn đề là P-Complete không được biết là song song. Các bài toán hoàn chỉnh bao gồm Horn-SAT và Lập trình tuyến tính. Nhưng việc chứng minh rằng đây là trường hợp sẽ yêu cầu tách một số khái niệm về các vấn đề song song (như NC hoặc LOGCFL) khỏi P.

Thiết kế bộ xử lý máy tính đang tăng số lượng đơn vị xử lý, với hy vọng rằng điều này sẽ mang lại hiệu suất được cải thiện. Nếu các thuật toán cơ bản như Lập trình tuyến tính vốn không thể song song, thì có những hậu quả đáng kể.


16
Tôi khá chắc chắn rằng các thuật toán LP, như chúng hiện nay, không thể song song. Tôi tin rằng chúng phù hợp với mô hình hoạt động không cần RAM của Mulmuley. Trong dx.doi.org/10.1137/S0097539794282930 K. Mulmuley. Giới hạn dưới trong Mô hình song song không có hoạt động bit. SIAM J. Tính toán. 28 (4), 1460-1509 (1999), ông cho thấy trong mô hình đó, cho thấy nhiều thuật toán tự nhiên (thường là số) cho các vấn đề -complete không thể song song. Điều này không trả lời câu hỏi trong trường hợp boolean, nhưng nó trả lời nó cho một lớp lớn các thuật toán tự nhiên. PPNCP
Joshua Grochow

41

Có phải tất cả các tautology mệnh đề có bằng chứng Frege kích thước đa thức?

Có thể cho rằng vấn đề mở lớn về độ phức tạp của bằng chứng : chứng minh giới hạn kích thước siêu đa thức thấp hơn trên các bằng chứng mệnh đề (còn gọi là bằng chứng Frege).

Một cách không chính thức, một hệ thống chứng minh Frege chỉ là một hệ thống chứng minh mệnh đề tiêu chuẩn để chứng minh các tautology mệnh đề (người ta học trong một khóa logic cơ bản), có các tiên đề và quy tắc khấu trừ, trong đó các dòng chứng minh được viết dưới dạng công thức. Các kích thước của một bằng chứng Frege là số ký tự cần thiết để ghi lại bằng chứng.

Sau đó, vấn đề hỏi liệu có một gia đình của các công thức tautological mệnh đề mà không có đa thức sao cho kích thước bằng chứng Frege tối thiểu của nhiều nhất là , với mọi (trong đó biểu thị kích thước của công thức ).(Fn)n=1pFnp(|Fn|)n=1,2,|Fn|Fn


Định nghĩa chính thức của một hệ thống bằng chứng Frege

Định nghĩa (Quy tắc Frege) Quy tắc Frege là một chuỗi các công thức mệnh đề , với , được viết là . Trong trường hợp , quy tắc Frege được gọi là sơ đồ tiên đề . Một công thức được cho là bắt nguồn từ quy tắc từ nếu là tất cả các trường hợp thay thế của , đối với một số phép gán cho các biến (nghĩa là, có công thức A0(x¯),,Ak(x¯)k0A1(x¯),,Ak(x¯)A0(x¯)k=0F0F1,,FkF0,,FkA1,,Akx¯B1,,Bn sao cho với tất cả . Quy tắc Frege được gọi là âm thanh nếu bất cứ khi nào một phép gán thỏa mãn các công thức ở phía trên , thì nó cũng thỏa mãn công thức ở phía dưới .Fi=Ai(B1/x1,,Bn/xn),i=0,,kA1,,AkA0

Định nghĩa (Bằng chứng Frege) Với một tập hợp các quy tắc Frege, bằng chứng Frege là một chuỗi các công thức sao cho mọi dòng chứng minh là một tiên đề hoặc được lấy từ một trong các quy tắc Frege đã cho từ các dòng chứng minh trước đó. Nếu chuỗi chấm dứt với công thức , sau đó chứng minh được cho là một bằng chứng về . Các kích thước của một bằng chứng Frege là tổng kích thước của tất cả các công thức trong các giấy tờ chứng minh.AA

Một hệ thống bằng chứng được cho là implicationally hoàn chỉnh nếu cho tất cả các thiết lập công thức , nếu ngữ nghĩa bao hàm , sau đó là một bằng chứng của sử dụng (có thể) tiên đề từ . Một hệ thống bằng chứng được cho là âm thanh nếu nó thừa nhận bằng chứng chỉ tautology (khi không sử dụng các tiên đề phụ, như trong ở trên).TTFFTT

Định nghĩa (Hệ thống chứng minh Frege) Với một ngôn ngữ mệnh đề và tập hữu hạn của các quy tắc Frege âm thanh, chúng tôi nói rằng là một hệ thống chứng minh Frege nếu hoàn toàn ngụ ý.PPP

Lưu ý rằng bằng chứng Frege luôn có âm thanh do các quy tắc Frege được coi là âm thanh. Chúng ta không cần phải làm việc với một hệ thống chứng minh Frege cụ thể, vì kết quả cơ bản trong độ phức tạp chứng minh nói rằng mỗi hai hệ thống chứng minh Frege, thậm chí trên các ngôn ngữ khác nhau, đều tương đương về mặt đa thức [Reckhow, luận án tiến sĩ, Đại học Toronto, 1976].


Thiết lập giới hạn thấp hơn trên bằng chứng Frege có thể được xem là một bước để chứng minh , vì nếu điều này là đúng thì không có hệ thống chứng minh mệnh đề nào (bao gồm Frege) có thể có bằng chứng kích thước đa thức cho tất cả các tautology.NPcoNP


38

Chúng ta có thể tính khoảng cách chỉnh sửa giữa hai chuỗi có độ dài trong thời gian bậc hai, tức là trong thời gian cho một số không?nO(n2ϵ)ϵ>0


8
Bạn có tài liệu tham khảo cho điều đó? Tôi thực sự nghĩ rằng đề xuất này là sai lầm tầm thường mặc dù tôi không thể nghĩ ra một bằng chứng ngoài đỉnh đầu. (Mặc dù tôi biết rằng thời gian chạy có thể được thực hiện tùy thuộc vào số lượng lỗi.)
Konrad Rudolph

5
Cập nhật (STOC 2015): Backurs và Indyk đưa ra bằng chứng rằng thời gian tốt hơn bậc hai là không thể. Xem rjlipton.wordpress.com/2015/06/01/puzzling-evidence .
Neal Young

38

Có các thuật toán thời gian phụ thực sự (có nghĩa là thời gian cho một số hằng số ) cho các vấn đề khó 3SUM không?O(n2δ)δ>0

Vào năm 2014, Grønlund và Pettie đã mô tả một thuật toán xác định cho chính 3SUM chạy trong thời gian . Mặc dù đây là một kết quả chính, sự cải thiện so với chỉ là logarit (phụ). Hơn nữa, không có thuật toán phụ tương tự nào được biết đến với hầu hết các vấn đề khó 3SUM khác.O ( n 2 )O(n2/(logn/loglogn)2/3)O(n2)


9
Câu hỏi hay. Tuy nhiên, sự tồn tại của các thuật toán bậc hai cho bài toán 3SUM vẫn mở rộng ngay cả đối với các thuật toán ngẫu nhiên . Tất nhiên, thuật toán xác định thậm chí còn đẹp hơn ..
Piotr

3
Trong trường hợp lượng tử, có các giới hạn n log (n) dưới và giới hạn phù hợp cho 3SUM: Andrej Dubrovsky, Oksana Scegulnaja-Dubrovska Cải thiện giới hạn lượng tử cho vấn đề 3-Sum. Thủ tục tố tụng của Baltic DB & IS 2004, tập. 2, Riga, Latvia, tr.40-45.
Martin Schwarz

1
Tôi có ấn tượng rằng chúng tôi không có giới hạn dưới 2 ^ cho bất kỳ vấn đề nào trong NP.
Sariel Har-Peled

1
Tôi có ấn tượng riêng biệt rằng nếu bạn bị hạn chế trong các vấn đề quyết định (không có đối số đầu ra), thì không có gì được biết đến. Nhưng bạn thực sự nên hỏi một người phức tạp.
Sariel Har-Peled

3
Một bài báo arXiv gần đây tuyên bố đã giải quyết phỏng đoán này bằng cách đưa ra các thuật toán bậc hai cho 3-SUM.
Mangara

35

BQP = P?

Ngoài ra: NP có trong BQP?

Tôi biết điều này đã vi phạm các quy tắc khi có hai câu hỏi trong câu trả lời, nhưng khi được thực hiện với câu hỏi P vs NP, chúng không nhất thiết phải là câu hỏi độc lập.


33
  1. Phỏng đoán đẳng cấu. (Có phải tất cả các vấn đề hoàn thành NP là vấn đề "giống nhau" không?)
  2. Mật mã có thể dựa trên một vấn đề hoàn chỉnh NP không?

  3. và, xa hơn một chút so với dòng chính:

  4. Kích thước của NP trong EXP là bao nhiêu?

(Một cách không chính thức, nếu bạn có tất cả các vấn đề về EXP trên một bảng và bạn chọn một cách ngẫu nhiên một cách ngẫu nhiên, thì xác suất mà vấn đề bạn chọn cũng nằm trong NP là gì? Câu hỏi này đã được chính thức hóa bằng khái niệm về biện pháp giới hạn tài nguyên . Được biết, P có số đo bằng 0 trong EXP, nghĩa là, vấn đề bạn nhặt được từ bảng gần như chắc chắn không có ở P.)


Đây có giống như số đo p trong Sở thú phức tạp không? Tôi sẽ đi đâu để đọc thêm về nó?
András Salamon

2
Biện pháp P là một ví dụ về biện pháp giới hạn tài nguyên: nói chung, bạn có thể tưởng tượng một cỗ máy đang cố gắng dự đoán một chuỗi và các tài nguyên tính toán mà nó có sẵn để làm như vậy là những gì cung cấp giới hạn tài nguyên trên thước đo. Tôi đã sử dụng biện pháp p trong giải thích không chính thức về EXP trên bàn. Để đọc thêm, tôi đề nghị phiên bản tạp chí của cuộc khảo sát sau đây của Lutz (CZ trích dẫn phiên bản hội nghị của cuộc khảo sát này). cs.iastate.edu/~lutz/=PAPERS/qset.ps (trong phần tái bút, tôi hy vọng điều đó ổn)
Aaron Sterling

Cảm ơn. Đây là bản PDF của bài báo đó dành cho những người không thể đọc PS: archives.cs.iastate.edu/document/disk0/00/00/01/11/00000128-01/
András Salamon

2
Có cho câu hỏi đầu tiên của bạn. P có số đo 0 trong EXP, vì vậy nếu NP không có, bạn sẽ nhận được P! = NP ngay lập tức. Đối với câu hỏi thứ hai, tôi đề nghị bạn đọc đoạn cuối của trang 28 trong bản khảo sát Andras và tôi đã liên kết đến. (Xin lỗi, không đủ chỗ trong bình luận để dán nó ở đây, xin lỗi.) Về cơ bản, nếu NP có số đo bằng 0, tồn tại một thuật toán khả thi có thể đoán thành viên trong một vấn đề NP-hard "vô lý". Vì vậy, có vẻ như NP không đo bằng 0 trong EXP.
Aaron Sterling

1
@Artem: bạn có thể bắt đầu tại đây: blog.computationalcomplexity.org/2003/03/NH
Aaron Sterling

29

Tính gần đúng của TSP số liệu là gì? Thuật toán của Christofides từ năm 1975 là thuật toán ước lượng thời gian đa thức (3/2). Có phải NP-khó để làm tốt hơn?

  • Xấp xỉ TSP số liệu trong phạm vi nhỏ hơn 220/219 là NP-hard (Papadimitriou và Vempala, 2006 [PS] ). Theo hiểu biết của tôi đây là giới hạn thấp nhất được biết đến.

  • Có một số bằng chứng cho thấy ràng buộc thực tế có thể là 4/3 (Carr và Vempala, 2004 [Phiên bản miễn phí] [Phiên bản tốt] ).

  • Giới hạn trên về tính gần đúng đã được hạ xuống gần đây đến (Phần lớn năm 2011 "13/9 - tính gần đúng cho TSP đồ họa" [ PDF ])13/9


1
TSP số liệu gần đây được thực hiện bởi 3/2 - e trong đó e là hằng số (gần 0,002)
Saeed


2
@Saeed, ý bạn là thuật toán chỉ dành cho trường hợp đặc biệt của TSP số liệu: cho TSP đồ họa? Sau đó, nó đã được cải thiện thành 13/9. Có vẻ như 3/2 là giới hạn trên được biết đến nhiều nhất đối với TSP số liệu.
Alex Golovnev

@AlexGolovnev, Xin chào Alex, Có, nhưng nhận xét của tôi là trước khi bài báo mới đến;) (Tôi đã thấy bài báo của Oveis Gharan tại thời điểm đó).
Saeed

28

Đưa ra một hàm rõ ràng với độ phức tạp theo cấp số nhân.

Shannon đã chứng minh vào năm 1949 rằng nếu bạn chọn một hàm Boolean một cách ngẫu nhiên, nó có độ phức tạp theo cấp số nhân với xác suất gần như một.

Giới hạn dưới tốt nhất cho hàm Boolean rõ ràng chúng ta có cho đến nay là bởi K. Iwama, O. Lachish, H Morizumi và R. Raz.5 n - o ( n )f:{0,1}n{0,1}5no(n)


11
Cách nêu vấn đề này luôn làm tôi khó chịu, bởi vì bạn phải cẩn thận với những gì bạn muốn nói là "rõ ràng". Thật dễ dàng để viết một mô tả về một hàm có độ phức tạp theo cấp số nhân. Nếu "tường minh" có nghĩa là "tính toán theo thời gian theo cấp số nhân hoặc ít hơn", thì tôi đồng ý, đây là một vấn đề mở lớn.
Ryan Williams

1
Ryan, bạn nói đúng. Đây là một điểm cực kỳ quan trọng. Nó cũng dễ dàng để viết ra một mô tả về một chức năng không thể tính toán được. Trong bài báo tôi trích dẫn, giới hạn dưới được chứng minh cho một hàm có thể xây dựng được trong thời gian đa thức xác định.
Marc

Có một giải thích tốt về công việc của Shannon?
T ....

3
Đối số được trình bày chi tiết trong các ghi chú bài giảng sau: math.tau.ac.il/~zwick/scribe-boolean.html
Marc

Đây là một vấn đề tuyệt vời và mang lại những kỷ niệm đẹp khi được giao kết quả của Shanon năm thứ hai đại học của tôi.
Stella Biderman

27

Sự phức tạp truy vấn kiểm tra tam giác freeness trong đồ thị dày đặc (ví dụ, đồ thị tam giác-miễn phí phân biệt từ những là gì -far từ là tam giác-free)? Giới hạn trên đã biết là một tháp có số mũ trong , trong khi giới hạn dưới được biết đến chỉ là siêu đa thức nhẹ trong . Đây là một câu hỏi khá cơ bản trong lý thuyết đồ thị cực trị / tổ hợp phụ gia đã được mở trong gần 30 năm.1 / ε 1 / εϵ1/ϵ1/ϵ


27

Tách NEXP khỏi BPP. Mọi người có xu hướng tin rằng BPP = P, nhưng không ai có thể tách NEXP khỏi BPP.


26

Tôi biết OP chỉ yêu cầu một vấn đề cho mỗi bài đăng, nhưng các hội nghị RTA (Viết lại kỹ thuật và ứng dụng của họ) 1 và TLCA (Typed Lambda Tính và ứng dụng của họ) đều duy trì danh sách các vấn đề mở trong các lĩnh vực của họ 2 . Các danh sách này khá hữu ích, vì chúng cũng bao gồm các con trỏ đến công việc trước đó được thực hiện khi cố gắng giải quyết các vấn đề này.


1
Không vấn đề gì. Có ai biết bất kỳ danh sách tương tự khác từ các hội nghị khác? Chúng khá thú vị để đọc.
Đaminh Mulligan

26

Derandomization của vấn đề kiểm tra nhận dạng đa thức

Vấn đề là như sau: Cho một mạch số học tính toán một đa thức , có bằng 0 không?PP

Vấn đề này có thể được giải quyết trong thời gian đa thức ngẫu nhiên nhưng không được biết là có thể giải quyết được trong thời gian đa thức xác định.

Liên quan là của Shub và SmaleτPττ(P)P1PZ[x]z(P)

cPZ[x]z(P)(1+τ(P))c



25

Có rất nhiều vấn đề mở trong tính toán lambda (đánh máy và tháo gỡ). Xem danh sách các vấn đề mở TLCA để biết chi tiết; đó cũng là một phiên bản PDF đẹp mà không có khung.

Tôi đặc biệt thích vấn đề # 5:

Có những thuật ngữ không thể hiểu được trong nhưng có thể đánh máy được với sự trợ giúp của các loại đệ quy tích cực?Fω


3
Cảm ơn Dominic Mulligan đã chỉ cho tôi danh sách các vấn đề đặc biệt này.
Jacques Carette

25

Là vấn đề logarit rời rạc trong P?

Hãy để là một nhóm cyclic cấp và mà là một máy phát điện của . Vấn đề tìm sao cho được gọi là bài toán logarit rời rạc (DLP). Có một thuật toán (cổ điển) để giải quyết DLP trong thời gian đa thức trong trường hợp xấu nhất về số bit của không?Gqg,hGgGnNgn=hq

Có những biến thể của DLP được cho là dễ dàng hơn, nhưng vẫn chưa được giải quyết. Bài toán Diffie-Hellman tính toán (CDH) yêu cầu tìm cho và . Các ra quyết định vấn đề Diffie-Hellman (DDH) yêu cầu quyết định, cho , nếu . g , g agabg,gagbg,ga,gb,hGgab=h

Rõ ràng DLP khó nếu CDH cứng và CDH cứng nếu DDH cứng, nhưng không có sự giảm thiểu ngược nào được biết, ngoại trừ một số nhóm. Giả định rằng DDH khó là chìa khóa cho tính bảo mật của một số hệ thống mật mã, chẳng hạn như ElGamalCramer-Shoup .


3
Chà, chúng tôi biết DLP có trong BQP.
Joe Fitzsimons

DLP gần đây đã được đặt trong quasi-P cho nhómG=Fpn×
Đánh dấu

24

Trò chơi chẵn lẻ là trò chơi đồ thị có thời lượng vô hạn hai người chơi, có vấn đề quyết định tự nhiên là ở NP và đồng NP, và có vấn đề tìm kiếm tự nhiên trong PPAD và PLS.

http://en.wikipedia.org/wiki/Parity_game

Trò chơi chẵn lẻ có thể được giải quyết trong thời gian đa thức?

(Nói chung, một câu hỏi mở lớn đã có từ lâu trong lập trình toán học là liệu các vấn đề bổ sung tuyến tính ma trận P có thể được giải quyết trong thời gian đa thức không?)


23

Khu vực phức tạp tham số hóa có tải trọng riêng của các vấn đề mở.

Xem xét các vấn đề quyết định

  • đã cho có tồn tại một đỉnh đỉnh có kích thước cho đồ thị không?(G,k)kG
  • đã cho có tồn tại sự phân công trọng số cho công thức không?(F,k)kF
  • đã cho có tồn tại một cụm kích thước trong đồ thị không?(G,k)kG
  • Vân vân...

Nhiều, NHIỀU, các vấn đề tổ hợp tồn tại trong hình thức này. Độ phức tạp tham số coi một thuật toán là "hiệu quả" nếu thời gian chạy của nó bị giới hạn trên bởi trong đó là một hàm tùy ý và là hằng số độc lập với . Trong thông báo so sánh rằng tất cả các vấn đề như vậy có thể được giải quyết dễ dàng trong . f c k n O ( k )f(k)ncfcknO(k)

Khung này mô hình hóa các trường hợp mà chúng tôi đang tìm kiếm một cấu trúc tổ hợp nhỏ và chúng tôi có thể đủ khả năng chạy theo cấp số nhân đối với kích thước của giải pháp / nhân chứng .

Một vấn đề với thuật toán như vậy (ví dụ nắp đỉnh) được gọi là Tractable Parameter Tractable (FPT).

Độ phức tạp tham số là một lý thuyết trưởng thành và có cả nền tảng lý thuyết và sức hấp dẫn mạnh mẽ cho các ứng dụng thực tế. Các vấn đề quyết định thú vị cho lý thuyết như vậy tạo thành một hệ thống phân cấp các lớp có cấu trúc rất tốt với các vấn đề hoàn chỉnh tự nhiên:

FPTW[1]W[2]W[i]W[i+1]W[P]

Tất nhiên nó là mở nếu bất kỳ bao gồm như vậy là nghiêm ngặt hay không. Lưu ý rằng nếu thì SAT có thuật toán phụ (điều này không tầm thường). Câu lệnh cuối cùng kết nối độ phức tạp được tham số hóa với được đề cập ở trên.E T HFPT=W[1]ETH

Cũng lưu ý rằng việc điều tra các sự sụp đổ như vậy không phải là một bài tập trống: chứng minh rằng tương đương để chứng minh rằng có một thuật toán có thể điều chỉnh tham số cố định để tìm -cliques.kW[1]=FPTk

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.