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

Câu trả lời được chấp nhận Câu trả lời của Scott Aaronson đã được "chấp nhận" (chủ yếu vì đó là câu trả lời duy nhất !) Tóm tắt một câu của câu trả lời Các khái quát tự nhiên hợp lý của câu hỏi P so với NP rõ …

8 cc.complexity-theory  decidability 

Trong bài báo "Mã hóa CNF hiệu quả để chọn 1 từ N Đối tượng", các tác giả giới thiệu kỹ thuật "biến chỉ huy" của họ để mã hóa ràng buộc, và sau đó nói về vấn đề chuồng bồ câu. Vì lỗi của tôi có thể tồn tại …

8 cc.complexity-theory  sat  proof-complexity 

Tôi đọc cuốn sách nổi tiếng của Alon và Spencer về phương pháp xác suất trong tổ hợp. Có một khảo sát hoặc ghi chú bài giảng về những tiến bộ và mối quan hệ gần đây với các chủ đề lý thuyết phức tạp sau đây của phương pháp …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Hãy xem xét bất kỳ ngôn ngữ . Xác định (một chuỗi bit vô hạn) bằng công thức đệ quys ( L ) ∈ { 0 , 1 } ωLLLs ( L )∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL( s(L)&lt;n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Tôi đang sử dụng các chỉ số dựa …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

Có một số ứng dụng của phân rã đồ thị mô-đun trong lý thuyết TCS / độ phức tạp? Tôi đặc biệt quan tâm đến việc sử dụng nó trong các bằng chứng hoặc giới hạn trên / dưới nếu nó xảy ra. [1] Phân rã đồ thị mô-đun , …

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Trong khi nghiên cứu một vấn đề trong lý thuyết trò chơi thuật toán, tôi đã quan tâm đến sự phức tạp của câu hỏi tối ưu hóa sau: Vấn đề Được: bộ mặt đất được cung cấp bởi ,nBạn= [ n ] = { 1 , Hoài , n …

8 cc.complexity-theory  ds.algorithms  np-hardness  optimization 

Ngôn ngữ của whilecác chương trình có thể diễn tả các chức năng có thể tính toán được. (Điều này đúng ngay cả khi các phép toán số học duy nhất trên các biến là, giả sử, tăng và giảm.) Nếu whileđược thay thế bằng for, làm cho các vòng …

8 cc.complexity-theory  computability  pl.programming-languages 

Net (còn gọi là Freenet, hoặc như NetWalk) là một trò chơi câu đố chơi trên một lưới với các đối tượng sau đây:n×nn×nn \times n Có máy tính ; mỗi máy tính chiếm một ô và có một cáp liên kết;mmm mỗi máy tính phải được kết nối với …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Tôi hy vọng câu hỏi này không quá ngây thơ cho trang web này. Trong toán học (cấu trúc liên kết, hình học, đại số) người ta thường phân biệt giữa hai đối tượng bằng cách đưa ra một bất biến đại số hoặc số, và chứng minh hai đối …

8 cc.complexity-theory  complexity-classes  algebra 

Trong bài viết năm 1969 của Savitch, "Mối quan hệ giữa độ phức tạp băng không xác định và xác định", ông nói rằng "tất cả các hàm lưu trữ phổ biến L (n)&gt; = lg n đều có thể đo lường được. Đặc biệt, mọi đa thức trong n …

8 cc.complexity-theory  pspace  space-complexity 

Không khó để chỉ ra rằng việc sắp xếp một mảng các số là khó đối với . Nếu đầu vào là một mảng 1s và 0 thì thực chất đó là hàm C o u n t (đã cho n bit, xuất số 1s trong nhị phân) vì C …

8 cc.complexity-theory  circuit-complexity  sorting 

Có thể tìm cách giảm đếm từ #SAT xuống #HornSAT không? Tôi chưa tìm thấy câu hỏi này được đăng ở đây, vì vậy quyết định kiểm tra xem có ai có câu trả lời nào không. Hãy để tôi giải thích những gì tôi có nghĩa là bằng cách …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Được biết điều gì đó về các ngôn ngữ được công nhận bởi bộ đếm tự động đa đầu xác định hai chiều hoặc logspace TM với bộ đếm (mô hình tương đương)? Lớp này được gọi là Aux2DC trong bài viết của cố vấn của tôi . Hoặc về …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

Giả sử chúng ta muốn tìm phần tử nhỏ nhất của tập , có phần tử được lập chỉ mục từ 1 đến n . Chúng tôi không có quyền truy cập vào các giá trị của các phần tử này, nhưng chúng tôi có thể so sánh bất kỳ …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

Được biết nếu xếp hạng tenxơ ba chiều nằm trong VNP (lớp dũng cảm không xác định)? Nếu có, những gì được biết về thứ hạng tenor chiều cao? Trong thực tế, tôi quan tâm đến vấn đề đơn giản hơn nhiều. Tôi muốn biết liệu người ta có thể …

8 cc.complexity-theory  algebraic-complexity