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

Tôi muốn biết liệu vấn đề sau có thể được quyết định trong (không gian đăng nhập không xác định):N LNL\mathsf{NL} Cho đồ thị có hướng với hai đỉnh và phân biệt , có đường dẫn duy nhất từ đến trong không?s t s t GGGGSsstttSsstttGGG Tôi cảm thấy rằng …

11 reference-request  graph-theory 

Tôi đang tìm kiếm một cấu trúc dữ liệu hiệu quả về không gian chứa các bộ (không lặp lại) các phần tử wordize và hỗ trợ chèn nhanh (khấu hao O (1)). Theo "không gian hiệu quả", ý tôi là, lý tưởng, n+o(n)n+o(n)n + o(n) từ để lưu trữ …

11 ds.data-structures 

Tôi hiện đang tìm kiếm một số tài liệu tham khảo tốt liên quan đến các trò chơi không phải địa phương với các khía cạnh có lợi trong giao tiếp lượng tử. Ví dụ, tôi biết rằng các trò chơi không phải cục bộ rất tốt trong việc phức …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

NNNrrrf(x)=axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf(x+r)=f(x)f(x+r)=f(x)f(x+r)=f(x)a&lt;Na&lt;Na<Nrrrrrr Câu hỏi của tôi bây giờ là: Có bất kỳ giới hạn dưới nào được biết đến trên cho ngẫu nhiên không? Có giới hạn nào trên cho được chọn như trong RSA không? Rõ ràng, phải là vì nếu không, người ta chỉ có thể đánh giá trên …

11 cc.complexity-theory  cr.crypto-security  factoring 

Hãy để chúng tôi sửa 0&lt;E&lt;10&lt;E&lt;100 . với mọi và cho mọi vectơ sao chonnnc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } Tôi không biết …

11 co.combinatorics  it.information-theory 

Có thể xây dựng một thuật toán lấy đầu vào tự động đẩy xuống cùng với lời hứa rằng ngôn ngữ được chấp nhận bởi máy tự động này là ngôn ngữ không có ngữ cảnh xác định và đưa ra ngôn ngữ tự động đẩy xuống xác định chấp …

11 reference-request  computability  fl.formal-languages  automata-theory 

Tính đầy đủ và âm thanh trong các hệ thống bằng chứng tương tác được định nghĩa không chính thức là: Đầy đủ: Nếu một tuyên bố là đúng, trung thực Prover có thể thuyết phục thành thật xác minh thực tế này WHP . Tính đúng đắn: Nếu một …

11 cc.complexity-theory  interactive-proofs 

Tất cả các bảo tàng và triển lãm liên quan đến máy tính mà tôi biết dường như chỉ bao gồm lịch sử của máy móc máy tính, nhưng không có gì về các chủ đề của khoa học máy tính. Bạn đang tham gia vào việc tạo ra một …

11 soft-question  big-list  ho.history-overview 

Tôi không nhớ đã thấy một sự tách lớp không dựa trên kết quả đường chéo và tương đối hóa. Đường chéo vẫn có thể được sử dụng để phân tách các lớp đã biết còn lại, bởi vì các đối số không tương đối hóa vẫn có thể được …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Tôi đang tìm kiếm một cấu trúc dữ liệu hiệu quả cao để lưu trữ dữ liệu tương tự như sau. Thẻ Id Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Tôi cần phải có khả năng truy vấn …

11 ds.data-structures  application-of-theory  db.databases 

Ma trận có thứ nguyên n × n ( n - 1 ) . Chúng tôi muốn điền A bằng cách sử dụng các số nguyên từ 1 đến n , bao gồm.AAAn×n(n−1)n×n(n−1)n \times n(n-1)AAA111nnn Yêu cầu: Mỗi cột của là một hoán vị của 1 , ... , n …

11 co.combinatorics  cr.crypto-security  coding-theory 

Có chính xác không khi gọi khung mapReduce là một loại khung lập trình song song đồng bộ số lượng lớn mà không có bộ nhớ cục bộ trong bộ xử lý giữa các đồng bộ hóa? Nếu không, mô hình lập trình song song nào đóng gói chính xác …

11 dc.parallel-comp  machine-models 

Tôi biết rằng câu hỏi "làm một công thức đơn hàng đầu tiên có một mô hình" là undecidable nói chung.ϕϕ\phi Bất cứ ai có thể cho tôi một liên kết hoặc một cuốn sách đưa ra câu trả lời cho các mô hình hữu hạn. Nếu tôi có một …

11 reference-request  lo.logic  computability  finite-model-theory 

Tôi muốn hỏi liệu có một kết quả đã được công bố về điều đó: Chúng tôi thực hiện tất cả các đường dẫn khác nhau có thể có giữa mỗi cặp nút của hai biểu đồ được kết nối thông thường (với độ giả sử và số nút n …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

Logic có điều kiện là các logic làm tăng hàm ý logic truyền thống với các toán tử phương thức tương ứng với các khái niệm khác về điều kiện (ví dụ: điều kiện nhân quả đọc " A gây ra" B "hoặc điều kiện xác suất" A | B …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory