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

Điều gì ngăn cản ghc chuyển dịch Haskell sang ngôn ngữ lập trình ghép nối như logic kết hợp và sau đó chỉ đơn giản là sử dụng phân bổ ngăn xếp cho mọi thứ? Theo Wikipedia, việc dịch từ phép tính lambda sang logic kết hợp là không đáng …

14 functional-programming  haskell 

Có những vấn đề thú vị ở nhưng không được biết là ở N C 2 ? Trong bài báo 'Một nguyên tắc phân loại các vấn đề với thuật toán song song nhanh', Cook đề cập rằng MIS được biết là chỉ có trong N C 5 nhưng điều …

14 complexity-classes  dc.parallel-comp 

Đặt là họ của tất cả các ngôn ngữ trên Σ thỏa mãn tính chất bơm của các ngôn ngữ thông thường. Cụ thể: với mỗi L ∈ L , có một N ∈ N st mỗi từ w ∈ L , | w | > N có thể được …

14 reference-request  fl.formal-languages  automata-theory 

Có bất kỳ hệ thống phân cấp "đẹp" nào được biết đến (có thể là hữu hạn) trong lớp ngôn ngữ thông thường không? Ở đây, các lớp trong mỗi hệ thống phân cấp nắm bắt tính biểu cảm / sức mạnh / độ phức tạp khác nhau. Ngoài ra, …

14 automata-theory  regular-language  regular-expressions 

Có thể không tính toán tăng tốc tính toán xác định? Nếu có, bao nhiêu? Bằng cách tăng tốc tính toán xác định bằng thuyết không điều kiện, ý tôi là kết quả của mẫu: D T i m e (f( n ) ) ⊆ N T i m e …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Các -thứ tiểu đối xứng đa thức là tổng của tất cả sản phẩm của biến rõ rệt. Tôi quan tâm đến độ phức tạp của số học đơn điệu (+, \ lần) của đa thức này. Một thuật toán lập trình động đơn giản (cũng như Hình 1 bên …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Theo sở thú phức tạp , và chúng tôi biết rằng không thể đếm được vì vậy . Tuy nhiên, nó không nói nếu \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} hay không. Vì chúng tôi không biết \ mathsf {NC ^ 1} \ not \ subseteq …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Đối với bất kỳ ngôn ngữ NP hoàn toàn tùy ý, luôn luôn có một siêu thời gian thay thế bổ sung của nó cũng là vô hạn? Một phiên bản tầm thường không quy định superset có bổ sung vô hạn đã được yêu cầu tại /cs//q/50123/42961 Đối với …

14 cc.complexity-theory  np-complete  structural-complexity 

Tôi đã suy nghĩ về những câu hỏi này: Có một phép tính lambda đánh máy nào phù hợp và hoàn thành Turing không? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent và có một số đã khó để trả lời câu hỏi liên quan trong untyped thiết lập! Cụ thể hơn, tôi tò mò muốn biết …

14 lambda-calculus  combinatory-logic 

Tôi là một kỹ sư phần mềm khá thành thạo, nhưng tôi không biết nhiều về lý thuyết. Tôi muốn học thêm lý thuyết. Các chủ đề đặc biệt mà tôi quan tâm là: độ phức tạp tính toán, ngôn ngữ chính thức và lý thuyết loại. Nhưng tôi không …

14 soft-question  teaching  books 

Mối quan hệ logic đối với các ngôn ngữ giả định như Hệ thống F dường như phụ thuộc rất nhiều vào tính không phù hợp của logic môi trường xung quanh. Cụ thể, việc giải thích cho kiểu forall sẽ được xác định theo thuật ngữ của tất cả …

14 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

Vấn đề: Với đại diện bởi một mạch boolean, tạo ra một thống nhất ngẫu nhiên x ∈ { 0 , 1 } n như vậy φ ( x ) = 1 (hoặc sản lượng ⊥ nếu không như vậy x tồn tại). ϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x∈{0,1}nx∈{0,1}nx \in \{0,1\}^nϕ(x)=1ϕ(x)=1\phi(x)=1⊥⊥\perpxxx …

14 np-hardness  counting-complexity  reductions 

Thời gian không đổi là mức độ thấp tuyệt đối của độ phức tạp thời gian. Người ta có thể tự hỏi: có bất cứ điều gì không cần thiết có thể được tính toán trong thời gian liên tục? Nếu chúng ta dính vào mô hình máy Turing, thì …

14 cc.complexity-theory  ds.algorithms  time-complexity 

Hãy xem xét một vectơ của các biến và một tập các ràng buộc tuyến tính được chỉ định bởi .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b Hơn nữa, hãy xem xét hai đa giác P1P2= ={(f1(x⃗ ) , ⋯,fm(x⃗ ) ) | Mộtx⃗ ≤ b}= { (g1(x⃗ ) , ⋯ ,gm(x⃗ ) …

14 cc.complexity-theory  linear-algebra  linear-programming  polytope 

Giả sử chúng ta kết nối các điểm của bằng cách sử dụng tập hợp các cạnh vô hướng sao cho được kết nối với hoặc được kết nối với , độc lập và thống nhất ngẫu nhiên cho tất cả .V= Z2V= =Z2V = \mathbb{Z}^2EEE( tôi , j )(Tôi,j)(i, …

14 graph-theory