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

8

Trong một chủ đề khác , Joe Fitzsimons đã hỏi về "giới hạn dưới tốt nhất hiện tại trên 3SAT." Tôi muốn đi theo một cách khác: Giới hạn trên tốt nhất hiện tại trên 3SAT là gì? Nói cách khác, độ phức tạp thời gian của người giải SAT …

43 cc.complexity-theory ds.algorithms sat upper-bounds

5

Giải thích lý thuyết cho thành công thực tế của người giải SAT?

Có những giải thích lý thuyết nào cho sự thành công thực tế của người giải SAT, và ai đó có thể đưa ra một cái nhìn tổng quan "kiểu wikipedia" và giải thích buộc tất cả chúng lại với nhau không? Bằng cách tương tự, phân tích được làm …

43 cc.complexity-theory ds.algorithms sat heuristics

12

Các ứng dụng của lý thuyết biểu diễn của nhóm đối xứng

Lấy cảm hứng từ câu hỏi này và đặc biệt là đoạn cuối của câu trả lời của Or, tôi có câu hỏi sau: Bạn có biết bất kỳ ứng dụng nào của lý thuyết biểu diễn của nhóm đối xứng trong TCS không? Nhóm đối xứng là nhóm của …

42 co.combinatorics permutations fourier-analysis gr.group-theory

16

Kết quả vật lý trong TCS?

Dường như rõ ràng rằng một số trường con của khoa học máy tính lý thuyết đã bị ảnh hưởng đáng kể bởi kết quả từ vật lý lý thuyết. Hai ví dụ về điều này là Tính toán lượng tử Kết quả cơ học thống kê được sử dụng …

42 soft-question quantum-computing statistical-physics physics

22

Những thứ bậc và / hoặc định lý phân cấp nào bạn biết?

Tôi hiện đang viết một cuộc khảo sát về các định lý phân cấp trên TCS. Tìm kiếm các tài liệu liên quan tôi nhận thấy rằng hệ thống phân cấp là một khái niệm cơ bản không chỉ trong TCS và toán học, mà trong nhiều ngành khoa học, …

42 cc.complexity-theory reference-request big-list survey

10

Máy tính thật chỉ có số lượng trạng thái hữu hạn, vậy sự liên quan của máy Turing với máy tính thật là gì?

Máy tính thực có bộ nhớ hạn chế và chỉ có một số trạng thái hữu hạn. Vì vậy, về cơ bản chúng là automata hữu hạn. Tại sao các nhà khoa học máy tính lý thuyết sử dụng máy Turing (và các mô hình tương đương khác) để nghiên …

42 soft-question fl.formal-languages automata-theory big-picture turing-machines

4

Là tìm biểu thức chính quy tối thiểu là một vấn đề NP-đầy đủ?

Tôi đang nghĩ đến vấn đề sau: Tôi muốn tìm một biểu thức chính quy khớp với một chuỗi các chuỗi cụ thể (ví dụ: địa chỉ email hợp lệ) và không khớp với các biểu thức khác (địa chỉ email không hợp lệ). Giả sử bằng biểu thức chính …

42 np-hardness fl.formal-languages lg.learning regular-expressions

8

Bạn làm gì khi bạn không thể tiến bộ về vấn đề bạn đang làm việc?

Tôi là một sinh viên tốt nghiệp năm thứ hai về lý thuyết. Tôi đã làm việc về một vấn đề trong năm qua (về lý thuyết / thuật toán đồ thị). Cho đến ngày hôm qua tôi nghĩ rằng tôi đang làm tốt (tôi đã mở rộng một định …

41 soft-question research-practice

12

Căn cứ Gröbner trong TCS?

Có ai biết ứng dụng thú vị của các cơ sở Gröbner cho khoa học máy tính lý thuyết không? Các cơ sở Gröbner được sử dụng để giải các phương trình đa thức đa biến, một bài toán NP-hard nói chung. Tôi đã tự hỏi liệu một số trường …

41 cc.complexity-theory reference-request algebra polynomials

6

Mô hình tính toán nào là người giỏi nhất?

Năm 1937 Turing đã mô tả một máy Turing. Kể từ đó, nhiều mô hình tính toán đã được giải mã trong nỗ lực tìm kiếm một mô hình giống như một máy tính thực sự nhưng vẫn đủ đơn giản để thiết kế và phân tích các thuật toán. …

41 ds.algorithms reference-request soft-question machine-models

8

Sự nghiêm khắc dẫn đến cái nhìn sâu sắc

Trên MathOverflow, Timothy Gowers đã hỏi một câu hỏi có tiêu đề " Chứng minh rằng sự nghiêm khắc là quan trọng ". Hầu hết các cuộc thảo luận về các trường hợp cho thấy tầm quan trọng của bằng chứng, điều mà mọi người trên CSTheory có lẽ không …

41 big-list soft-question proofs

4

Tại sao chúng ta không thể phát triển một lý thuyết phức tạp thống nhất về điện toán phân tán?

Lĩnh vực điện toán phân tán đã giảm đáng kể trong việc phát triển một lý thuyết toán học duy nhất để mô tả các thuật toán phân tán. Có một số 'mô hình' và khung tính toán phân tán đơn giản là không tương thích với nhau. Sự bùng …

41 big-picture dc.distributed-comp

1

Tầm quan trọng của giấy tờ tác giả?

Tôi là một sinh viên tiến sĩ năm thứ tư về khoa học máy tính lý thuyết. Tôi muốn ở lại học viện, vì vậy tôi đang nghĩ về cách tốt nhất để thăng tiến trong sự nghiệp của mình. Rõ ràng cách tốt nhất để làm điều đó là …

40 soft-question career

3

Làm thế nào để tìm ra vấn đề nghiên cứu thú vị

Mặc dù có nhiều năm học, tôi vẫn lúng túng khi chọn đề tài nghiên cứu. Tôi đã xem qua các bài báo từ các lĩnh vực khác nhau và nói chuyện với các giáo sư, và tôi bắt đầu nghĩ rằng đây là cách tiếp cận sai. Tôi đã …

40 soft-question research-practice advice-request career

3

Hậu quả của thuật toán thời gian đa thức cho bài toán đẳng cấu đồ thị

Các vấn đề phép đẳng cấu đồ thị (GI) được cho là ứng viên tốt nhất được biết đến cho một NP-trung gian vấn đề. Các thuật toán tốt nhất được biết đến là thuật toán phân theo cấp số nhân với thời gian chạy . Được biết, GI không …

40 cc.complexity-theory ds.algorithms graph-theory graph-isomorphism