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

Từ bài viết chiến lược đánh giá trên Wikipedia: Khái niệm chiến lược giảm trong tính toán lambda là tương tự nhưng khác biệt. Từ bài viết chiến lược rút gọn trên Wikipedia: Nó tương tự nhưng khác biệt tinh tế với khái niệm chiến lược đánh giá trong khoa …

10 pl.programming-languages  lambda-calculus  semantics 

Trong các dự án Polymath, một nhóm lớn làm việc về một vấn đề mở. Những loại vấn đề dường như làm việc tốt nhất trong khuôn khổ này? Có bất kỳ ứng cử viên tốt cho một dự án polymath trong khoa học máy tính lý thuyết? Có bất …

10 soft-question  open-problem  research-practice 

Định lý Borsuk-Ulam nói rằng với mọi hàm số lẻ liên tục từ một quả cầu n vào không gian n Euclide, có một điểm x 0 sao cho g ( x 0 ) = 0 .gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 Simmons và Su (2002) mô tả một phương pháp để tính gần đúng …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

Thuật ngữ sau đây, ở đây ở dạng bình thường: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Thực hiện một thuật toán sắp xếp cho các danh sách được mã hóa của nhà thờ. Đó là, kết quả của: sort (λ c n . (c 3 (c 1 (c 2 n)))) β→ …

10 lo.logic  lambda-calculus  type-systems 

Các tổ hợp tương tác đã được đề xuất như là một mục tiêu biên dịch cho phép tính before trước đó. Bài báo đó thực hiện phép tính full đầy đủ. Người ta cũng biết rằng có thể tối ưu hóa các bảng mã tương tác của phép tính …

10 lambda-calculus  functional-programming  interaction-nets 

Tại http://www.dharwadker.org/tevet/isomorphism/ , có một bài trình bày về thuật toán để xác định xem hai biểu đồ có phải là đẳng cấu không. Đưa ra một số điều chúng ta sẽ nói, những tuyên bố "thú vị" của A Dharwadker, tôi không có xu hướng tin vào điều đó. …

10 graph-isomorphism 

Đặt là một lớp đồ thị di truyền. (Di truyền = đóng đối với việc đồ thị con gây ra với.) Hãy biểu thị tập hợp đồ thị -vertex trong . Giả sử chứa hầu hết tất cả các đồ thị, nếu tỷ lệ của tất cả các đồ thị …

10 graph-theory 

Đặt một số được cho. Hãy xem xét ngôn ngữ sau .L n = {nnnLn= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Nói cách khác, là tập hợp các chuỗi sao chép có độ dài . 2 …

10 fl.formal-languages  automata-theory  grammars  context-free 

Tôi tự hỏi liệu có thể tồn tại một cách để đưa ra một loại "hình thức bình thường" cho các cây quyết định nhị phân (BDT) một cách dễ hiểu hay không. Chính xác hơn: BDT là một cây có các nút bên trong được gắn nhãn bởi các …

10 cc.complexity-theory  decision-trees 

Blog này nói về việc tạo ra "mê cung nhỏ xoắn" bằng cách sử dụng máy tính liệt kê chúng. Việc liệt kê có thể được thực hiện bằng thuật toán của Wilson để lấy UST , nhưng tôi không nhớ công thức cho bao nhiêu ở đó. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike Về …

10 graph-theory  randomized-algorithms  matrices  tree 

Đây là một vấn đề mở cũ dù một trực tổng lý giữ cho độ phức tạp truyền thông xác định, có nghĩa là, cho dù giải quyết trường hợp không phụ thuộc vào một vấn đề là t khó hơn giải quyết một trường hợp duy nhất lần. [FKNN95] …

10 cc.complexity-theory  communication-complexity 

Đặt là hằng số cố định. Cho một số nguyên , chúng tôi muốn xây dựng một hoán vị sao cho:k>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n Việc xây dựng sử dụng thời gian và không gian không đổi (tức là quá trình tiền xử lý mất thời gian và không gian không đổi). …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Cho hai hoán vị và trên phần tử (nghĩa là thành viên của ), độ phức tạp của việc tính toán thứ tự của nhóm con được tạo bởi gì? Hoặc chỉ quyết định xem nhóm con có theo thứ tự(tức là tất cả )?h n S n g , …

10 cc.complexity-theory  algebra  gr.group-theory 

Độ phức tạp của vấn đề sau ( P? NP-hard là gì?):∈∈\in Input: một đạo diễn acyclic graph , một tập hợp của các cạnh ngược E ' ⊂ V × V , và hai nút riêng biệt s và t .D = ( V, E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Câu hỏi: …

10 graph-algorithms  time-complexity  disjoint-paths 

Trong kiểm tra nhận dạng đa thức, chúng tôi tìm kiếm một thuật toán xác định để suy ra đẳng thức của hai đa thức . Derandomizing đã biết các thuật toán ngẫu nhiên hiệu quả và tạo ra một thuật toán xác định hiệu quả là một vấn đề …

10 derandomization  polynomials