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

5

Độ phức tạp của kiểm tra giá trị so với tính toán hàm

Nói chung, chúng ta biết rằng sự phức tạp của việc kiểm tra xem một hàm có lấy một giá trị cụ thể tại một đầu vào nhất định hay không dễ hơn so với việc đánh giá hàm tại đầu vào đó. Ví dụ: Đánh giá độ vĩnh cửu …

36 cc.complexity-theory reference-request algebraic-complexity

8

Tại sao đi đến khoa học máy tính / nghiên cứu lý thuyết?

Tôi hiện đang bắt đầu học đại học [khoa học máy tính] và ở đó chúng tôi có rất nhiều cơ hội để bắt đầu nghiên cứu. Trước khi tìm thấy trang web này, tôi không có ý định đi theo con đường này [Tôi muốn làm việc với AI, …

36 soft-question career

6

Biểu thức thông thường không

Hỏi ngay cả một người có nền tảng về khoa học máy tính về biểu thức chính quy là gì và câu trả lời có thể vượt ra ngoài giới hạn của việc nằm trong tầm tay của một máy tự động trạng thái hữu hạn. Ví dụ: biểu thức …

36 automata-theory pl.programming-languages fl.formal-languages regular-expressions terminology

3

Tại sao Coq có Prop?

Coq có một loại Prop của các đề xuất không liên quan được loại bỏ trong quá trình trích xuất. Lý do để có điều này là gì nếu chúng ta chỉ sử dụng Coq cho bằng chứng. Prop là không bắt buộc, vì vậy Prop: Prop, tuy nhiên, Coq …

35 coq dependent-type

1

NP-Hoàn thành vấn đề quyết định cho 15 câu đố tổng quát

Tôi quan tâm đến việc khái quát hóa tự nhiên của 15 câu đố nổi tiếng , trong đó bạn phải trượt các khối cho đến khi bạn sắp xếp tất cả các số đã cho (thông thường có khoảng cách là 1 khối). Bây giờ việc khái quát hóa …

35 cc.complexity-theory np np-complete

4

Kết quả nhỏ nhất bạn công bố trên ArXiv là gì?

Về bản chất, câu hỏi là: Đơn vị ít xuất bản nhất cho ArXiv là gì? Quan tâm đặc biệt là các lĩnh vực sử dụng ArXiv rộng rãi như điện toán lượng tử. Nhưng ý kiến về các lĩnh vực và dịch vụ in trước khác (như, ECCC & …

35 soft-question advice-request research-practice paper-review

6

Một tập hợp xác suất không có dương tính giả?

Vì vậy, các bộ lọc Bloom khá tuyệt - chúng là các bộ hỗ trợ kiểm tra tư cách thành viên không có âm tính giả, nhưng rất ít khả năng là dương tính giả. Gần đây, tôi đã muốn có một "bộ lọc Bloom" đảm bảo điều ngược lại: …

35 ds.data-structures

1

Chức năng tính toán hiệu quả như một ví dụ ngược với phỏng đoán Mobius của Sarnak

Gần đây Gil Kalai và Dick Lipton đều viết một bài báo hay về một phỏng đoán thú vị được đề xuất bởi Peter Sarnak, một chuyên gia về lý thuyết số và Giả thuyết Riemann. Phỏng đoán. Đặt là hàm Möbius . Giả sử là một hàm với đầu …

35 cc.complexity-theory randomness open-problem nt.number-theory

7

Khái niệm chính thức về độ phức tạp năng lượng của các vấn đề tính toán

Độ phức tạp tính toán bao gồm nghiên cứu về độ phức tạp thời gian hoặc không gian của các vấn đề tính toán. Từ quan điểm của điện toán di động, năng lượng là tài nguyên tính toán rất có giá trị. Vì vậy, có một sự thích ứng …

35 cc.complexity-theory physics

4

Bằng chứng cho thấy một cấu trúc sâu hơn

Bằng chứng tiêu chuẩn về ràng buộc của Chernoff (từ sách giáo khoa Thuật toán ngẫu nhiên ) sử dụng các hàm tạo bất đẳng thức và thời điểm Markov, với một chút mở rộng Taylor được đưa vào. Không có gì quá khó khăn, nhưng hơi máy móc. Nhưng …

35 big-list proofs

2

Nếu P = NP, chúng ta có thể có được bằng chứng về phỏng đoán của Goldbach không?

Đây là một câu hỏi ngây thơ, ngoài chuyên môn của tôi; xin lỗi trước. Phỏng đoán của Goldbach và nhiều câu hỏi chưa được giải trong toán học có thể được viết dưới dạng các công thức ngắn trong phép tính vị ngữ. Ví dụ, bài viết của Cook …

35 cc.complexity-theory proof-complexity automated-theorem-proving proof-search

7

Làm thế nào để tôi bắt đầu trong CS lý thuyết?

Tôi là sinh viên năm nhất học ngành khoa học máy tính và tôi đã biết rằng tôi muốn vào học viện với trọng tâm là khoa học lý thuyết. Tôi đã đọc một số bài viết được tham khảo trong câu hỏi này và câu hỏi này đã thuyết …

35 soft-question advice-request career

5

Phép nhân số nguyên khi một số nguyên được cố định

Đặt là số nguyên dương cố định có kích thước bit.nMộtAAnnn Người ta được phép xử lý trước số nguyên này khi thích hợp. Cho một số nguyên dương có kích thước bit, độ phức của phép nhân bao nhiêu?m A BBBBmmmA BABAB Lưu ý rằng chúng tôi đã có …

35 cc.complexity-theory ds.algorithms circuit-complexity algebraic-complexity arithmetic-circuits

3

Cắt tối đa với các cạnh trọng lượng âm

Đặt G = ( V , E , w )G=(V,E,w)G = (V, E, w) là một đồ thị có hàm trọng số . Vấn đề cắt tối đa là tìm: If hàm trọng số không âm (tức là w (e) \ geq 0 cho tất cả e \ trong E …

35 ds.algorithms graph-theory approximation-algorithms max-cut

2

Các lớp phức tạp ngữ nghĩa và cú pháp

Trong cuốn sách "Độ phức tạp tính toán" của mình, Papadimitriou viết: RP trong một số ý nghĩa là một loại phức tạp mới và bất thường. Không phải bất kỳ máy Turing không điều kiện ràng buộc đa thức nào cũng có thể là cơ sở để xác định …

35 cc.complexity-theory complexity-classes big-picture