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

Chúng ta hãy thư giãn tô màu một chút, nghĩa là chúng ta cho phép một số lượng nhỏ các đỉnh liền kề được gán cùng màu. Một thành phần đơn sắc được định nghĩa là một thành phần được kết nối trong biểu đồ con được tạo bởi tập …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

Những gì hiện được biết về tính gần đúng của vấn đề chi? Một tìm kiếm sơ bộ cho tôi biết rằng một xấp xỉ hệ số không đổi là tầm thường đối với các đồ thị đủ dày đặc và thuật toán -appro xấp xỉ đã bị loại trừ. …

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Những loại định lý phân cấp có độ sâu mạch? Tuyên bố như g( n ) ∈ o ( f( n ) )g(n)∈o(f(n))g(n) \in o(f(n))f( n ) ∈ nÔ ( 1 )f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Người ta tin rằng một số vấn đề tính toán như đẳng cấu đồ thị không thể hoàn thành NP vì nó không có đủ cấu trúc hoặc dự phòng để khó tính toán (NP-hard). Tôi quan tâm đến các khái niệm chính thức khác nhau về cấu trúc của …

11 cc.complexity-theory  graph-isomorphism 

Điều này tương tự với SAT, ngoại trừ việc chúng ta biết phép gán của từng biến, nhưng không biết phép gán của bất kỳ toán tử boolean nào. Trong trường hợp đó, việc tìm sự gán của mỗi toán tử để biểu thức ước lượng cho một giá trị …

11 cc.complexity-theory  np-hardness 

Trong một bài viết về tính toán tương đối hóa logspace, Ladner và Lynch xây dựng một nhà tiên tri liên quan đến . Có một số ví dụ bệnh lý hơn trong tĩnh mạch này trong tài liệu. Tôi đã đọc một số bài báo về các lớp không …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Nó đã được chỉ ra trong bài báo "Lập trình số nguyên với số lượng biến cố định" rằng các chương trình số nguyên với số lượng ràng buộc (hoặc biến) không đổi có thể giải được bằng đa thức. Điều này có giữ cho lập trình 0-1 không?

11 cc.complexity-theory  integer-programming 

Một định lý sản phẩm trực tiếp, một cách không chính thức, nói rằng tính toán thể hiện của hàm f khó hơn so với tính toán f một lần.kkkffffff Các định lý sản phẩm trực tiếp điển hình (ví dụ, Bổ đề XOR của Yao) xem xét độ phức …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Trả lời: không biết Rất cám ơn tất cả những người đã giúp tinh chỉnh câu hỏi này và các định nghĩa liên quan đến nó. Các định nghĩa của wiki này đã cung cấp điểm khởi đầu cho wiki TCS gần đây hơn " P có chứa các ngôn …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Dana Angluin ( 1987 ; pdf ) định nghĩa một mô hình học tập với các truy vấn thành viên và truy vấn lý thuyết (đối chiếu với một chức năng được đề xuất). Cô ấy cho thấy rằng một ngôn ngữ thông thường được biểu thị bằng một DFA …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

Vấn đề phân vùng 3-bè lũ là vấn đề xác định xem các đỉnh của đồ thị, nói , có thể được phân chia thành 3 bè phái. Vấn đề này là NP-hard bằng cách giảm đơn giản từ vấn đề 3 màu. Không khó để thấy rằng câu trả …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Trong các hệ thống kiểm soát phiên bản phân tán (như Mercurial và Git ), cần phải so sánh hiệu quả các đồ thị chu kỳ có hướng (DAG). Tôi là một nhà phát triển Mercurial và chúng tôi sẽ rất thích nghe về công việc lý thuyết thảo luận …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Giả sử chúng ta có một -nửa nhóm với các yếu tố S = { s 1 , s 2 , ... , s n } . Mục tiêu của chúng tôi là để tính toán sản phẩm s i ∘ s i + 1 ∘ ⋯ ∘ s j …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Tôi đoán nó sẽ được gọi là # P-Space nhưng tôi chỉ tìm thấy một bài báo mơ hồ đề cập đến nó. Làm thế nào về phiên bản đếm của các vấn đề EXP-TIME-Complete, NEXP-Complete cũng như EXP-SPACE-Complete? Có bất kỳ công việc nào trước đây mà người ta …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Điều gì được biết về quá trình chuyển pha trong các vấn đề # P-Complete? Cụ thể, có tồn tại một giai đoạn chuyển tiếp khác nhau cho # DNF-k-SAT và # CNF-k-SAT không? Cập nhật: Như chúng ta đã biết, có một giai đoạn chuyển tiếp trong Random k-SAT …

11 cc.complexity-theory  counting-complexity  phase-transition