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

Định lý của Savitch cho thấy rằng cho tất cả các hàm đủ lớn và chứng minh rằng điều này là chặt chẽ trong nhiều thập kỷ .fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( n )2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Disclaimer: Tôi biết rất ít về lý thuyết phức tạp. Tôi xin lỗi nhưng thực sự không có cách nào để hỏi câu hỏi này mà không ngắn gọn (khủng khiếp): Các hình thái trong "loại" máy Turing là gì? Điều này rõ ràng là chủ quan và phụ thuộc …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Một số ví dụ về các cặp lớp phức tạp và sao choMộtMộtABBB chúng tôi không biết liệu , vàA = BMột= =BA=B chúng ta cũng không biết tương đối mâu thuẫn (nghĩa là chúng ta không biết phép lạ và sao cho và )?Q A P = B P …

16 cc.complexity-theory  complexity-classes  relativization 

Tôi đọc rằng lập trình tuyến tính số nguyên có thể giải được trong thời gian đa thức nếu số của các biến được cố định, tức là . Nếu số lượng biến tăng theo logarit, tức là cho một đầu vào có kích thước , thì vấn đề vẫn …

16 cc.complexity-theory  np  open-problem 

Một sinh viên của tôi gần đây hỏi câu hỏi sau đây: h ( n ) D T I M E ( f ( n ) ) ⊊ D T I M E ( h ( n ) ) ⊊ D T I M E ( g ( n ( …

16 cc.complexity-theory 

Tôi đang cố gắng hiểu sự phức tạp của các chức năng có thể biểu thị thông qua các cổng ngưỡng và điều này dẫn tôi đến . Đặc biệt, tôi quan tâm đến những gì hiện đang biết về việc học bên trong T CTC0TC0\mathsf{TC}^0 , vì tôi không …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

NP có trong không?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

Tôi đang tìm kiếm các vấn đề được gọi là NPC cho các đồ thị có hướng nhưng có thuật toán đa thức cho các đồ thị không có hướng. Tôi đã thấy câu hỏi liên quan đến cách khác ở đây, các vấn đề của Dir Dir đã dễ …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Máy tự động hữu hạn không rõ ràng (UFA) là loại máy tự động hữu hạn không xác định (NFA) đặc biệt. Một NFA được gọi là không rõ ràng nếu mỗi từ có nhiều nhất một đường dẫn chấp nhận.w ∈ Σ*w∈Σ*w\in \Sigma^* Điều này có nghĩa là .D …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Gowers gần đây đã phác thảo một vấn đề, mà ông gọi là "tính quyết định của Borel rời rạc", giải pháp của họ có liên quan đến việc chứng minh giới hạn mạch thấp hơn. Bạn có thể cung cấp một bản tóm tắt về cách tiếp cận phù …

16 cc.complexity-theory  p-vs-np 

Các định lý phân cấp là các công cụ cơ bản. Một số lượng lớn trong số chúng đã được thu thập trong một câu hỏi trước đó (xem Định lý phân cấp và / hoặc định lý phân cấp nào bạn biết? ). Một số phân tách lớp phức …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Một bài báo mới được đưa ra tuyên bố thuật toán bán đa thức cho Logarit rời rạc. http://arxiv.org/abs/1306.4244 Nếu đúng, điều đó có nghĩa là chúng ta không còn có sự phân tách theo cấp số nhân về độ phức tạp của thuật toán cổ điển và phiên bản …

16 cc.complexity-theory 

Chỉ có rất ít thông tin tôi có thể tìm thấy về bài toán NP hoàn chỉnh giải phương trình diophantine tuyến tính trong các số nguyên không âm. Điều đó có nghĩa là, có một giải pháp trong cho phương trình , trong đó tất cả các hằng số …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} Về mặt này, điều gì sẽ là xấp xỉ "chính xác" để yêu cầu - nhân hoặc cộng? (xem một trong những câu trả lời dưới đây).

16 determinant  cc.complexity-theory 

Giả sử rằng . là lớp các vấn đề trong không có trong cũng như trong -hard. Bạn có thể tìm thấy một danh sách các vấn đề được phỏng đoán là tại đây .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPTôi\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPTôi\mathsf{NPI} Định lý của Ladner cho chúng ta biết rằng nếu thì có một …

16 cc.complexity-theory  np-hardness  np-intermediate