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

Định lý phân đôi của Schaefer cho thấy mỗi bài toán CSP trên đều có thể giải được trong thời gian đa thức hoặc là NP-đầy đủ. Điều này chỉ áp dụng cho các vấn đề CSP có chiều rộng giới hạn, ngoại trừ SAT và Horn-SAT, chẳng hạn. Các …

12 cc.complexity-theory  lo.logic  csp 

Tôi đang tìm kiếm kết quả độ cứng trên màu đỉnh của đồ thị với mức độ giới hạn. Cho một đồ thị , chúng ta biết rằng đối với bất kỳ ε > 0 , thật khó để ước tính χ ( G ) trong vòng hệ số | …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

R P= NPRP= =NPRP = NP được phỏng đoán rộng rãi là sai. Nhưng hãy tưởng tượng trong một khoảnh khắc rằng nó là sự thật. Trong trường hợp như vậy, khả năng như thế nào?P= NPP= =NPP = NP Nói cách khác: trong một thế giới nơi , điều …

12 cc.complexity-theory  complexity-classes  conditional-results 

Khắc phục một vấn đề tìm kiếm hoàn chỉnh NP, ví dụ như dạng tìm kiếm SAT. Tìm kiếm Levin cung cấp một thuật toán để giải là tối ưu theo một nghĩa nào đó. Cụ thể, thuật toán là "Thực thi tất cả các chương trình có thể phù …

12 cc.complexity-theory  time-complexity  p-vs-np 

Đã có một số nỗ lực để tấn công vấn đề đẳng cấu đồ thị bằng cách sử dụng bước đi ngẫu nhiên lượng tử của các boson lõi cứng (đối xứng nhưng không chiếm hai lần). Sức mạnh đối xứng của ma trận kề, có vẻ đầy hứa hẹn, …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

Nếu chúng ta được cung cấp hai chuỗi có kích thước và , thì tính toán khoảng cách chỉnh sửa Levenshtein tiêu chuẩn là bằng thuật toán động với độ phức tạp thời gian và độ phức tạp không gian . (Một số cải tiến có thể được thực hiện …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Hiện tại đối thủ chung bị ràng buộc thấp hơn được biết là đặc trưng cho độ phức tạp của truy vấn lượng tử do công việc đột phá của Reichardt et al. Cùng một dòng công việc cũng thiết lập các kết nối đến khung chương trình span để …

12 cc.complexity-theory  quantum-computing  query-complexity 

Cho một đồ thị có hướng với n nút sao cho mỗi đỉnh có chính xác hai cạnh đi và một số tự nhiên N được mã hóa ở dạng nhị phân, hai đỉnh s và t, Tôi muốn đếm số lượng đường dẫn (không nhất thiết đơn giản) từ …

12 cc.complexity-theory  graph-theory  counting-complexity 

Xác định một "vấn đề" là một thuật toán AAA chấp nhận một số tự nhiên và trở về 0 hoặc 1 mà trả về 111 trên ít nhất một n∈Nn∈Nn \in \mathbb{N} . Bất kỳ như vậy nnnđược gọi là "giải pháp" cho AAA Xác định "trình giải bài …

12 cc.complexity-theory  ai.artificial-intel 

MPA (automebble multiebble) là 2DFA (automaton hữu hạn xác định hai chiều) có thể sử dụng số lượng viên sỏi tùy ý (thực tế nhiều nhất là viên sỏi trên một đầu vào w - đầu vào được ghi trên băng giữa hai đầu -đánh dấu là # w # …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Arora và Barak cho thấy có thể được biểu thị dưới dạng B P ⋅ N P tức là tập hợp các ngôn ngữ có mức giảm ngẫu nhiên thành 3SAT. M A cũng là một khái quát hóa ngẫu nhiên tự nhiên của N P trong đó bạn thay …

12 cc.complexity-theory  big-picture 

Được biết liệu vấn đề đặt đỉnh phản hồi trên đồ thị phẳng không bị chặn có mức độ giới hạn là -hard?NPNP\mathsf{NP}

12 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Giả sử ta có một ngôn ngữ , nhưng người ta không biết khái niệm về chuỗi thực sự là một phần của ngôn ngữ. Tất cả người ta là một cái nhìn hữu hạn của ngôn ngữ: một tập hữu hạn các chuỗi Một ⊆ L được biết đến …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Thông thường đơn giản hơn là lý do về tính toán trong đó giới hạn là tính hữu hạn của tính toán thay vì một ngưỡng như "tính toán trong lượng thời gian đa thức". Trong lý thuyết ngôn ngữ chính thức chẳng hạn, thay vì sử dụng ∃ n …

12 cc.complexity-theory  computability 

Trọng lượng |x||x||x|của một chuỗi nhị phân x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n là số lượng các chuỗi trong chuỗi. Điều gì xảy ra nếu chúng ta quan tâm đến việc tính toán một hàm đơn điệu trên đầu vào với một vài cái? Chúng ta biết rằng quyết định nếu một đồ thị có …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone