Khoa học máy tính

9

Làm thế nào / khi nào tính toán được sử dụng trong Khoa học máy tính?

Nhiều chương trình khoa học máy tính yêu cầu hai hoặc ba lớp tính toán. Tôi đang tự hỏi, làm thế nào và khi nào tính toán được sử dụng trong khoa học máy tính? Nội dung CS của bằng cấp về khoa học máy tính có xu hướng tập …

95 education mathematical-analysis

5

Các lý do để tìm hiểu các thuật toán / cấu trúc dữ liệu khác nhau phục vụ cùng một mục đích là gì?

Tôi đã tự hỏi về câu hỏi này từ khi còn là sinh viên đại học. Đây là một câu hỏi chung nhưng tôi sẽ giải thích với các ví dụ dưới đây. Tôi đã thấy rất nhiều thuật toán - ví dụ, đối với các vấn đề dòng chảy …

91 algorithms data-structures education didactics

5

Sự khác biệt giữa cây tìm kiếm nhị phân và đống nhị phân là gì?

Hai cái này có vẻ rất giống nhau và có cấu trúc gần như giống hệt nhau. Có gì khác biệt? Sự phức tạp thời gian cho các hoạt động khác nhau của mỗi là gì?

91 data-structures binary-trees heaps

3

Làm thế nào để biết ký hiệu phân tích độ phức tạp thời gian sẽ sử dụng?

Trong hầu hết các lớp giải thuật giới thiệu, ký hiệu như (Big O) và ΘOOOΘΘ\Theta được giới thiệu, và một sinh viên thường sẽ học cách sử dụng một trong những để tìm sự phức tạp thời gian. Tuy nhiên, có ký hiệu khác, chẳng hạn như , Ω …

90 algorithms terminology asymptotics landau-notation reference-question

11

Giải quyết hoặc xấp xỉ quan hệ lặp lại cho chuỗi số

Trong khoa học máy tính, chúng ta thường phải giải quyết các mối quan hệ lặp lại , đó là tìm một dạng đóng cho một dãy số được xác định đệ quy. Khi xem xét thời gian chạy, chúng tôi thường quan tâm chủ yếu đến sự tăng trưởng …

89 asymptotics proof-techniques combinatorics recurrence-relation reference-question

5

Làm thế nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh?

Chúng tôi đã học về lớp ngôn ngữ không ngữ cảnh . Nó được đặc trưng bởi cả ngữ pháp không ngữ cảnh và tự động đẩy xuống, do đó dễ dàng cho thấy rằng một ngôn ngữ nhất định là không có ngữ cảnh.CFLCFL\mathrm{CFL} Làm thế nào để tôi …

88 formal-languages context-free proof-techniques reference-question

7

Tại sao học sâu được thổi phồng mặc dù kích thước VC xấu?

Công thức tính toán độ cao của vnikikik Chervonenkis (VC) cho các mạng thần kinh nằm trong khoảng từ đến , với trong trường hợp xấu nhất, trong đó là số cạnh và là số lượng nút. Số lượng mẫu đào tạo cần thiết để đảm bảo khái quát hóa …

86 machine-learning vc-dimension

2

Phân vùng Quicksort: Hoare vs. Lomuto

Có hai phương pháp phân vùng quicksort được đề cập trong Cormen: Hoare-Partition(A, p, r) x = A[p] i = p - 1 j = r + 1 while true repeat j = j - 1 until A[j] <= x repeat i = i + 1 until A[i] >= x …

82 algorithms sorting quicksort

5

Tại sao một số ngôn ngữ lập trình lại nhanh hơn hay chậm hơn các ngôn ngữ khác?

Tôi đã nhận thấy rằng một số ứng dụng hoặc thuật toán được xây dựng trên ngôn ngữ lập trình, nói rằng C ++ / Rust chạy nhanh hơn hoặc nhanh hơn so với các ứng dụng được xây dựng trên, Java / Node.js, chạy trên cùng một máy. Tôi …

81 programming-languages compilers

12

Tại sao đơn vị kích thước hình ảnh không phải là Pixel²?

Nếu bạn tính diện tích của một hình chữ nhật, bạn chỉ cần nhân chiều cao và chiều rộng và lấy lại đơn vị bình phương. Ví dụ: 5cm * 10cm = 50 cm² Ngược lại, nếu bạn tính kích thước của hình ảnh, bạn cũng nhân chiều cao và …

79 terminology

8

Tìm kiếm đồ thị: Breadth-first so với height-first

Khi tìm kiếm biểu đồ, có hai thuật toán dễ dàng: chiều rộng đầu tiên và chiều sâu trước (Thường được thực hiện bằng cách thêm tất cả các nút biểu đồ điều chỉnh vào hàng đợi (chiều rộng đầu tiên) hoặc ngăn xếp (chiều sâu trước)). Bây giờ, có …

78 algorithms graph-theory search-algorithms graph-traversal

5

Có bất kỳ mối quan hệ cụ thể nào giữa định lý không hoàn chỉnh của Gôdel, vấn đề tạm dừng và máy Turing phổ dụng không?

Tôi đã luôn nghĩ mơ hồ rằng câu trả lời cho câu hỏi trên là khẳng định dọc theo các dòng sau. Định lý không hoàn chỉnh của Gôdel và tính không ổn định của vấn đề tạm dừng vừa là kết quả tiêu cực về tính quyết định vừa …

75 computability logic halting-problem incompleteness

10

Làm thế nào để chứng minh rằng một ngôn ngữ không thường xuyên?

Chúng tôi đã học về lớp ngôn ngữ thông thường . Nó được đặc trưng bởi bất kỳ một khái niệm nào trong số các biểu thức chính quy, automata hữu hạn và ngữ pháp tuyến tính trái, vì vậy thật dễ dàng để chỉ ra rằng một ngôn ngữ …

75 formal-languages regular-languages proof-techniques reference-question

4

Những ứng dụng quan trọng / quan trọng trong thế giới thực sử dụng blockchain?

Là một phần của một số nghiên cứu liên quan đến blockchain mà tôi hiện đang thực hiện, khái niệm sử dụng chuỗi khối cho nhiều ứng dụng trong thế giới thực được đưa ra một cách lỏng lẻo. Do đó, tôi đề xuất các câu hỏi sau: Những ứng …

75 blockchain

2

Những gì Lamb Lambda trong trong Lamb Lambda tính toán là viết tắt của từ gì?

Gần đây tôi đã đọc về phép tính Lambda nhưng kỳ lạ là tôi không thể tìm thấy lời giải thích cho lý do tại sao nó được gọi là "Lambda" hoặc từ đó biểu thức đến từ đâu. Bất cứ ai có thể giải thích nguồn gốc của thuật …

74 terminology computation-models lambda-calculus history