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

16

Những công cụ nào bạn sử dụng để viết giấy tờ?

Những công cụ nào bạn sử dụng để viết giấy tờ? Từ kinh nghiệm nhỏ bé mà tôi có, các nhà lý thuyết dành một lượng lớn thời gian để viết và hoàn thiện các bài báo, bên cạnh việc thực sự sáng tạo. Đó là, truyền đạt công việc …

55 soft-question big-list research-practice writing

3

Các thuật toán đáng ngạc nhiên để đếm các vấn đề

Có một số vấn đề đếm liên quan đến việc đếm nhiều thứ theo cấp số nhân (liên quan đến kích thước của đầu vào), và vẫn có các thuật toán xác định, chính xác thời gian đa thức đáng ngạc nhiên. Những ví dụ bao gồm: Đếm các kết …

54 cc.complexity-theory counting-complexity big-picture

2

Người ta có thể khuếch đại P = NP ngoài P = PH không?

Trong mô tả phức tạp , Immerman có Hệ quả 7.23. Các điều kiện sau là tương đương: 1. P = NP. 2. Trên cấu trúc hữu hạn, có trật tự, FO (LFP) = SO. Điều này có thể được coi là "khuếch đại" P = NP thành một câu …

54 cc.complexity-theory reference-request complexity-classes conditional-results polynomial-hierarchy

9

Giải thích vấn đề P = NP đến 10 tuổi

Đây là câu hỏi đầu tiên của tôi trên trang web này. Tôi đang tham gia một khóa học thạc sĩ về lý thuyết tính toán. Làm thế nào bạn giải thích vấn đề P = NP cho một đứa trẻ 10 tuổi và tại sao nó lại có phần …

54 cc.complexity-theory soft-question teaching p-vs-np

13

Lý thuyết thông tin được sử dụng để chứng minh các tuyên bố kết hợp gọn gàng?

Ví dụ yêu thích của bạn trong đó lý thuyết thông tin được sử dụng để chứng minh một tuyên bố kết hợp gọn gàng một cách đơn giản là gì? Một số ví dụ tôi có thể nghĩ đến có liên quan đến giới hạn thấp hơn cho các …

54 co.combinatorics big-list it.information-theory

5

Blog CS nào mọi người nên đọc?

Nhiều nhà nghiên cứu và nhóm nghiên cứu khoa học máy tính hàng đầu) duy trì các blog hoạt động giúp chúng tôi cập nhật những nghiên cứu mới nhất trong lĩnh vực mà các tác giả quan tâm. Trong hầu hết các trường hợp, các bài đăng trên blog …

53 soft-question

1

Có một loại kết quả khuếch đại khoảng cách cho vấn đề đẳng cấu đồ thị?

Giả sử và G 2 là hai đồ thị vô hướng trên đỉnh thiết lập { 1 , ... , n } . Các đồ thị là đẳng cấu khi và chỉ khi có một hoán vị Π mà G 1 = Π ( G 2 ) , hay chính …

53 cc.complexity-theory graph-isomorphism pcp

5

TCS muốn loại câu trả lời nào cho câu hỏi Tại sao mạng nơ ron hoạt động tốt như vậy?

Tiến sĩ của tôi là trong toán học thuần túy, và tôi thừa nhận tôi không biết nhiều (tức là bất cứ điều gì) về CS lý thuyết. Tuy nhiên, tôi đã bắt đầu khám phá các lựa chọn phi học thuật cho sự nghiệp của mình và giới thiệu …

52 machine-learning

1

Một phiên bản kết hợp cho phỏng đoán Hirsch đa thức

Xem xét gia đình rời nhau của các tập con của {1,2, ..., n}, F 1 , F 2 , ... F t .tttĐỤ1, F2, ... FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Giả sử rằng (*) Đối với mỗi và mỗi R ∈ F i và T ∈ F k , …

52 co.combinatorics cg.comp-geom open-problem linear-programming

7

Đối với những vấn đề trong P là dễ dàng để xác minh kết quả hơn là tìm thấy nó?

Đối với (các phiên bản tìm kiếm) của các vấn đề NP -complete, việc xác minh một giải pháp rõ ràng dễ dàng hơn tìm kiếm nó, vì việc xác minh có thể được thực hiện trong thời gian đa thức, trong khi việc tìm kiếm nhân chứng mất (có …

52 cc.complexity-theory ds.algorithms reference-request

13

Đối với thuật toán nào có một khoảng cách lớn giữa phân tích lý thuyết và thực tế?

Hai cách để phân tích hiệu quả của một thuật toán là để đặt một giới hạn trên tiệm cận trong thời gian chạy của nó và để chạy nó và thu thập dữ liệu thử nghiệm. Tôi tự hỏi nếu có những trường hợp được biết có một khoảng …

52 ds.algorithms big-list ds.data-structures

2

Các câu hỏi nổi bật trong cấu trúc dữ liệu chức năng thuần túy là gì?

Câu hỏi này được lấy cảm hứng từ một câu hỏi khác về những gì mới trong PFDS kể từ khi xuất bản cuốn sách của Okasaki năm 1998 . Tôi sẽ bắt đầu với hai câu hỏi tôi có: Có một cấu trúc dữ liệu tập hợp chức năng …

51 big-list ds.data-structures functional-programming

21

Bàn ăn mô tả khoa học máy tính lý thuyết?

Tôi thường hỏi một nhà khoa học máy tính lý thuyết làm gì. Sẽ thật tuyệt khi có một số câu trả lời hay cho câu hỏi này. Tôi có xu hướng rơi trở lại thuật ngữ kỹ thuật và đôi mắt của mọi người thường sáng lên vào thời …

51 big-list soft-question

3

Bằng chứng bảo mật nghiêm ngặt cho tiền lượng tử của Wiesner?

Trong bài báo nổi tiếng "Conjugate Coding" (viết vào khoảng năm 1970), Stephen Wiesner đã đề xuất một kế hoạch cho tiền lượng tử không thể giả mạo vô điều kiện, giả sử rằng ngân hàng phát hành có quyền truy cập vào một bảng số ngẫu nhiên khổng lồ …

50 quantum-computing

18

Tiêu đề giấy CS đáng nhớ nhất

Sau một câu hỏi hiệu quả trong MO , tôi nghĩ sẽ rất đáng để thảo luận về một số tên giấy đáng chú ý trong CS. Một điều khá rõ ràng là hầu hết chúng ta có thể bị thu hút khi đọc (hoặc ít nhất là liếc nhìn) …

50 soft-question big-list