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

4

Tại sao chúng ta coi không gian log là một mô hình tính toán hiệu quả (thay vì không gian polylog)?

Đây có thể là một câu hỏi chủ quan chứ không phải là một câu trả lời cụ thể, nhưng dù sao đi nữa. Trong lý thuyết phức tạp, chúng tôi nghiên cứu khái niệm tính toán hiệu quả. Có các lớp như là viết tắt của thời gian đa …

49 cc.complexity-theory space-bounded big-picture

5

Mối quan hệ giữa máy Turing và phép tính Lambda?

Có mối quan hệ nào giữa Máy Turing và máy tính Lambda - hay chúng chỉ xảy ra để phát sinh cùng một lúc?

49 computability lambda-calculus turing-machines

11

Cách hiệu quả nhất để tạo ra một hoán vị ngẫu nhiên từ các giao dịch hoán đổi cặp xác suất là gì?

Câu hỏi tôi quan tâm có liên quan đến việc tạo ra hoán vị ngẫu nhiên. Đưa ra một cổng hoán đổi cặp xác suất là khối xây dựng cơ bản, cách hiệu quả nhất để tạo ra hoán vị ngẫu nhiên thống nhất của nnn phần tử là gì? …

48 co.combinatorics randomness probabilistic-circuits

3

Có một khái niệm hợp lý về một thuật toán gần đúng cho một vấn đề không thể giải quyết được không?

Một số vấn đề nhất định được biết là không thể giải quyết được, tuy nhiên vẫn có thể đạt được một số tiến bộ trong việc giải quyết chúng. Ví dụ, vấn đề tạm dừng là không thể giải quyết được, nhưng tiến trình thực tế có thể được …

48 computability approximation-algorithms parameterized-complexity halting-problem

2

Lý thuyết khả thi: sự khác biệt về sức mạnh giữa tính toán Lambda và Máy Turing

Tôi có ba câu hỏi con liên quan, được đánh dấu bằng các gạch đầu dòng bên dưới (không, chúng không thể bị chia tách, nếu bạn đang tự hỏi). Ở đây , Andrej Bauer đã viết rằng một số chức năng có thể thực hiện được thông qua máy …

48 computability lambda-calculus turing-machines

12

Cơ sở lý thuyết của lập trình mệnh lệnh là gì?

Lập trình hàm có cơ sở lý thuyết về tính toán lambda và logic kết hợp . Là một người liên quan đến tính toán thống kê, tôi thấy những khái niệm này rất hữu ích cho việc mô hình hóa. Có một cơ sở toán học tương đương của …

48 imperative-programming pl.programming-languages

8

Có bằng chứng tồn tại thuật toán không xây dựng?

Tôi nhớ rằng tôi có thể đã gặp các tài liệu tham khảo cho các vấn đề đã được chứng minh là có thể giải quyết được với một độ phức tạp cụ thể, nhưng không có thuật toán nào được biết để thực sự đạt đến độ phức tạp …

47 ds.algorithms soft-question lo.logic proofs

6

Cách để một nhà toán học được thông báo về nghiên cứu hiện tại trong lý thuyết phức tạp

Lý thuyết phức tạp là mối quan tâm thứ yếu mạnh mẽ của tôi nhưng nó không phải là mối quan tâm nghiên cứu chính của tôi, vì vậy tôi không có hy vọng tham dự tất cả các hội nghị, đọc tất cả các blog và đảm bảo rằng …

47 cc.complexity-theory soft-question research-practice

3

Nông cạn so với nhúng sâu

Khi mã hóa logic thành một trợ lý chứng minh như Coq hoặc Isabelle, một sự lựa chọn cần phải được thực hiện giữa việc sử dụng nông và nhúng sâu . Trong một công thức logic nhúng nhúng nông được viết trực tiếp trong logic của câu tục ngữ …

47 lo.logic coq proof-assistants

20

Vấn đề NP-cứng trên cây

Một số vấn đề tối ưu hóa được gọi là NP-hard trên các đồ thị chung có thể giải quyết được một cách tầm thường trong thời gian đa thức (một số ngay cả trong thời gian tuyến tính) khi biểu đồ đầu vào là một cây. Các ví dụ …

47 cc.complexity-theory np-hardness tree

4

Hậu quả của gì?

Chúng tôi biết rằng và rằng , trong đó . Chúng ta cũng biết rằng bởi vì cái sau có vấn đề hoàn toàn trong việc giảm nhiều không gian logarit trong khi cái trước thì không (do định lý phân cấp không gian). Để hiểu mối quan hệ giữa …

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

6

Những ví dụ điển hình cho cách viết tốt trong TCS

Tôi đang chỉnh sửa một bản thảo của sinh viên. Học sinh nhận xét rằng thật tuyệt khi thấy các ví dụ về văn bản chất lượng trong tác phẩm được xuất bản và tôi nhận ra rằng tôi không thể thực sự đưa ra các ví dụ hay từ …

46 soft-question writing

5

Lý thuyết loại phụ thuộc trực quan nhất mà tôi có thể học là gì?

Tôi quan tâm đến việc có được một nắm bắt thực sự vững chắc về gõ phụ thuộc. Tôi đã đọc hầu hết TaPL và đọc (nếu không được hấp thụ đầy đủ) 'Các loại phụ thuộc' trong ATTaPL . Tôi cũng đã đọc và đọc lướt qua một loạt …

46 lo.logic type-theory dependent-type

5

Có luật bảo tồn trong lý thuyết phức tạp?

Hãy để tôi bắt đầu với một số ví dụ. Tại sao nó quá tầm thường khi hiển thị CVP ở P nhưng rất khó để hiển thị LP ở P; trong khi cả hai đều là vấn đề P-Complete. Hoặc lấy tính nguyên thủy. Hiển thị vật liệu tổng …

46 cc.complexity-theory big-picture

4

Giới hạn dưới tốt nhất hiện tại trên 3SAT là gì?

Các giới hạn thấp nhất hiện tại tốt nhất cho thời gian và độ sâu mạch cho 3SAT là gì?

46 cc.complexity-theory lower-bounds sat