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

3

Tại sao phân tích Fourier của các chức năng Boolean làm việc trực tiếp?

Trong những năm qua, tôi đã quen với việc nhìn thấy nhiều định lý TCS được chứng minh bằng cách sử dụng phân tích Fourier rời rạc. Biến đổi Walsh-Fourier (Hadamard) rất hữu ích trong hầu hết mọi lĩnh vực của TCS, bao gồm kiểm tra tài sản, giả ngẫu …

60 soft-question boolean-functions fourier-analysis

7

Làm thế nào để bắn hạ bằng chứng của bạn

Hướng dẫn chung để kiểm tra bằng chứng của bạn là gì? Tôi tin rằng điều này rất quan trọng đối với những sinh viên tốt nghiệp như tôi. Tôi đã biết những gì chúng ta cần làm để chứng minh điều gì đó, nhưng bạn luôn phải kiểm tra …

59 soft-question research-practice writing

10

Có bất kỳ vấn đề mở nào còn lại về DFA không?

Sau khi nghiên cứu automata trạng thái hữu hạn xác định (DFA) trong chương trình đại học, tôi cảm thấy chúng được hiểu rất rõ. Câu hỏi của tôi là liệu có điều gì chúng ta vẫn không hiểu về chúng. Tôi không có nghĩa là khái quát hóa các …

59 soft-question open-problem dfa

17

Các thuật toán đa thức thời gian với số mũ / hằng số lớn

Bạn có biết các thuật toán hợp lý chạy trong thời gian đa thức trong (Độ dài đầu vào + Độ dài đầu ra), nhưng thời gian chạy không có triệu chứng trong cùng một số đo có số mũ / hằng số rất lớn (ít nhất là trong đó …

59 ds.algorithms big-list

4

Bằng chứng là phép nhân ma trận có thể được thực hiện trong thời gian bậc hai?

Người ta phỏng đoán rộng rãi rằng , số mũ tối ưu cho phép nhân ma trận, trên thực tế bằng 2. Câu hỏi của tôi rất đơn giản:ωω\omega Lý do gì để chúng ta có để tin rằng ?ω = 2ω= =2\omega = 2 Tôi biết các thuật toán …

59 ds.algorithms linear-algebra matrix-product

8

Lớp phức tạp liên quan chặt chẽ nhất với những gì tâm trí con người có thể hoàn thành nhanh chóng?

Câu hỏi này là điều mà tôi băn khoăn trong một thời gian. Khi mọi người mô tả vấn đề P so với NP, họ thường so sánh NP lớp với sự sáng tạo. Họ lưu ý rằng việc soạn một bản giao hưởng chất lượng Mozart (tương tự như …

59 cc.complexity-theory complexity-classes soft-question

6

Làm thế nào để có một công việc

Tôi mới đến trang web. Trên mathoverflow đây sẽ là wiki cộng đồng, nhưng tôi không thấy cách đặt nó ở đây. Không phải là một câu hỏi nghiên cứu, nhưng hy vọng được quan tâm cho các nhà khoa học máy tính lý thuyết chuyên nghiệp. Tôi là một …

59 soft-question career advice-request

10

Một ngăn xếp, hai hàng đợi

lý lịch Cách đây vài năm, khi tôi còn là sinh viên, chúng tôi được giao bài tập về phân tích khấu hao. Tôi đã không thể giải quyết một trong những vấn đề. Tôi đã hỏi nó trong comp.theory , nhưng không có kết quả khả quan nào được …

59 ds.algorithms ds.data-structures open-problem time-complexity

15

Tạp chí truy cập mở

Với sự ra đời của internet (và lẽ thường), ngày càng có nhiều nhu cầu về nghiên cứu truy cập mở. Một số nhà nghiên cứu (bao gồm cả tôi) cảm thấy bực bội khi các bài báo nghiên cứu được đánh giá ngang hàng đứng sau paywalls. Tôi đang …

58 soft-question conferences journals

4

Các vấn đề có thể được sử dụng để hiển thị kết quả độ cứng thời gian đa thức

Khi thiết kế một thuật toán cho một vấn đề mới, nếu sau một thời gian tôi không thể tìm thấy thuật toán đa thức, tôi có thể cố gắng chứng minh nó là NP-hard. Nếu tôi thành công, tôi đã giải thích lý do tại sao tôi không thể …

58 cc.complexity-theory lower-bounds conditional-results

13

Các vấn đề mở trên biên giới của TCS

Trong chủ đề Các vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết? , Iddo Tzameret đã đưa ra nhận xét xuất sắc sau: Tôi nghĩ rằng chúng ta nên phân biệt giữa các vấn đề mở lớn được xem là vấn đề cơ bản, …

58 big-list open-problem

5

Các lý do bao quát tại sao các vấn đề nằm ở P hoặc BPP

Gần đây, khi nói chuyện với một nhà vật lý, tôi đã tuyên bố rằng theo kinh nghiệm của tôi, khi một vấn đề có vẻ ngây thơ cần phải có thời gian theo cấp số nhân hóa ra là không cần thiết trong P hoặc BPP, một "lý do …

56 big-list big-picture

10

Báo cáo có thể chứng minh về thuật toán di truyền

Các thuật toán di truyền không có nhiều lực kéo trong thế giới lý thuyết, nhưng chúng là một phương pháp siêu hình được sử dụng khá hợp lý (theo siêu hình tôi có nghĩa là một kỹ thuật áp dụng chung cho nhiều vấn đề, như ủ, giảm độ …

56 ds.algorithms ne.neural-evol

4

Tại sao 2SAT trong P?

Tôi đã đi qua thuật toán đa thức giải quyết 2SAT. Tôi đã nhận thấy rằng 2SAT nằm trong P trong đó tất cả (hoặc nhiều người khác) trong các trường hợp SAT là NP-Complete. Điều gì làm cho vấn đề này khác nhau? Điều gì làm cho nó dễ …

55 cc.complexity-theory np-hardness big-picture polynomial-time

14

Máy tính đã giúp chứng minh một định lý ở đâu và như thế nào?

Mục đích của câu hỏi này là thu thập các ví dụ từ khoa học máy tính lý thuyết trong đó việc sử dụng máy tính có hệ thống là hữu ích trong việc xây dựng một phỏng đoán dẫn đến một định lý, làm sai lệch một cách tiếp …

55 proofs survey examples