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

Tôi không am hiểu về lĩnh vực lý thuyết phức tạp liên quan đến các nhóm vì vậy tôi xin lỗi nếu đây là một kết quả nổi tiếng. Câu 1. Cho là đồ thị vô hướng đơn giản của . Độ phức tạp tính toán (tính theo ) của …

16 cc.complexity-theory  graph-theory  gr.group-theory 

Trong vấn đề hình chữ nhật bao bì, người ta được đưa ra một tập hợp các hình chữ nhật và bounding hình chữ nhật R . Nhiệm vụ là để tìm một vị trí của r 1 , ... , r n bên trong R như vậy mà không …

16 cc.complexity-theory  np-hardness  packing 

Giả sử rằng, với mỗi , có một máy Turing quyết định ngôn ngữ trong thời gian . Có một thuật toán duy nhất quyết định trong thời gian không? (Ở đây, thuật ngữ được đo bằng , độ dài đầu vào.)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn Liệu nó …

16 cc.complexity-theory  asymptotics 

Người ta không biết nếu phép đẳng cấu đồ thị (GI) cho đồ thị mạnh mẽ thường xuyên (SRGs) là P . Có gợi ý nào cho thấy nó có thể hoặc không phải là GI -Complete không? Có bất kỳ hậu quả mạnh mẽ trong các trường hợp như …

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Tôi đã tự hỏi nếu các vấn đề mà thuật toán thời gian tuyến tính (trong kích thước đầu vào) tồn tại có thể được mô tả là sở hữu các thuộc tính cụ thể. Điều này bao gồm thời gian tuyến tính (ví dụ: kiểm tra thuộc tính, một …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Tôi quan tâm đến vấn đề này: Đưa ra một đồ thị vô hướng , Có phân vùng G thành các đồ thị G 1 ( E 1 , V 1 ) và G 2 ( E 2 , V 2 ) sao cho G 1 và G 2 có …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Theo kết quả kinh điển của Kuroda, lớp phức tạp NSPACE [ ]nnn (còn được gọi là NLIN-SPACE) chính xác là lớp CSL của các ngôn ngữ nhạy cảm theo ngữ cảnh . Vấn đề thỏa mãn SAT nằm ở NSPACE [ ], do có thể kiểm tra dự đoán …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Tôi đang tìm kiếm một vấn đề thuộc về trong các biểu đồ chung nhưng nằm trong trong các biểu đồ chiều rộng cây bị chặn, thực tế tôi nghĩ rằng vấn đề này khó hơn so với sử dụng lập trình động thông thường trong giới hạn đồ thị …

16 cc.complexity-theory  graph-theory  treewidth 

Số lượng cổng nhị phân tối thiểu cần thiết để tính toán AND và OR của bit đầu vào là bao nhiêu? Giới hạn trên tầm thường là . Tôi tin rằng điều này là tối ưu, nhưng làm thế nào để chứng minh điều này? Kỹ thuật loại bỏ …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Có bằng chứng lý thuyết cho thấy việc xây dựng sản phẩm cartesian ngây thơ cho giao điểm của DFA là "điều tốt nhất chúng ta có thể làm". Điều gì về sự kết hợp của hai DFA? Cấu trúc tầm thường bao gồm chuyển đổi từng DFA thành NFA, …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Phân tích trường hợp xấu nhất và trung bình là các biện pháp nổi tiếng về độ phức tạp của thuật toán. Phân tích trơn tru gần đây đã xuất hiện như một mô hình khác để giải thích tại sao một số thuật toán theo cấp số nhân trong …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

Là vấn đề sau trong PTIME, hay coNP-hard: Cho hai biểu thức Boolean và trong các biến , không có phủ định (nghĩa là các biểu thức được xây dựng hoàn toàn thông qua và ). Quyết định xem , nghĩa là chúng có cùng giá trị cho tất cả …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Người ta biết rằng các công thức -CNF ngẫu nhiên trên biến có mệnh đề là không thỏa mãn (nghĩa là chúng mâu thuẫn) với xác suất cao, cho hằng số đủ lớn . Do đó, các công thức -CNF ngẫu nhiên (đối với đủ lớn) tạo thành một phân …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Gọi biểu thị độ phức tạp Kolmogorov của một chuỗi x . Có tồn tại một chuỗi sao cho K ( x x ) < K ( x ) . (Ở đây x x là phép nối của x với chính nó). Một câu hỏi tương tự nhưng khác nhau …

16 cc.complexity-theory  kolmogorov-complexity 

Câu hỏi này là về trang 125 của cuốn sách "Cellular automata in hyperbolic: Tập 2" của Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com.vn/books?id=eEgvfic3A4kC&pg=PA125 Theo ý kiến ​​của tác giả, câu hỏi P = NP không được đặt ra vì trong cài đặt hyperbol P = NP hoặc trong ký …

16 cc.complexity-theory