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

Hãy xem xét vấn đề Tập hợp thống trị trong các biểu đồ chung và gọi là số đỉnh trong biểu đồ. Một thuật toán xấp xỉ tham lam mang lại sự đảm bảo gần đúng cho yếu tố , tức là có thể tìm thấy trong đa thức thời …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Có cách nào mà một người hoạt ngôn có thể thuyết phục một người xác minh rằng một số biểu hiện HORN-SAT là thỏa đáng không? Tất nhiên điều này có vẻ ngớ ngẩn, vì có các thuật toán thời gian tuyến tính cho HORN-SAT. Mặt khác, HORN-SAT là P-Complete, …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Tôi đã chơi với câu hỏi rất thú vị và vẫn còn mở " Bảng chữ cái của máy Turing băng đơn " (của Emanuele Viola) và đưa ra ngôn ngữ sau: L = { x ∈ { 0 , 1 }n thứ | x | = n = 2m …

10 cc.complexity-theory  turing-machines  time-complexity 

Cho một mạch boolean trên n biến (chỉ sử dụng cổng NOT, AND và OR), cách hiệu quả nhất để trích xuất công thức boolean được đại diện bởi mạch là gì? Có một thuật toán polytime cho vấn đề này?CCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Trong câu hỏi này , nó đã được đề cập rằng có các phiên bản phức tạp mô tả của định lý Rice. Tôi tìm thấy một bằng chứng của định lý sau: Với một lớp C phức tạp , các thuộc tính không cần thiết của các ngôn ngữ …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Trong một câu hỏi trước đây về phân cấp thời gian, tôi đã học được rằng sự bằng nhau giữa hai lớp có thể được truyền đến các lớp phức tạp hơn và bất đẳng thức có thể được truyền đến các lớp ít phức tạp hơn, với các đối …

10 cc.complexity-theory  big-picture 

Lý lịch Độ phức tạp của mạch được định nghĩa là tập hợp các họ mạch (tức là các chuỗi mạch, một cho mỗi kích thước đầu vào) có độ sâu giới hạn và kích thước đa thức được xây dựng bằng cách sử dụng quạt không giới hạn AND, …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Nghị quyết là một kế hoạch để chứng minh sự không thỏa mãn của CNFs. Một bằng chứng về độ phân giải là một suy luận logic của mệnh đề trống cho các mệnh đề ban đầu trong CNF. Cụ thể, bất kỳ mệnh đề ban đầu nào cũng có …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

Có ai biết về một tập hợp các vấn đề thay đổi đồng đều và trải qua một trong những thứ bậc "thú vị" về độ phức tạp và khả năng tính toán không? Thật thú vị, ý tôi là, ví dụ, Phân cấp đa thức, Phân cấp số học …

10 cc.complexity-theory  computability 

Hãy π: { 0 , 1 }*→ { 0 , 1 }*π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* là một hoán vị. Lưu ý rằng trong khi ππ\pi hoạt động trên một miền vô hạn, mô tả của nó có thể là hữu hạn. Theo mô tả , tôi có nghĩa là …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Hiroimono là một câu đố -complete phổ biến . Tôi quan tâm đến sự phức tạp tính toán của một câu đố liên quan.NPNPNP Vấn đề là: Input : Cho một tập hợp các điểm trên trên một x n lưới vuông và số nguyên knnnnnnkkk Câu hỏi : Có …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Graph automorphism là một hoán vị của các nút đồ thị mà gây ra một song ánh trên các cạnh bộ EEE . Chính thức, Nó là một hoán vị fff của các nút như vậy (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Xác định một cạnh bị vi phạm đối với …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

Tại SODA 2006, bài viết của Martin Grohe và D niel Marx "Giải quyết ràng buộc thông qua bìa cạnh phân đoạn" ( trích dẫn ACM ) cho thấy đối với lớp siêu dữ liệu có độ rộng siêu phân đoạn giới hạn, CSP ( ) .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Định …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Tôi muốn biết trạng thái hiện tại của quá trình chuyển pha cho k-sat ngẫu nhiên, với n biến và m mệnh đề, c = m / n được biết đến nhiều nhất cho giới hạn trên và dưới.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Câu hỏi này đã xuất hiện trong đầu tôi sau khi đọc những đóng góp của András Salamon và Colin McQuillan cho câu hỏi trước đây của tôi Đếm các giải pháp của công thức Monotone-2CNF . EDIT 30 ngày tháng 3 năm 2011 gia tăng câu hỏi n ° …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity