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

1

Có bất kỳ ví dụ đồ chơi nào cung cấp những hiểu biết 'thiết yếu' trong việc tìm hiểu ba rào cản đã biết đối với vấn đề P=NPP=NPP = NP - thuyết tương đối hóa, bằng chứng tự nhiên và giải thích không?

28 cc.complexity-theory relativization p-vs-np natural-proofs barriers

4

Độ phức tạp của việc giảm thiểu kích thước công thức đa thức

Đặt là một đa thức d độ trong n biến trên F 2 , trong đó d là hằng số (giả sử 2 hoặc 3). Tôi muốn tìm công thức nhỏ nhất cho f , trong đó "công thức" và "kích thước công thức" được xác định theo cách rõ …

28 cc.complexity-theory formulas

5

Các biến thể tính toán hiệu quả của độ phức tạp Kolmogorov

Độ phức tạp tiền tố Kolmogorov (tức là là kích thước của chương trình tự phân định tối thiểu xuất ra x ) có một số tính năng hay:K(x)K(x)K(x)xxx Nó tương ứng với một trực giác cho các chuỗi có patters hoặc cấu trúc có độ phức tạp thấp hơn …

28 it.information-theory kolmogorov-complexity formal-modeling

2

Có bao nhiêu DFA chấp nhận hai chuỗi đã cho?

Sửa một số nguyên và bảng chữ cái . Xác định là tập hợp của tất cả các automata trạng thái hữu hạn trên trạng thái có trạng thái bắt đầu 1. Chúng tôi đang xem xét tất cả các DFA (không chỉ kết nối, tối thiểu hoặc không suy …

28 cc.complexity-theory fl.formal-languages automata-theory counting-complexity

16

Các bài toán khó tìm được thực hiện dễ dàng bởi các định lý

Tôi đang tìm kiếm các ví dụ hay, trong đó hiện tượng sau xảy ra: (1) Một vấn đề thuật toán có vẻ khó, nếu bạn muốn giải quyết nó hoạt động từ các định nghĩa và chỉ sử dụng kết quả tiêu chuẩn. (2) Mặt khác, nó trở nên …

28 cc.complexity-theory ds.algorithms graph-algorithms

2

Làm thế nào để xuất bản một bài báo?

Là một kỹ sư phần mềm trong phần lớn cuộc đời tôi, tôi hoàn toàn không biết làm thế nào để bắt đầu với việc xuất bản một loại giấy "hàn lâm". Trong nghiên cứu mới nhất của tôi, tôi đã tìm thấy một thuật toán thú vị cho nhiệm …

28 soft-question research-practice paper-review

1

Các loại cảm ứng cho các ký hiệu thứ tự lớn đếm được.

Tôi đang tìm cách xây dựng các ký hiệu cho các số lớn có thể đếm được theo cách "tự nhiên". Theo "cách tự nhiên", ý tôi là với kiểu dữ liệu quy nạp X, đẳng thức đó phải là đẳng thức đệ quy thông thường (giống như deriving Eqtrong …

28 lo.logic type-theory proof-theory

1

Có một hệ thống chứng minh tự động hợp lý cho các định lý TCS không?

Giả sử tôi muốn chính thức hóa bằng chứng của Turing liên quan đến vấn đề tạm dừng để máy có thể kiểm tra. Một số hệ thống chứng minh định lý tự động nổi tiếng bao gồm Mizar, Coq và HOL4. Tôi đã tải xuống và thử nghiệm với …

28 lo.logic turing-machines software proof-assistants automated-theorem-proving

3

Trình bày công việc đang tiến hành (hiện có slide)

Trình bày bây giờ được đưa ra. Các slide có sẵn bên dưới. Trình bày công việc đang tiến hành là điều tất cả chúng ta nên làm để có được phản hồi sớm và giúp kết tinh ý tưởng của chúng tôi. Thật không may, nhiều sinh viên tốt …

28 soft-question advice-request

4

Bằng chứng thu được chỉ thông qua lý thuyết đồ thị phổ

Tôi có mối quan tâm ngày càng tăng đối với lý thuyết đồ thị phổ, điều mà tôi thấy hấp dẫn và tôi đã bắt đầu thu thập một vài tài liệu mà tôi chưa đọc kỹ hơn những gì tôi cho đến nay. Tuy nhiên, tôi tò mò về …

28 graph-theory co.combinatorics proofs spectral-graph-theory

2

Một loại vấn đề NP-đầy đủ?

Liệu có ý nghĩa khi xem xét một danh mục của tất cả các vấn đề hoàn thành NP, với các hình thái là giảm thời gian đa thời gian giữa các trường hợp khác nhau? Có ai đã từng xuất bản một bài báo về điều này, và nếu …

28 cc.complexity-theory np-hardness ct.category-theory

6

Tại sao Naturals thay vì số nguyên?

Tôi quan tâm đến việc tại sao các số tự nhiên lại được các tác giả sách về lý thuyết ngôn ngữ lập trình và lý thuyết loại ngôn ngữ yêu thích (ví dụ J. Mitchell, Cơ sở cho ngôn ngữ lập trình và B. Pierce, Các loại và Ngôn …

28 pl.programming-languages big-picture type-theory

8

Số bit tối thiểu cần thiết để lưu trữ câu đố sudoku là bao nhiêu?

Lưu ý: Đây là về câu đố sudoku 9x9 tiêu chuẩn. Các giải pháp chỉ phải hỗ trợ giải quyết, câu đố pháp lý . Vì vậy, một giải pháp không cần phải hỗ trợ các ô trống và có thể dựa vào các thuộc tính của câu đố sudoku …

28 co.combinatorics puzzles

9

Nơi tốt nhất để có được các mục BibTeX cho các bài báo khoa học máy tính là gì?

Khác với ACM, Hiệp hội máy tính IEEE, Google Scholar, trang web nào tốt nhất để nhận các mục bibtex cho các bài viết liên quan đến khoa học máy tính?

28 soft-question research-practice paper-review bibliography

5

Giảm nhanh từ RSA xuống SAT

Bài đăng trên blog của Scott Aaronson hôm nay đã đưa ra một danh sách các vấn đề / nhiệm vụ mở thú vị phức tạp. Một điều đặc biệt thu hút sự chú ý của tôi: Xây dựng một thư viện công cộng gồm các trường hợp 3SAT, với …

28 cc.complexity-theory cr.crypto-security sat reductions factoring