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

5

Tại sao điều quan trọng là phải chứng minh rằng một vấn đề là NP-đầy đủ?

Tôi có đúng không khi hiểu rằng việc chứng minh NP hoàn thành là một nghiên cứu thành công? Nếu vậy tại sao?

18 cc.complexity-theory np-hardness big-picture

1

Hướng nghiệp khoa học máy tính lý thuyết

Tôi hiện đang là học sinh trung học, yêu thích khoa học máy tính lý thuyết và toán ứng dụng. Tôi đã tự dạy mình đại số tuyến tính và phép tính và toán học cụ thể. Tôi có một quan niệm ngây thơ rằng để một người viết các …

17 big-picture

3

Làm thế nào cứng là mô phỏng chính xác các thuật toán và một hoạt động liên quan đến các lớp phức tạp

Trêu chọc Vì vấn đề là lâu dài nên đây là một trường hợp đặc biệt nắm bắt được bản chất của nó. Vấn đề: Đặt A là thuật toán chi tiết cho 3-SAT. Là vấn đề mô phỏng hoàn toàn thuật toán A (trên mọi trường hợp của vấn …

17 cc.complexity-theory big-picture structural-complexity

3

Ngẫu nhiên hay không?

Câu hỏi này được lấy cảm hứng từ áo phông của Trung tâm thuật toán và ngẫu nhiên Georgia Tech , câu hỏi "Ngẫu nhiên hay không?!" Có nhiều ví dụ trong đó ngẫu nhiên hóa giúp, đặc biệt là khi hoạt động trong môi trường đối nghịch. Ngoài ra …

17 randomness big-picture randomized-algorithms

2

Hiện trạng của lý thuyết thể loại và đơn nguyên trong nghiên cứu khoa học máy tính lý thuyết?

Bối cảnh . Tôi là một sinh viên cử nhân quan tâm đến nghiên cứu liên quan đến lý thuyết thể loại, đơn nguyên và Haskell, và tôi muốn tìm một chủ đề cho luận án cử nhân của mình trong lĩnh vực đó. Tôi đã nhìn vào tờ giấy …

16 reference-request pl.programming-languages big-picture ct.category-theory monad

10

Tính hấp dẫn của các bài toán NP-đầy đủ như một nguyên tắc vật lý?

Tôi luôn bị thu hút bởi việc thiếu bằng chứng số từ toán học thực nghiệm cho hoặc chống lại câu hỏi P vs NP. Mặc dù Giả thuyết Riemann có một số bằng chứng hỗ trợ từ xác minh bằng số, tôi không biết về bằng chứng tương tự …

15 cc.complexity-theory soft-question big-picture experimental

6

Giải thích hình học của tính toán

Xuất thân từ Vật lý, tôi đã được đào tạo để xem xét rất nhiều vấn đề từ quan điểm hình học. Ví dụ, hình học vi phân của đa tạp trong các hệ động lực, v.v. Khi tôi đọc các nền tảng của khoa học máy tính, tôi luôn …

14 reference-request computability big-picture

1

Lớp phức tạp liên quan đến tìm kiếm toàn diện

Lớp phức tạp liên quan đến các thuật toán tìm kiếm toàn diện là gì? (nếu có một) Là NP hay PSPACE? Có các mô hình tính toán bị hạn chế nắm bắt lớp các thuật toán tìm kiếm toàn diện tương tự như các mô hình cho lập trình …

14 cc.complexity-theory ds.algorithms reference-request big-picture machine-models

1

Tăng tốc từ tiến bộ thuật toán so với phần cứng

Tôi nhớ lại đã thấy một nghiên cứu hoặc bài báo trước đây tuyên bố rằng hầu hết các tốc độ được thấy trong các chương trình máy tính trong vài thập kỷ qua là từ các thuật toán tốt hơn thay vì phần cứng nhanh hơn. Có ai biết …

14 ds.algorithms reference-request big-picture ar.hardware-architecture

2

Cảnh quan của hệ thống bằng chứng tương tác

Câu hỏi đầu tiên của tôi là liệu một đặc tính hệ thống bằng chứng tương tác được biết đến với tất cả các lớp phức tạp cổ điển. Tôi sẽ gọi P, NP, PSPACE, EXP, NEXP, EXPSPACE, đệ quy và đệ quy các hàm cổ điển (trong số các …

14 cc.complexity-theory big-picture interactive-proofs

5

Có nên giảm bớt làm cho chúng ta ít nhiều lạc quan cho khả năng dễ dàng của một vấn đề?

Dường như với tôi rằng hầu hết các nhà lý thuyết phức tạp thường tin rằng quy tắc triết học sau đây: Nếu chúng ta không thể tìm ra một thuật toán hiệu quả cho vấn đề MộtMộtA , và chúng ta có thể giảm bớt vấn đề MộtMộtA vấn …

14 cc.complexity-theory big-picture reductions

1

Tại sao cần Martin-Löf để tạo ra lý thuyết loại trực giác?

Tôi đã đọc về Lý thuyết loại trực giác (ITT) và nó thực sự có ý nghĩa. Nhưng điều tôi đang đấu tranh để hiểu là "tại sao" nó được tạo ra ngay từ đầu? Logic trực giác (IL) và đơn giản gõ -calculus (STLC) và lý thuyết loại nói …

13 lo.logic soft-question type-theory big-picture ho.history-overview

4

Kết quả thú vị trong TCS có thể dễ dàng giải thích cho các lập trình viên mà không có nền tảng kỹ thuật

Giả sử bạn đang gặp gỡ các lập trình viên đã tham gia một số khóa học lập trình chuyên nghiệp (/ tự nghĩ) nhưng không học toán cấp đại học. Để cho họ thấy vẻ đẹp của TCS, tôi muốn thu thập một số kết quả hay câu hỏi …

13 soft-question big-list big-picture teaching

2

Khoa học máy tính lý thuyết là gì?

Chính xác thì khoa học máy tính là gì? Có phải nó đang học cách viết mã bằng nhiều ngôn ngữ khác nhau và tạo các ứng dụng trong các nền tảng? Hay đó chỉ là suy nghĩ về các thuật toán nhanh hơn và nhanh hơn để bạn có …

13 big-picture

1

Làm thế nào tôi có thể sử dụng lý thuyết tính toán và khả năng phân tích của mình cho lợi ích lớn hơn?

Bên ngoài học viện, việc sử dụng 'sức mạnh' của tôi là gì? Tôi có thể làm gì khác ngoài giảng dạy và xuất bản bài báo? Tôi có thể áp dụng quyền hạn của mình ở đâu? Để tranh luận: Hãy giả sử tôi có bằng tiến sĩ về …

13 soft-question big-picture career

Câu hỏi được gắn thẻ «big-picture»