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

Tôi quan tâm đến việc sắp xếp một mảng các giá trị nguyên dương theo thời gian tuyến tính (trong mô hình RAM với thước đo chi phí đồng nhất, nghĩa là các số nguyên có thể có kích thước logarit nhưng các hoạt động số học trên chúng được …

16 reference-request  time-complexity  sorting 

Mới đây, Babai đã xuất bản một bài báo về STOC 2016 tuyên bố rằng sự đồng hình đồ thị có thể được giải quyết trong thời gian quasipolynomial. Vào đầu năm 2017, Babai đã rút lại yêu cầu quasipolynomial do một số sai lầm nghiêm trọng được tìm thấy …

16 graph-isomorphism 

Disclaimer: Tôi biết rất ít về lý thuyết phức tạp. Tôi xin lỗi nhưng thực sự không có cách nào để hỏi câu hỏi này mà không ngắn gọn (khủng khiếp): Các hình thái trong "loại" máy Turing là gì? Điều này rõ ràng là chủ quan và phụ thuộc …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Đó là một bằng chứng tiêu chuẩn trong các khóa học automata dành cho và rằng không phải là ngôn ngữ không ngữ cảnh.L = Σ⋆L=Σ⋆L = \Sigma^\star| Σ | ≥2|Σ|≥2|\Sigma| \ge 2S( L ) = { w w : w ∈ L }S(L)={ww:w∈L}S(L) = \{ww : w \in L\} …

16 context-free 

Bối cảnh . Tôi là một sinh viên cử nhân quan tâm đến nghiên cứu liên quan đến lý thuyết thể loại, đơn nguyên và Haskell, và tôi muốn tìm một chủ đề cho luận án cử nhân của mình trong lĩnh vực đó. Tôi đã nhìn vào tờ giấy …

16 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Được thúc đẩy bởi một câu hỏi Greg Kuperberg đã hỏi tôi, tôi tự hỏi liệu có bất kỳ bài viết nào xác định và nghiên cứu các lớp ngôn ngữ phức tạp thừa nhận các loại bằng chứng kiến ​​thức khác nhau . Các lớp như SZK và NISZK …

16 complexity-classes  cr.crypto-security  zero-knowledge 

Một số ví dụ về các cặp lớp phức tạp và sao choMộtMộtABBB chúng tôi không biết liệu , vàA = BMột= =BA=B chúng ta cũng không biết tương đối mâu thuẫn (nghĩa là chúng ta không biết phép lạ và sao cho và )?Q A P = B P …

16 cc.complexity-theory  complexity-classes  relativization 

Nhiều ấn phẩm khoa học máy tính từ những năm 1950 và 1960 chứa đựng những suy đoán triết học hấp dẫn về bản chất của tâm trí và ý nghĩa của thông tin liên quan đến thế giới vật chất. Các ví dụ nổi tiếng là "Thử nghiệm Turing", …

16 reference-request  soft-question  philosophy 

Trong mô tả chính thức của Automata Pushdown Automata, chúng cho phép di chuyển, trong đó máy có thể bật hoặc đẩy các biểu tượng lên ngăn xếp mà không cần đọc ký hiệu từ đầu vào. Nếu những ε di chuyển không được phép, và chồng chỉ có thể …

16 automata-theory  context-free 

Biểu đồ hỗn hợp là một biểu đồ có thể có cả hai cạnh có hướng và không có hướng. Đồ thị vô hướng nằm bên dưới của nó có được bằng cách quên các hướng của các cạnh được định hướng và theo hướng khác, một hướng của đồ …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Đếm các hình tam giác trong đồ thị chung có thể được thực hiện một cách tầm thường trong thời gian và tôi nghĩ rằng làm nhanh hơn nhiều là khó (tham khảo hoan nghênh). Còn đồ thị phẳng thì sao? Quy trình đơn giản sau đây cho thấy rằng …

16 reference-request  graph-algorithms  planar-graphs 

Nguyên tắc 0-1 nói rằng nếu một mạng sắp xếp hoạt động cho tất cả các chuỗi 0-1, thì nó hoạt động cho bất kỳ bộ số nào. Có sao cho nếu một mạng sắp xếp mỗi chuỗi 0-1 từ S, thì nó sắp xếp mọi chuỗi 0-1 và kích …

16 ds.algorithms  sorting  sorting-network 

Hãy AAA và BBB là tập con của {0,…,n}{0,…,n}\{0,\ldots,n\} . Chúng tôi quan tâm đến việc tìm ra tổng số Minkowski A+B={a+b | a∈A,b∈B}A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} . χX:{0,…,2n}→{0,1}χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} là một chức năng đặc trưng củaXXX nếuχX(x)={1 if x∈X0 otherwiseχX(x)={1 if x∈X0 otherwise\chi_X(x) = \begin{cases} 1 \text{ if …

16 convolution  fft 

Tôi đọc rằng lập trình tuyến tính số nguyên có thể giải được trong thời gian đa thức nếu số của các biến được cố định, tức là . Nếu số lượng biến tăng theo logarit, tức là cho một đầu vào có kích thước , thì vấn đề vẫn …

16 cc.complexity-theory  np  open-problem 

Tôi sẽ giới thiệu vấn đề của tôi với một ví dụ. Giả sử bạn đang thiết kế một bài kiểm tra, bao gồm một bộ câu hỏi độc lập nhất định (rằng các thí sinh có thể nhận được đúng hoặc sai). Bạn muốn quyết định điểm số để …

16 reference-request  boolean-functions