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

Tôi đã tham gia một lớp học về Khả năng tính toán và Logic. Tài liệu bao gồm một mối tương quan giữa các lớp phức tạp / tính toán (R, RE, co-RE, P, NP, Logspace, ...) và Logics (Tính toán dự đoán, logic thứ tự đầu tiên, ...). Mối …

33 cc.complexity-theory  lo.logic  computability 

Tôi thường nghe rằng đối với nhiều vấn đề chúng ta biết các thuật toán ngẫu nhiên rất thanh lịch, nhưng không, hoặc chỉ có các giải pháp xác định, phức tạp hơn. Tuy nhiên, tôi chỉ biết một vài ví dụ cho việc này. Nổi bật nhất Quicksort ngẫu …

33 ds.algorithms  randomized-algorithms  derandomization 

Vấn đề trung tâm của lý thuyết phức tạp được cho là PPP vs NPNPNP . Tuy nhiên, vì Thiên nhiên là lượng tử, nên có vẻ tự nhiên hơn khi xem xét các lớp BQPBQPBQP (nghĩa là các vấn đề quyết định có thể giải quyết được bằng máy …

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

Theo tinh thần của một số cuộc thảo luận chung như thế này , tôi mở chủ đề này với ý định thu thập ý kiến ​​về những thách thức mở và chủ đề nóng trong nghiên cứu về ngôn ngữ lập trình . Tôi hy vọng rằng cuộc thảo …

32 pl.programming-languages  open-problem  research-practice 

Tuyên bố miễn trừ trách nhiệm: Tôi chỉ có thể bảo đảm cho các lĩnh vực nghiên cứu của mình, cụ thể là phương pháp chính thức, ngữ nghĩa và lý thuyết ngôn ngữ lập trình. Tình hình có thể khác nhau trong các phần khác của ngành học. Có …

32 soft-question  conferences 

Tôi có một số kinh nghiệm về điện toán khoa học và đã sử dụng rộng rãi các cây kd cho các ứng dụng BSP (phân vùng không gian nhị phân). Gần đây tôi đã trở nên quen thuộc hơn với octrees, một cấu trúc dữ liệu tương tự để …

32 ds.data-structures  tree 

Câu hỏi này là về các vấn đề có khoảng cách phức tạp mở lớn giữa giới hạn dưới và giới hạn trên đã biết, nhưng không phải vì các vấn đề mở trên chính các lớp phức tạp. Để được chính xác hơn, chúng ta hãy nói một vấn …

32 cc.complexity-theory  complexity-classes  big-list 

Nhìn vào các câu hỏi thông qua lăng kính thuật toán (nghĩa là từ quan điểm thuật toán hoặc độ phức tạp) đã trở nên hữu ích trong các ngành học bên ngoài 'miền tiêu chuẩn' của khoa học máy tính. Cụ thể, CS đã tác động đến sinh học …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Trong bài báo Giả thuyết ngẫu nhiên của Oracle là sai , các tác giả (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan và Rohatgi) thảo luận về ý nghĩa của giả thuyết ngẫu nhiên . Họ lập luận rằng chúng ta biết rất ít về sự tách biệt giữa các lớp …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

Là một người nghiệp dư TCS, tôi đang đọc một số tài liệu phổ biến, rất giới thiệu về điện toán lượng tử. Dưới đây là một vài thông tin cơ bản mà tôi đã học được cho đến nay: Máy tính lượng tử không được biết để giải quyết …

32 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Xác định LOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (loglog n) bằng máy Turing xác định (với quyền truy cập hai chiều vào đầu vào). Tương tự định nghĩa NLOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (log log …

32 cc.complexity-theory  reference-request  space-bounded 

Trong khi tôi đã vượt qua một số khóa học về lý thuyết xác suất, cả ở trường trung học và đại học, tôi đều gặp khó khăn khi đọc các bài báo của TCS khi nói đến xác suất. Có vẻ như các tác giả của các bài báo …

32 reference-request  big-list  pr.probability  books 

Không thể viết một ngôn ngữ lập trình cho phép tất cả các máy dừng trên tất cả các đầu vào và không có ngôn ngữ nào khác. Tuy nhiên, dường như rất dễ để định nghĩa một ngôn ngữ lập trình như vậy cho bất kỳ lớp phức tạp …

32 cc.complexity-theory  computability  pl.programming-languages 

Năm 1995, Russell Impagliazzo đề xuất năm thế giới phức tạp: 1- Thuật toán: với tất cả các hậu quả đáng kinh ngạc.P= NPP=NPP=NP 2- Heuristica: Các vấn đề -complete rất khó trong trường hợp xấu nhất ( ) nhưng có thể giải quyết hiệu quả trong trường hợp trung …

32 cc.complexity-theory  conditional-results  average-case-complexity 

Hai trong số các giả định phổ biến để chứng minh độ cứng của kết quả gần đúng là và Phỏng đoán trò chơi duy nhất. Có bất kỳ độ cứng của kết quả xấp xỉ giả N P ≠ c o N P ? Tôi đang tìm kiếm một …

32 approximation-hardness  conditional-results