Câu hỏi được gắn thẻ «cc.complexity-theory»

Tôi đã giảm được vấn đề phân vùng sau cho một vấn đề lập lịch nhất định: Đầu vào: Danh sách của các số nguyên dương theo thứ tự không giảm.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Câu hỏi: Có tồn tại một vectơ sao cho(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i = 1 a i x i …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

Tiêu đề hơi sai lệch: nhưng hy vọng câu hỏi không phải là: Kết quả mới của Grønlund và Pettie cho thấy 3SUM chỉ có độ phức tạp của cây quyết định khiến tôi băn khoăn:Ô ( n3 / 2)O(n3/2)O(n^{3/2}) Có một ví dụ đơn giản về một vấn đề …

13 cc.complexity-theory  machine-models  decision-trees 

Tôi đang nghiên cứu mô hình tính toán BSS gần đây (ví dụ: Độ phức tạp và tính toán thực; Blum, Cucker, Shub, Smale.) Đối với số thực , người ta chỉ ra rằng, với một hệ thống đa thức f 1 , ⋯ , f m ∈ R [ …

13 cc.complexity-theory  computing-over-reals 

Đặt là hàm đa số, tức là f ( x ) = 1 khi và chỉ khi . Tôi đã tự hỏi nếu có một bằng chứng đơn giản về thực tế sau đây (bởi "đơn giản", ý tôi là không dựa vào phương pháp xác suất như Valiant 84 …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Một câu hỏi gần đây (xem Hậu quả của NP = PSPACE ) đã hỏi về hậu quả "khó chịu" của . Các câu trả lời liệt kê khá nhiều hậu quả sụp đổ, bao gồm và các lý do khác, cung cấp nhiều lý do để tin .N P …

13 cc.complexity-theory  complexity-classes  conditional-results 

Tất cả những điều sau đây có thể giữ đồng thời? được chứa trong L s + 1 cho tất cả các số nguyên dương s .LsLsL_sLs+1Ls+1L_{s+1}sss là ngôn ngữ của tất cả các từ hữu hạn trên { 0 , 1 } .L=⋃sLsL=⋃sLsL = \bigcup_s L_s{0,1}{0,1}\{0,1\} Có một số …

13 cc.complexity-theory  complexity-classes  reductions 

Được biết nếu vấn đề đánh giá mạch có trong không? Làm thế nào về (thống nhất )? N C 1 A L o g T i m e N C 1NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Chúng ta biết rằng các mạch có độ sâu có thể được đánh giá bằng các mạch có …

13 cc.complexity-theory  reference-request  circuit-complexity 

Một cách không chính thức, các hàm một chiều được xác định theo thuật toán PTIME. Chúng được tính toán trong thời gian đa thức nhưng không thể đảo ngược trong thời gian đa thức trung bình. Sự tồn tại của các chức năng như vậy là một vấn đề …

13 cc.complexity-theory  one-way-function 

Đặt là hàm Boolean của biến Boolean. Đặt là giá trị mong đợi của khi thu được từ bằng cách lật từng tọa độ với xác suất .n g ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2fffnnng( …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

Với một ma trận A với mục hợp lý. Sự phức tạp để kiểm tra A là chéo là gì?n × nn×nn\times nMộtMộtAMộtMộtA Tôi nghi ngờ rằng điều này có thể được thực hiện trong P, nhưng tôi không biết bất kỳ tài liệu tham khảo nào. Tuy nhiên, một …

13 cc.complexity-theory  linear-algebra  matrices 

Vấn đề phân vùng là NP-đầy đủ yếu vì nó có thuật toán thời gian đa thức (giả đa thức) nếu số nguyên đầu vào bị giới hạn bởi một số đa thức. Tuy nhiên, 3-phân vùng là vấn đề hoàn toàn NP ngay cả khi số nguyên đầu vào …

13 cc.complexity-theory  np-hardness  partition-problem 

Nhớ lại rằng chiều rộng của một nghị quyết bác bỏ của một công thức CNF là số tối đa các chữ trong bất kỳ khoản xảy ra trong . Đối với mỗi , có các công thức không thỏa mãn trong 3-CNF st mỗi lần từ chối độ phân …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

Dễ dàng thấy rằng nếu thì có tổng số các vấn đề tìm kiếm không thể giải quyết trong thời gian đa thức (tạo ra một vấn đề tìm kiếm tổng thể bằng cách có cả các nhân chứng cho tư cách thành viên và các nhân chứng cho việc …

13 cc.complexity-theory  reference-request  search-problem 

Chúng ta nói rằng một hàm f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} có thể xây dựng được theo thời gian , nếu tồn tại một máy Turing đa băng xác định mà trên tất cả các đầu vào có độ dài tạo ra tối đa các bước và cho mỗi tồn tại một số đầu …

13 cc.complexity-theory  time-complexity  terminology 

Dường như với tôi, các chuyên gia khai thác dữ liệu / học máy đã quen thuộc với P và NP, nhưng hiếm khi nói về một số lớp phức tạp tinh vi hơn (ví dụ NC, BPP hoặc IP) và ý nghĩa của chúng để phân tích dữ liệu …

13 cc.complexity-theory  reference-request  machine-learning