Khoa học máy tính

Định lý Master là một công cụ tuyệt vời để giải quyết các loại tái phát nhất định . Tuy nhiên, chúng tôi thường phủ bóng lên một phần không thể thiếu khi áp dụng nó. Ví dụ, trong quá trình phân tích Mergesort, chúng tôi vui vẻ đi từ …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

Có một phương pháp chung để giải quyết sự tái phát của mẫu: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) cho c&lt;1c&lt;1c < 1 , hoặc nói chung hơn T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) Trong đó là một số hàm tuyến tính phụ của .g(n),r(n)g(n),r(n)g(n),r(n)nnn Cập nhật : …

20 proof-techniques  recurrence-relation 

Tôi nghe nói rằng việc tạo số ngẫu nhiên trong máy tính không thực sự ngẫu nhiên, nhưng không có thuật toán hiệu quả để phát hiện ra nó. Làm thế nào nó có thể được phát hiện ở tất cả?

20 randomness  random-number-generator 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Hiện tại, tôi đang tự nghiên cứu Giới thiệu …

20 asymptotics  recurrence-relation  mathematical-analysis  landau-notation 

bbba c Nab=cmodNab=cmodNa^b=c \bmod NaaacccNNN Tôi tự hỏi những nhóm phức tạp nào (ví dụ như đối với máy tính cổ điển và lượng tử), đây là phương pháp nào, và phương pháp nào (tức là thuật toán) là tốt nhất để hoàn thành nhiệm vụ này. Liên kết wikipedia …

20 algorithms  complexity-theory  time-complexity  discrete-mathematics 

Có thể điều này khá đơn giản nhưng tôi gặp một số rắc rối để có được sự giảm này. Tôi muốn giảm Subset Sum thành phân vùng nhưng tại thời điểm này tôi không thấy mối quan hệ! Có thể giảm vấn đề này bằng cách sử dụng Giảm …

20 complexity-theory  np-complete  reductions 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Tất cả các automata hữu hạn không xác định …

20 automata  finite-automata  nondeterminism 

Sự khác biệt giữa ngôn ngữ lập trình và ngôn ngữ kịch bản là gì? Ví dụ, xem xét C so với Perl. Có phải sự khác biệt duy nhất mà các ngôn ngữ kịch bản chỉ yêu cầu trình thông dịch và không yêu cầu biên dịch và liên …

20 programming-languages 

Wikipedia có định nghĩa sau đây về bổ đề bơm đối với các ngôn ngữ thông thường ... Hãy để là một ngôn ngữ thông thường. Sau đó, tồn tại một số nguyên 1 chỉ phụ thuộc vào sao cho mọi chuỗi trong có độ dài ít nhất ( được …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Tôi đã gặp vấn đề khi chấp nhận quan điểm lý thuyết phức tạp về "giải quyết hiệu quả bằng thuật toán song song" được đưa ra bởi lớp NC : NC là lớp các vấn đề có thể được giải quyết bằng thuật toán song song trong thời gian …

20 complexity-theory  reference-request  parallel-computing 

Trước khi đọc Nghệ thuật lập trình máy tính (TAOCP) , tôi chưa xem xét sâu những câu hỏi này. Tôi sẽ sử dụng mã giả để mô tả các thuật toán, hiểu chúng và ước tính thời gian chạy chỉ về các đơn hàng tăng trưởng. Các TAOCP triệt …

20 algorithms  proof-techniques  runtime-analysis 

Giả sử rằng chúng ta có một hộp đen mà chúng ta có thể truy vấn và đặt lại. Khi chúng ta đặt lại f , trạng thái f S của f được đặt thành một phần tử được chọn ngẫu nhiên từ bộ { 0 , 1 , . …

20 algorithms  probability-theory  randomized-algorithms 

Bạn được cấp n số nguyên tất cả từ đến . Trong mỗi số nguyên bạn nên viết một số nguyên trong khoảng từ đến với yêu cầu rằng tạo thành một chuỗi không giảm. Xác định độ lệch của chuỗi như vậy là . Thiết kế một thuật toán …

20 algorithms  optimization  greedy-algorithms  subsequences 

WalkSAT và GSAT là các thuật toán tìm kiếm cục bộ nổi tiếng và đơn giản để giải quyết vấn đề thỏa mãn Boolean. Mã giả cho thuật toán GSAT được sao chép từ câu hỏi Thực hiện thuật toán GSAT - Làm thế nào để chọn nghĩa đen nào …

20 algorithms  data-structures  satisfiability 

Có bất kỳ vấn đề nào trong PP\mathsf{P} có thuật toán ngẫu nhiên đánh bại các giới hạn thấp hơn trên các thuật toán xác định không? Cụ thể hơn, chúng ta có biết nào trong đó không? Ở đây \ mathsf {PTIME} (f (n)) có nghĩa là tập hợp …

20 algorithms  complexity-theory  randomized-algorithms