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

Tôi muốn hỏi đề xuất cho các văn bản tốt giới thiệu sự phức tạp mạch. Bất kỳ con trỏ đến những tiến bộ gần đây và các vấn đề mở trong lĩnh vực này cũng sẽ hữu ích.

15 circuit-complexity 

Câu hỏi này cũng đã được đăng trên Math.SE, /math/1002540/fixed-point-in-computability-nd-logic Tôi hy vọng nó cũng ổn để gửi nó ở đây. Nếu không, hoặc nếu nó quá cơ bản cho CS.SE, vui lòng cho tôi biết và tôi sẽ xóa nó. Tôi muốn hiểu rõ hơn về mối quan hệ …

15 lo.logic  computability  lambda-calculus 

Trong nghiên cứu gần đây của chúng tôi, chúng tôi giải quyết một vấn đề tính toán phát sinh trong bối cảnh tổ hợp, dưới giả định rằng , trong đó ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} là chuyển đổi E X P của ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Các chỉ báo về ⊕⊕P⊕P\mathsf{\oplus{}P} mà chúng …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Tôi đã đọc một chương trong LYAH không thực sự có ý nghĩa với tôi. Tôi hiểu rằng dây kéo có thể tùy ý đi qua một cấu trúc giống như cây, nhưng tôi cần một số giải thích rõ ràng về nó. Ngoài ra, dây kéo có thể được …

15 ds.data-structures  functional-programming  tree 

Nếu chúng ta có một đồ thị lớn (có hướng) và một cây gốc nhỏ hơn , thì độ phức tạp được biết đến nhiều nhất để tìm các đồ thị con của đẳng cấu với gì? Tôi nhận thức được kết quả cho sự đồng hình của cây con …

15 ds.algorithms  reference-request  graph-theory 

Vấn đề Hãy là một automaton Buchi, thừa nhận một ngôn ngữ L ⊆ Σ w . Chúng tôi cho rằng A có một chiến lược chấp nhận theo nghĩa sau đây: có một hàm σ : Σ * → Q có thể được sử dụng để chạy thí điểm …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

Lớp BQP phức tạp tương ứng với các chương trình con lượng tử thời gian đa thức lấy các đầu vào cổ điển và tạo ra một đầu ra cổ điển xác suất. Lời khuyên lượng tử sửa đổi rằng bao gồm các bản sao của một số trạng thái …

15 cc.complexity-theory  complexity-classes  quantum-computing 

Chúng tôi thường xem xét các lớp phức tạp nơi chúng tôi bị giới hạn trong dung lượng mà máy Turing của chúng tôi có thể sử dụng, ví dụ: hoặc . Dường như sớm trong lý thuyết phức tạp đã có nhiều thành công với các lớp này như …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

Các biến thể sau đây trên bìa thiết lập được gọi là gì? Cho một tập hợp S, tập hợp C gồm các tập con của S và số nguyên dương K, có tồn tại tập K trong C sao cho mọi cặp phần tử của S nằm trong một …

15 np-hardness  set-cover  cc.complexity-theory 

Tôi có một đa giác PPP được xác định bởi { x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Câu hỏi: Cho một đỉnh vvv của PPP , có thuật toán thời gian đa thức để lấy mẫu …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Có một số cách tự nhiên để hiểu bản chất của ngữ nghĩa quan hệ cho đa hình tham số? Tôi mới bắt đầu đọc về khái niệm tham số quan hệ, "Các loại, trừu tượng và đa hình tham số" của John la, và tôi gặp khó khăn trong …

15 type-theory  parametricity 

Người giải SAT đưa ra một cách mạnh mẽ để kiểm tra tính hợp lệ của công thức boolean với một bộ định lượng. Chẳng hạn, để kiểm tra tính hợp lệ của , chúng ta có thể sử dụng bộ giải SAT để xác định xem có thỏa đáng …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Chiều cao sao (tổng quát) của ngôn ngữ là mức lồng tối thiểu của các ngôi sao Kleene cần có để thể hiện ngôn ngữ bằng biểu thức chính quy mở rộng. Hãy nhớ lại rằng một biểu thức chính quy mở rộng trên bảng chữ cái hữu hạn thỏa …

15 fl.formal-languages  lower-bounds  regular-expressions 

Trong phần giới thiệu của tôi về khóa học lập trình, chúng tôi đang tìm hiểu về phương pháp Khởi tạo-Bảo trì-Chấm dứt để chứng minh một thuật toán thực hiện những gì chúng tôi mong đợi. Nhưng chúng tôi chỉ phải chứng minh rằng một thuật toán đã được …

15 ds.algorithms  proofs 

Có một danh mục các bản vá trông giống như thế này: Các đối tượng là các chuỗi trong một số bảng chữ cái cơ sở Các hình thái là các tập lệnh chỉnh sửa ("diffs" hoặc "patch") giữa các chuỗi Tôi quan tâm đến những câu hỏi này: Có …

14 ct.category-theory  edit-distance