Khoa học máy tính

Đây có thể là một câu hỏi lố bịch, nhưng liệu có thể có một vấn đề thực sự trở nên dễ dàng hơn khi các đầu vào tăng kích thước? Tôi nghi ngờ bất kỳ vấn đề thực tế nào là như thế này, nhưng có lẽ chúng ta …

62 algorithms  asymptotics 

Tôi thường nghe mọi người nói về điện toán song song và điện toán phân tán, nhưng tôi có ấn tượng rằng không có ranh giới rõ ràng giữa 2 người và mọi người có xu hướng nhầm lẫn điều đó khá dễ dàng, trong khi tôi tin rằng nó …

61 terminology  distributed-systems  parallel-computing 

Có nhiều ứng dụng sử dụng trình tạo số ngẫu nhiên giả. Vì vậy, mọi người thực hiện một thứ mà họ nghĩ là tuyệt vời chỉ để tìm thấy sau đó nó còn thiếu sót. Gần đây, điều này đã xảy ra với trình tạo số ngẫu nhiên Javascript. …

60 pseudo-random-generators  random-number-generator 

Chúng tôi biết vấn đề tạm dừng (trên Turing Machines) là không thể giải quyết được đối với Turing Machines. Có một số nghiên cứu về việc trí óc con người có thể giải quyết vấn đề này tốt như thế nào, có thể được hỗ trợ bởi Turing Machines …

60 computability  turing-machines  halting-problem  human-computing 

Tôi đang cố gắng viết một tập lệnh tạo các biểu đồ ngẫu nhiên và tôi cần biết liệu một cạnh trong biểu đồ có trọng số có thể có giá trị 0 hay không. thực sự có ý nghĩa rằng 0 có thể được sử dụng như trọng số …

60 algorithms  graph-theory  graphs  weighted-graphs 

Tôi tin rằng tôi có một nắm bắt hợp lý về các phức tạp như , và .O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) Xét về danh sách, là một tra cứu liên tục, do đó, nó chỉ là người đứng đầu danh sách. là nơi tôi sẽ đi bộ toàn bộ danh sách và đang …

60 algorithms  complexity-theory  time-complexity  intuition 

Tôi có một chương trình tuyến tính số nguyên (ILP) với một số biến được dùng để biểu diễn các giá trị boolean. Các bị ràng buộc là số nguyên và giữ 0 hoặc 1 ( ).xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Tôi muốn thể hiện các phép toán boolean trên …

58 linear-programming  integer-programming 

Ai đó có thể giải thích sự khác biệt giữa các loại phụ thuộc và các loại sàng lọc? Theo tôi hiểu, một loại sàng lọc chứa tất cả các giá trị của một loại đáp ứng một vị ngữ. Có một tính năng của các loại phụ thuộc mà …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Nếu tôi có một danh sách các giá trị chính từ 1 đến 100 và tôi muốn sắp xếp chúng trong một mảng gồm 11 nhóm, tôi đã được dạy để tạo thành một hàm mod H= k mod 11 H=kmod 11 H = k \bmod \ 11 Bây giờ …

57 data-structures  hash  hash-tables  primes 

Tôi đã đọc trong hướng dẫn lập trình lắp ráp này rằng 8 bit được sử dụng cho dữ liệu trong khi 1 bit là tương đương, sau đó được sử dụng để phát hiện lỗi chẵn lẻ (do lỗi phần cứng hoặc nhiễu điện). Điều này có đúng không?

56 computer-architecture  numeral-representations 

Tôi có hiểu biết cấp cao về vấn đề và tôi hiểu rằng nếu nó hoàn toàn "được chứng minh" là đúng với một giải pháp được cung cấp, nó sẽ mở ra cơ hội giải quyết nhiều vấn đề trong lĩnh vực khoa học máy tính.P= NPP=NPP=NP Câu hỏi …

56 complexity-theory  p-vs-np 

Có tồn tại một tập hợp các cấu trúc ngôn ngữ lập trình trong một ngôn ngữ lập trình để nó được coi là Turing Complete không? Từ những gì tôi có thể nói từ wikipedia , ngôn ngữ cần hỗ trợ đệ quy, hoặc, dường như, phải có khả …

55 computability  programming-languages  turing-machines  turing-completeness 

Nhiều người dường như tin rằng , nhưng nhiều người cũng tin rằng điều này rất khó xảy ra. Không có một số mâu thuẫn với điều này? Nếu bạn cho rằng một bằng chứng như vậy là không thể, thì bạn cũng nên tin rằng các đối số âm …

55 complexity-theory  p-vs-np 

Tôi đã bắt gặp nhiều thuật toán sắp xếp trong quá trình học trung học. Tuy nhiên, tôi không bao giờ biết cái nào là nhanh nhất (đối với một mảng số nguyên ngẫu nhiên). Vì vậy, câu hỏi của tôi là: Đó là thuật toán sắp xếp nhanh nhất …

55 algorithms  time-complexity  optimization  sorting 

Tôi quan tâm đến sự phức tạp thời gian của một trình biên dịch. Rõ ràng đây là một câu hỏi rất phức tạp vì có nhiều trình biên dịch, tùy chọn trình biên dịch và các biến để xem xét. Cụ thể, tôi quan tâm đến LLVM nhưng sẽ …

54 compilers