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

Nếu tôi có mã giả này: for i=0 to n/2 do for j=0 to n/2 do ... do anything .... Số lần lặp là .n2/ 4n2/4n^2/4 Sự phức tạp của chương trình này là gì? Có phải là không?O (n2)O(n2)O(n^2) Trực giác chính thức / không chính thức cho sự …

7 complexity-theory  time-complexity  runtime-analysis 

Sau đây là một bài tập mà tôi bị mắc kẹt tại (nguồn: Sanjeev Arora và Boaz Barak; nó không phải là bài tập về nhà): Chứng minh rằng có một oracle và một ngôn ngữ ví dụ rằng không phải là thời gian đa thức rút gọn về 3SAT …

7 complexity-theory  np  nondeterminism  oracle-machines  relativization 

Tôi đã đọc một bình luận thú vị trong một bài báo gần đây về việc toán học hữu ích kỳ lạ như thế nào. Nó đề cập đến việc thời gian đa thức không có nghĩa là hiệu quả trong thực tế (ví dụ: là thời gian đa thức, …

7 algorithms  complexity-theory  polynomial-time 

Các ngôn ngữ tự do ngữ cảnh có thể được lấy là sự đóng của ngôn ngữ Dyck trong các hoạt động của hình nón . Ngôn ngữ DyckD2D2D_2là một ngôn ngữ tự do ngữ cảnh xác định và các hoạt động hình nón tương ứng với các hoạt động …

7 complexity-theory  formal-languages  closure-properties  np 

Đã có những nỗ lực thể hiện (sử dụng Bổ đề chuyển đổi), ví dụ, SAT hoặc 3SAT không thể có AC00^0giảm xuống 2SAT? Các vấn đề hoặc khó khăn liên quan là gì? SAT và 3SAT hoàn tất cho NP và 2SAT hoàn thành cho NL theo AC00^0giảm. Do …

7 complexity-theory  satisfiability 

Hãy xem xét tối đa hóa bậc hai sau đây: maxx∈XxTAxmaxx∈XxTAx\begin{align} \max_{\mathbf{x} \in \mathcal{X}} &\quad\mathbf{x}^{T}\mathbf{A}\mathbf{x} \end{align} với trong đó \ mathbf {A} là một ma trận bán nguyệt dương và k \ le n là một tham số thưa thớt. Vấn đề này là NP-hard, bằng cách giảm từ vấn …

7 complexity-theory  optimization  np-hard 

Vấn đề: Để chứng minhNP-CompletenessNP-Completeness\textsf{NP-Completeness}về vấn đề "Đóng gói hình vuông (với chiều dài cạnh khác nhau) thành hình chữ nhật" ,3-Partition3-Partition\textsf{3-Partition} được giảm xuống, như thể hiện trong hình dưới đây. bên trong 3-Partition3-Partition\textsf{3-Partition} ví dụ, có nnn yếu tố (a1,⋯,ai,⋯,an)(a1,⋯,ai,⋯,an)(a_1, \cdots, a_i, \cdots, a_n). Tổng mục tiêuttt Là …

7 complexity-theory  np-complete  reductions  np-hard  partitions 

Tôi biết từ Định lý Dichotomy của Schaefer rằng chỉ có một vài loại vấn đề thỏa mãn trong P và bất kỳ vấn đề nào khác là NP-đầy đủ. Tuy nhiên, tất cả các thuật toán mà tôi biết đối với chúng đều sử dụng các kỹ thuật cụ …

7 complexity-theory  satisfiability  polynomial-time  sat-solvers 

Một người bạn của tôi thực sự đã hỏi tôi một câu hỏi liên quan đến khoa học máy tính rất thú vị và tôi đã bị mắc kẹt trong một thời gian dài. Vấn đề là: bạn phải đi km. Trạm xăng duy nhất là ở điểm bắt đầu. …

7 algorithms  complexity-theory  efficiency  applied-theory 

Giả sử có hai vấn đề PPP và QQQ. Làm thế nào tôi có thể nói rằng "giải quyết PPP là điều tương tự với việc giải quyết QQQ"? Ví dụ, nếu PPP là NP-Hard, sau đó chúng ta có thể nói "PPP có thể được giải trong thời gian …

7 complexity-theory  terminology 

Chỉ ra rằng bài toán tổng hợp tập hợp con (Cho một chuỗi các số nguyên S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_n và một số nguyên kkk, có một phần sau của SSS tổng hợp chính xác kkk?) là NP hoàn chỉnh. Gợi ý: Sử dụng các vấn đề bìa chính …

7 complexity-theory  np-complete  reductions  np-hard 

Tôi xin lỗi, nhưng ngay cả sau hai bài đăng khác: ở đây và ở đây tôi vẫn gặp khó khăn trong việc hiểu các TM tiên tri và thuyết tương đối hóa. Câu hỏi này xuất phát từ vấn đề từ một góc độ khác: Tại sao các bằng …

7 complexity-theory  proof-techniques  oracle-machines  relativization 

Tôi đã đọc về đếm mô hình, hay còn gọi là vấn đề #SAT. Các ứng dụng thực tế, nếu có, của vấn đề này là gì, và chính xác làm thế nào để chúng giảm bớt nó? Tôi đã không thể tìm thấy bất kỳ, mặc dù điều đó …

7 complexity-theory  applied-theory  counting 

Đã đóng cửa . Câu hỏi này cần được tập trung hơn . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . Đóng …

7 complexity-theory  reference-request  np-complete  np-hard  natural-language-processing 

LÝ LỊCH: Gần đây tôi đã cố gắng giải quyết một vấn đề khó khăn nhất định là nhập vào một mảng gồm số. Với , giải pháp duy nhất tôi có thể tìm thấy là có cách xử lý khác nhau cho mỗi thứ tự của 3 số. Tức …

7 complexity-theory  programming-languages  kolmogorov-complexity