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

Gần đây tôi đã xử lý một vấn đề dẫn tôi đến những câu hỏi sau: Có một thuật toán tốt để liệt kê tất cả các kết hợp tối đa / hoàn hảo trong một biểu đồ chung không? Có một thuật toán tốt để tìm tất cả các …

8 algorithms  complexity-theory  graph-theory  reference-request  matching 

Chúng ta biết rằng P = NP ngụ ý NP = coNP. Liệu hàm ý ngược giữ? NP bằng coNP có nghĩa là P bằng NP không? Nếu không, tai sao không? Tôi googled nhưng không tìm thấy câu trả lời.

8 complexity-theory 

Tôi đang tìm hiểu về phân tích tiệm cận, và đã thấy một số phức tạp trông kỳ lạ sống giữa những cái phổ biến khác. Ví dụ: "log log n" nằm trong khoảng từ 1 đến log n. Nó làm cho tôi tự hỏi nếu một người luôn có …

8 complexity-theory  time-complexity  asymptotics 

Gần đây, tôi đang đọc các bài báo về sự phân đôi . Tôi không hiểu điều kiện nào có thể được gọi là sự phân đôi ? Ý nghĩa của "một câu hỏi là trong P hoặc trong NP - hoàn thành " là gì? (giả sử P NP …

8 complexity-theory  np-complete  satisfiability 

Tôi có đồ thị và H k với | V ( G k ) | = | V ( H k ) | 2 k = n 2 k với k ∈ N rằng séc vượt qua sự tỉnh táo như không đồng cấu Bổ đề. Có các công cụ …

8 complexity-theory  graph-theory 

Tôi đang tìm kiếm một bài viết dễ dàng và giới thiệu về bằng chứng của Định lý của Courcelle . Tôi cũng quan tâm đến mối liên hệ của nó với sự phức tạp được tham số hóa liên quan đến treewidth . Tôi chỉ là người mới bắt …

8 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity 

Tôi gặp khó khăn trong việc hiểu tại sao dễ dàng phát hiện chu kỳ trọng lượng âm (Bellman Ford) nhưng khó tìm thấy chu kỳ trọng lượng tối đa trong một biểu đồ không xác định. Nếu chúng ta phủ định trọng lượng của mỗi cạnh, chúng ta có …

8 complexity-theory  graph-theory 

Cho đồ thị , tìm đỉnh , việc loại bỏ sẽ dẫn đến một đồ thị có thành phần lớn nhất nhỏ nhất. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Tôi giả sử chovà lớn thì vấn đề rất khó (NP-hard), nhưng tôi quan tâm đến các giá trị nhỏ của ( ).n=|V|n=|V|n …

8 algorithms  complexity-theory  graph-theory  parameterized-complexity 

Tôi đang cố gắng (bằng trực giác) hiểu hai thuật ngữ "tính quyết định" và "tính xác minh". Tôi đã thực hiện một lượng tìm kiếm hợp lý và trải qua các văn bản khác nhau mà tôi có thể đặt tay lên. Tuy nhiên, sự hiểu biết trực quan …

8 complexity-theory  formal-languages  terminology  computability 

Được biết liệu hàm ý có giữ không?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (Câu hỏi được lấy cảm hứng từ .)NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}

8 complexity-theory  time-complexity 

PC của chúng tôi có hoạt động như Turing Machine không? Mô hình của Máy Turing bao gồm băng nhớ vô hạn, có nghĩa là trạng thái vô hạn. Nhưng giả sử nếu PC của chúng ta có bộ nhớ 128 MB và đĩa 30 GB thì nó sẽ có …

8 complexity-theory  computability  turing-machines  automata 

Tôi có một vấn đề nhỏ để hiểu bằng chứng của Định lý phân cấp thời gian (Hennie và Stearns, 1966) đảm bảo sự tồn tại của một ngôn ngữ được chấp nhận trong nhưng không được chấp nhận trong cho bất kỳ chức năng nào , sao cho có …

8 complexity-theory  turing-machines  simulation 

Khi định lý nổi tiếng của Savitch được nêu, người ta thường thấy yêu cầu là không gian có thể xây dựng được (thật thú vị, nó bị bỏ qua trong Wikipedia). Câu hỏi đơn giản của tôi là: Tại sao chúng ta cần điều này? Tôi hiểu yêu cầu …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Sudoku là câu đố nổi tiếng được biết đến là NP-hoàn chỉnh và đây là trường hợp đặc biệt của vấn đề tổng quát hơn được gọi là hình vuông Latin. Một giải pháp đúng đắn về vuông gồm điền mỗi hàng và mỗi cột với các số từ 1 …

8 complexity-theory  np-complete 

Tôi thực sự muốn giúp đỡ của bạn với minh hoặc bác bỏ các tuyên bố sau đây: . Trong lý thuyết độ phức tạp tính toán, BPP, viết tắt của thời gian đa thức xác suất lỗi bị ràng buộc là lớp các vấn đề quyết định có thể …

8 complexity-theory  time-complexity  probabilistic-algorithms