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

Có một số vấn đề NP-Complete ( , , v.v.) được biết là có trong . Những gì về không gian tuyến tính phụ?S A TSAT \mathsf{SAT} S U B S E T S U MSBạnBSETSBạnM \mathsf{SUBSETSUM} D S P A C E ( n )DSPMộtCE(n) \mathsf{DSPACE(n)} Có bất kỳ …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Trong một câu hỏi trước đây Thuật toán tham số hóa tìm kiếm xe đạp , tôi đã hỏi liệu có thuật toán tham số nhanh nào để tìm -biclique trong đồ thị đỉnh và biết rằng nó đã mở nếu đó là FPT wrt . Là như nhau đúng …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

DLOGTIME được định nghĩa tại http://en.wikipedia.org/wiki/DLOGTIME được định nghĩa tại http://en.wikipedia.org/wiki/L_%28complexity%29 NC và NC n được xác định tại http: // en .wikipedia.org / wiki / NC_% 28 độ linh hoạt% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME dường như là nhỏ nhất có thể hoạt động. Tôi đã đọc ở nhiều nơiL ⊆ …

9 cc.complexity-theory  circuit-complexity 

Giả sử một khung trong độ phức tạp trong giao tiếp, nơi chúng tôi có hai người chơi A (chấy) và B (ob) và R (eferee). A và B không liên lạc trực tiếp với nhau. Trong mỗi vòng giao tiếp, mỗi người trong số họ gửi một tin nhắn …

9 cc.complexity-theory  reference-request  communication-complexity 

Trong bài toán Max-Cut , người ta tìm một tập con S các đỉnh của đồ thị vô hướng đơn giản nhất định sao cho số cạnh giữa S và phần bù của S càng lớn càng tốt. Max-Cut hoàn thành APX trên các đồ thị mức giới hạn [PY91] …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Tôi đang cố gắng chỉ ra rằng một vấn đề nào đó không thể giải thích được bằng cách giảm từ trang bìa. Việc giảm của tôi biến đổi một thể hiện với tập hợp kích thước và đặt thành một thể hiện của vấn đề của tôi trong đó …

9 cc.complexity-theory  approximation-hardness  set-cover 

Ở mọi nơi tôi đọc về vấn đề cắt giảm ít nhất, nó chỉ nói rằng vấn đề được biết đến là NP -hard. Tôi có thể tìm thấy một bằng chứng về điều này ở đâu? Mà vấn đề NP -hard được biết đến làm giảm vấn đề cắt …

9 cc.complexity-theory  reference-request  np-hardness 

Độ phức tạp Kolmogorov của một chuỗi là không thể tính toán được. Tuy nhiên, trong một tập hợp con ngẫu nhiên có kích thước của các chuỗi nhị phân có độ dài n , có bao nhiêu dự kiến ​​có độ phức tạp nhỏ hơn một số nguyên n …

9 cc.complexity-theory  kolmogorov-complexity 

Tôi muốn có một ràng buộc về tính chính xác của tập hợp các biểu đồ đĩa đơn vị với đỉnh. Được biết, việc kiểm tra xem đồ thị có phải là thành viên của bộ này hay không là NP-hard. Liệu điều này dẫn đến bất kỳ thấp hơn …

9 cc.complexity-theory  graph-theory 

Đặt là ma trận hoặc với các mục . Ai đó có thể cung cấp cho tôi một ma trận để không? B rõ ràng nhỏ nhất được biết là gì mà \ operatorname {per} (A) = \ det (B) ? Bất kỳ tài liệu tham khảo về điều này …

9 cc.complexity-theory  algebraic-complexity  permanent 

Ngay cả khi đó không phải là một điểm quan trọng, tôi không thấy bất kỳ tài liệu nào xung quanh câu hỏi này. Có kết quả tương đối? Sẽ không hoàn toàn đơn giản để chứng minh sự bao gồm nghiêm ngặt bằng cách điều chỉnh định lý phân …

9 cc.complexity-theory  complexity-classes 

Cập nhật: Có vẻ như vấn đề này đã được nghiên cứu và giải quyết gần đây, xem bài viết wiki này: http://en.wikipedia.org/wiki/Tree_walking_automaton Và cả khảo sát này: http://www.mimuw.edu.pl/~bojan / con / twasurvey.pdf Giả sử thay vì tập hợp các từ thông thường, {0,1} *, các từ của chúng tôi …

9 cc.complexity-theory  automata-theory  space-bounded  dfa 

Dường như trong các ngôn ngữ truy vấn phổ biến cho cơ sở dữ liệu quan hệ, có thể tạo các truy vấn sẽ cần nhiều tài nguyên để trả lời. Trong thực tế, quản trị viên cơ sở dữ liệu quản lý điều này bằng cách giới hạn số …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Tôi đã bị thúc đẩy bởi vụ nổ phi thường trong Phân tích được làm mịn và bị tấn công bởi một khẳng định trong bài báo Phân tích về làm mịn của lập trình . Điều này nói rằng Lập trình tuyến tính Integer nằm trong Smoothed P nếu …

9 cc.complexity-theory  smoothed-analysis 

Câu hỏi này nảy sinh trong bối cảnh của mật mã học, nhưng dưới đây tôi sẽ trình bày nó dưới dạng lý thuyết phức tạp, vì mọi người ở đây đã quen thuộc hơn với cái sau. Câu hỏi này liên quan đến các vấn đề trong NP nhưng …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity