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

Theo định lý của Rice, bạn không thể xác định liệu hai máy Turing có quyết định cùng một ngôn ngữ hay không. Câu hỏi của tôi là: Điều này cũng áp dụng trong cài đặt độ phức tạp mô tả, đặc biệt khi thử nghiệm một cặp truy vấn …

9 computability  descriptive-complexity 

Định lý phân cấp thời gian cho phép người ta chỉ ra rằng, ví dụ, có những vấn đề trong P không thể giải quyết kịp thời ít hơn const * n ^ 2 bằng máy Turing. Nhưng hãy cho máy Turing một số lời khuyên và tất cả các …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

Nó đơn giản để thấy rằng quyền hạn của 2 trên bảng chữ cái {0,1} là thường xuyên vì 10∗10∗10^* là một biểu hiện thường xuyên cho nó. Nhưng sức mạnh của 2 đại diện trong ternary dường như là không thường xuyên. Bơm bổ đề hoặc các lớp dư …

9 automata-theory  fl.formal-languages 

Giải thích lý thuyết loại / tương đương với Skolemization là gì? Skolemization chuyển đổi một số công thức thành dạng bình thường Skolem. Hai công thức là tương xứng với nhau. Hoặc, để nói nó theo thuật ngữ lý thuyết loại: Có một chương trình có một số loại …

8 type-theory  curry-howard 

Việc thiết lập gần đây của mối quan hệbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) đi qua Gotsman, Linial . Cách tiếp cận tương tự có thể đến hoặc có giới hạn thiết yếu nào đối với phương pháp này không?O(s(f)2)O(s(f)2)O(s(f)^2)

8 cc.complexity-theory  boolean-functions 

Trong OrderedPartitionbài toán, đầu vào là hai chuỗi gồm nnn số nguyên dương, ( mộtTôi)tôi ∈ [ n ](ai)i∈[n](a_i)_{i\in [n]} và ( bTôi)tôi ∈ [ n ](bi)i∈[n](b_i)_{i\in [n]} . Đầu ra là một phân vùng của các chỉ số [ n ][n][n] thành hai tập con khác nhau, TôiII và …

8 np-hardness  partition-problem 

Xem xét một vấn đề tối ưu hóa lồi trong mẫu f0( x1, Lọ , xn)fTôi( x1, Lọ , xn)→ phút≤ 0,i = 1 , góc , mf0(x1,Giáo dục,xn)→tối thiểufTôi(x1,Giáo dục,xn)≤0,Tôi= =1,Giáo dục,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, …

8 convex-optimization  complexity 

Từ Wikipedia : VPVP\mathsf{VP} : Lớp VP là tương tự đại số của P; đó là lớp đa thứcfff có bậc đa thức có mạch kích thước đa thức trên một trườngKKK cố định. VNPVNP\mathsf{VNP} : Lớp VNP là tương tự của NP. VNP có thể được coi là lớp …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Trong hai câu hỏi sau đây Nguồn gốc và ứng dụng của Lý thuyết A so với Lý thuyết B? và ứng dụng vững chắc của lý thuyết thể loại trong TCS? , nhiều người đã chia sẻ kiến ​​thức và ý kiến ​​của họ về việc phân chia hai …

8 terminology  ho.history-overview  research-practice 

Các Cerny phỏng đoán là tuyên bố rằng bất kỳ automaton đồng bộ hóa với bang có một từ đồng bộ hóa có độ dài tối đa là . Giới hạn trên tốt nhất hiện tại cho độ dài của từ đồng bộ hóa là . Giả sử hai trạng …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Có một hệ thống loại, trong đó hạn chế các điều khoản lambda với các điều khoản nằm trong một lớp phức tạp? Giống như các thuật ngữ có thể đánh máy trong lý thuyết nằm trong lớp phức tạp? Hay là nó không thể nào cả? Tôi thấy có …

8 complexity-classes  type-theory 

Tôi hiện đang phải đối mặt với một tình huống mà tôi không biết phải xử lý như thế nào. Về cơ bản, có vấn đề này AAA . Vấn đề AAA đã là một chủ đề nóng trong 555 năm qua. Năm ngoái, một bài báo đã được xuất …

8 soft-question  research-practice  conferences  journals 

Đây là một sự nhầm lẫn tham khảo. Đôi khi tôi thấy mọi người sử dụng thuật ngữ "Ngôn ngữ kim loại tính toán của Moggi" để chỉ tính toán được trình bày bởi Moggi, và đôi khi để "tính toán lambda tính toán của Moggi". Đôi khi, họ sử …

8 reference-request  typed-lambda-calculus  monad 

Các trò chơi của ba được xác định bởi một tập hợp hữu hạn các yếu tố XXX , và một đa tập hữu hạn TTT có chứa ba yếu tố. Hai người chơi lần lượt chọn các yếu tố từ XXX cho đến khi tất cả các yếu tố …

8 gt.game-theory  combinatorial-game-theory 

Câu hỏi tương tự đã được hỏi trước đây, nhưng có một lỗi trong đó vì vậy nó không được trả lời lớp Biểu đồ với số màu dễ dàng, nhưng tô màu NP-hard Có tập hợp đồ thị vô hạn nào không, chẳng hạn như:CCC Có một thuật toán …

8 graph-theory  graph-algorithms