Khoa học máy tính lý thuyết

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 

Giả sử chúng ta có hàm , sao cho ∑ x ∈ Z n 2 f ( x ) 2 = 1 (vì vậy chúng ta có thể nghĩ { f ( x ) 2 } x ∈ Z n 2 là phân phối) . Việc xác định entropy của …

12 it.information-theory  boolean-functions  fourier-analysis 

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 

Nếu bạn được cung cấp một bộ sưu tập các đơn hàng một phần, sắp xếp theo cấu trúc liên kết sẽ cho bạn biết nếu có phần mở rộng của bộ sưu tập cho tổng đơn hàng (phần mở rộng trong trường hợp này là tổng đơn hàng phù …

12 ds.algorithms  reference-request  order-theory 

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 

Cuốn sách A = B của Petkovsek, Wilf và Zeilberger mô tả các thuật toán để tính các tổng nhị phân khác nhau. AFAIK, các thuật toán này vẫn đang được cải thiện bởi các tác giả khác nhau. Bạn có biết nơi chúng ta có thể tìm thấy các …

12 ds.algorithms  co.combinatorics  implementation 

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 

Mối quan hệ giữa tính biểu cảm của LTL , Büchi / QPTL , CTL và CTL * là gì? Bạn có thể đưa ra một số tài liệu tham khảo bao gồm càng nhiều logic này theo thời gian càng tốt (đặc biệt là giữa thời gian tuyến tính …

12 lo.logic  automata-theory  model-checking  temporal-logic 

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 

Tôi hy vọng ai đó biết một giới thiệu về điều này, vì vậy tôi không phải đọc tài liệu ... Xét một dãy số . Hãy nghĩ về chuỗi theo n - 1 khoảng [ x 1 , x 2 ] , [ x 2 , x 3 ] …

12 ds.algorithms  reference-request  sorting 

Có một thuật toán thời gian tuyến tính để chia văn bản thành các dòng có chiều rộng tối đa. Nó sử dụng SMAWK (hoặc Knuth & Plass) và "đều" có nghĩa là: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Có một thuật toán hoặc hàm chi phí lõm cho thuật toán ở trên có tính …

12 ds.algorithms 

Có những vấn đề có thể quyết định sao cho không có thuật toán nào giải quyết được vấn đề chúng ta có thể đưa ra thời gian bị ràng buộc như là một hàm có độ dài n của thể hiện đầu vào không? Tôi đến câu hỏi này …

12 computability  time-complexity 

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 

Cho một bộ lọc nở của các hàm N-bit và hàm băm có kích thước, trong đó các bit M (trong đó M <= N) của bộ lọc được đặt. Có thể tính gần đúng số lượng phần tử được chèn vào bộ lọc nở không? Ví dụ đơn giản …

12 ds.data-structures  pr.probability