Khoa học máy tính

Trong một khóa học thuật toán tiêu chuẩn, chúng tôi được dạy rằng quicksort trung bình là và trong trường hợp xấu nhất. Đồng thời, các thuật toán sắp xếp khác được nghiên cứu là trong trường hợp xấu nhất (như mergesort và heapsort ), và thậm chí cả thời …

308 algorithms  sorting 

Tôi đang tham gia một khóa học về điện toán và sự phức tạp , và tôi không thể hiểu những thuật ngữ này có nghĩa gì. Tất cả những gì tôi biết là NP là tập con của NP-perfect, là tập con của NP-hard, nhưng tôi không biết ý …

248 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Tôi đã nhận thấy rằng tôi thấy việc viết ra các bằng chứng toán học dễ dàng hơn rất nhiều mà không mắc lỗi nào, hơn là viết ra một chương trình máy tính không có lỗi. Có vẻ như đây là một cái gì đó phổ biến hơn là …

190 correctness-proof  mathematical-foundations  philosophy 

Nhìn vào trang web của Julia , bạn có thể thấy một số điểm chuẩn của một số ngôn ngữ trên một số thuật toán (thời gian hiển thị bên dưới). Làm thế nào một ngôn ngữ với trình biên dịch ban đầu được viết bằng C, vượt trội hơn …

175 programming-languages  compilers  efficiency 

Có rất nhiều thắc mắc về cách phân tích thời gian chạy của thuật toán (xem, ví dụ, thời gian chạy phân tích và thuật toán phân tích ). Nhiều người giống nhau, ví dụ, những người yêu cầu phân tích chi phí của các vòng lặp lồng nhau hoặc …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Tôi không hiểu tại sao Vấn đề dừng lại thường được sử dụng để loại bỏ khả năng xác định liệu chương trình có dừng lại hay không. Wikipedia [bài báo] [1] giải thích chính xác rằng một cỗ máy xác định có bộ nhớ hữu hạn sẽ tạm dừng …

149 computability  halting-problem 

Chúng tôi đã được thực hiện các bài tập sau. Để cho f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Chứng minh rằng …

130 computability  undecidability 

Tôi khá thành thạo C / C ++ và có thể tìm hiểu các ngôn ngữ kịch bản khác nhau (awk / sed / perl). Tôi đã bắt đầu sử dụng python rất nhiều vì nó kết hợp một số khía cạnh tiện lợi của C ++ với khả năng …

130 programming-languages 

Hãy để tôi làm rõ: Đưa ra một biểu đồ phân tán một số điểm n đã cho, nếu tôi muốn tìm điểm gần nhất với bất kỳ điểm nào trong cốt truyện, tôi có thể bỏ qua hầu hết các điểm trong biểu đồ, thu hẹp lựa chọn của …

122 algorithms  computer-vs-human  human-computing 

Tôi đang học Haskell và tôi bị mê hoặc bởi ngôn ngữ này. Tuy nhiên tôi không có nền tảng toán học hay CS nghiêm túc. Nhưng tôi là một lập trình viên phần mềm có kinh nghiệm. Tôi muốn học lý thuyết thể loại để tôi có thể trở …

118 programming-languages  functional-programming  category-theory 

Chuyển đổi các biểu thức chính quy thành NFA (tối thiểu) chấp nhận cùng một ngôn ngữ là dễ dàng với các thuật toán tiêu chuẩn, ví dụ thuật toán của Thompson . Tuy nhiên, hướng khác có vẻ tẻ nhạt hơn, và đôi khi các biểu thức kết quả …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

Hầu hết các mã hóa ngày nay, chẳng hạn như RSA, phụ thuộc vào hệ số nguyên, không được cho là vấn đề NP-hard, nhưng nó thuộc về BQP, khiến nó dễ bị tổn thương trước các máy tính lượng tử. Tôi tự hỏi, tại sao không có một thuật …

109 complexity-theory  np-hard  encryption  cryptography 

Để thử kiểm tra xem thuật toán cho một số vấn đề có chính xác hay không, điểm khởi đầu thông thường là thử chạy thuật toán bằng tay trên một số trường hợp thử nghiệm đơn giản - thử một vài trường hợp ví dụ, bao gồm một vài …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Một cây được lập chỉ mục nhị phân có rất ít hoặc tương đối không có tài liệu so với các cấu trúc dữ liệu khác. Nơi duy nhất mà nó được dạy là hướng dẫn topcoder . Mặc dù hướng dẫn đã hoàn thành trong tất cả các giải …

99 algorithms  binary-trees  trees 

Có rất nhiều nỗ lực để chứng minh hoặc , và tự nhiên nhiều người nghĩ về câu hỏi, có ý tưởng để chứng minh một trong hai hướng.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Tôi biết rằng có những cách tiếp …

96 complexity-theory  reference-request  history  p-vs-np  reference-question