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

Klop, van Oostrom và de Vrijer có một bài viết về phép tính lambda với các mẫu. http://www.scTHERirect.com/science/article/pii/S0304397508000571 Theo một nghĩa nào đó, một mẫu là một cây các biến - mặc dù tôi chỉ nghĩ về nó như một bộ biến số lồng nhau, ví dụ, ((x, y), z), …

12 type-theory  lambda-calculus  typed-lambda-calculus  extensionality 

Trong Phụ lục B về Tăng cường và Quyền riêng tư khác biệt của Dwork và cộng sự, các tác giả nêu rõ kết quả sau đây mà không cần chứng minh và gọi đó là sự bất bình đẳng của Azuma: Đặt là các biến ngẫu nhiên có giá …

12 pr.probability 

Định lý phân cấp thời gian nói rằng máy turing có thể giải quyết nhiều vấn đề hơn nếu chúng có (đủ) nhiều thời gian hơn. Liệu nó có giữ theo một cách nào đó nếu không gian bị giới hạn không có triệu chứng? Làm thế nào để liên …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Vấn đề tạm dừng nổi tiếng là không thể giải quyết được. Tuy nhiên, có thể "nén" thông tin theo cấp số nhân về vấn đề tạm dừng, do đó việc giải nén nó là có thể tính toán được. Chính xác hơn, có thể tính toán từ mô tả …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Các mật độ của một ngôn ngữ XXX là một hàm dX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N} được định nghĩa là dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = |\{x\in X \mid |x| \le n\}|. Giả sử và là các ngôn ngữ trong một số bảng chữ cái hữu hạn, không gian log nhiều giảm xuống và …

12 cc.complexity-theory  reductions  structural-complexity 

Xuất thân từ một nền tảng toán học, có vẻ thú vị với tôi rằng trên toàn bộ các nhà khoa học máy tính có xu hướng làm việc theo giả định rằng . Mặc dù không có bằng chứng nào cả, nói chung, trừ khi một cái gì đó …

12 p-vs-np 

Tôi đang xem xét ngôn ngữ của tất cả các công thức logic mệnh đề thỏa đáng, SAT (để đảm bảo rằng điều này có một bảng chữ cái hữu hạn, chúng tôi sẽ mã hóa các chữ cái mệnh đề theo một cách phù hợp [sửa: các câu trả …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Trong bài giảng này ghi chú của Ola Svensson: http://theory.epfl.ch/osven/cifts/Approx13/Notes/lecture4-5.pdf , người ta nói rằng chúng ta không biết liệu ESPidean TSP có ở NP không: Lý do là chúng ta không biết cách tính căn bậc hai một cách hiệu quả. Mặt khác, có bài viết này của Papadimitriou: …

12 np  tsp  computing-over-reals 

Giả sử chúng ta muốn nhân n×nn×nn \times n ma trận. Thuật toán nhân ma trận chậm chạy trong thời gian O(n3)O(n3)O(n^3) và sử dụng bộ nhớ O(n2)O(n2)O(n^2) . Nhanh nhất nhân ma trận chạy trong thời gian nω+o(1)nω+o(1)n^{\omega + o(1)} , nơi ωω\omega là đại số tuyến tính liên …

12 ds.algorithms  linear-algebra 

Tôi đang tìm một bài khảo sát về các khái niệm quan trọng trong lĩnh vực Quantum Automata. Tôi đã tìm thấy Lý thuyết lượng tử tự động - Một đánh giá của Hirvensalo, nhưng nghe có vẻ quá súc tích để nắm bắt chủ đề này. Có một cuộc …

12 reference-request  quantum-computing  automata-theory 

Giả sử đồ thị có thuộc tính nếu các đỉnh của nó có thể được đặt hàng theo cách mà đồ thị tạo ra bởi các đỉnh có cho tất cả . Nói cách khác, việc thêm đỉnh tiếp theo trong thứ tự của chúng tôi không ảnh hưởng đến …

12 reference-request  graph-theory 

Bây giờ chúng ta có thể thấy rằng Giáo Hội được kết hợp với các Đơn giản chỉ cần gõ Lambda Calculus . Thật vậy, có vẻ như ông đã giải thích Công cụ tính toán Lambda đơn giản để giảm sự hiểu lầm về Công cụ tính toán Lambda. …

12 lambda-calculus  term-rewriting-systems  lisp 

Greibach nổi tiếng được xác định một ngôn ngữ , cái gọi là phiên bản không xác định của , chẳng hạn rằng bất kỳ CFL là một hình ảnh hình thái nghịch đảo của . Có tồn tại một tuyên bố tương tự với DCFL, có thể với một …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Làm thế nào tôi có thể giải quyết mối quan hệ tái phát sau đây? f(n)=f(n−1)+f(n−logn)f(n)=f(n−1)+f(n−log⁡n) f(n) = f(n-1) + f(n - \log n)

12 recursion 

là một hình chữ nhật song song trục.CCC là hình chữ nhật trục song song cặp-nội thất-rời nhau như vậy mà C 1 ∪ ⋯ ∪ C n ⊊ C , như thế này:C1,…,CnC1,…,CnC_1,\dots,C_nC1∪⋯∪Cn⊊CC1∪⋯∪Cn⊊CC_1\cup\dots\cup C_n \subsetneq C Một phân vùng hình chữ nhật bảo quản của là một phân vùng …

12 cg.comp-geom