Khoa học máy tính

Khi mã máy thực sự được thực thi bởi phần cứng và CPU, nó trông như thế nào? Nó sẽ trông giống như nhị phân, như trong các hướng dẫn được đại diện bởi các số và số 0, hoặc nó sẽ là một thứ gì đó được tạo thành …

21 computer-architecture  cpu 

Để đóng khung câu hỏi, trong khoa học máy tính, chúng tôi thường muốn tính toán sản phẩm của một số xác suất: P(A,B,C) = P(A) * P(B) * P(C) Cách tiếp cận đơn giản nhất chỉ đơn giản là nhân những con số này, và đó là điều tôi …

21 algorithm-analysis  probability-theory 

Làm cách nào tôi có thể biểu thị một cổng AND chỉ bằng các cổng XOR?

21 logic  boolean-algebra 

Một mảng hoặc vector chỉ là một chuỗi các giá trị. Họ chắc chắn có thể được thực hiện với một danh sách liên kết. Đây chỉ là một loạt các nút có con trỏ đến nút tiếp theo. Ngăn xếp và hàng đợi là hai loại dữ liệu trừu …

21 algorithms  data-structures  abstract-data-types 

Gần đây tôi đã nghe một sự tương tự thú vị nói rằng bằng chứng của Turing về tính không ổn định của vấn đề tạm dừng rất giống với nghịch lý thợ cắt tóc của Russell. Vì vậy, tôi đã tự hỏi: các nhà toán học cuối cùng đã …

21 computability  turing-machines  computation-models  halting-problem 

Tiêu đề nêu câu hỏi. Chúng tôi có đầu vào như một danh sách các yếu tố, mà chúng tôi có thể so sánh (xác định cái nào là lớn nhất ). Không có yếu tố nào có thể bằng nhau. Những điểm chính: So sánh không mang tính bắc …

21 algorithms  time-complexity  sets  transitivity 

Trong toán học, có nhiều bằng chứng tồn tại không mang tính xây dựng, vì vậy chúng ta biết rằng một đối tượng nào đó tồn tại mặc dù chúng ta không biết cách tìm ra nó. Tôi đang tìm kiếm kết quả tương tự trong khoa học máy tính. …

21 algorithms  proof-techniques 

Tôi muốn biết thuật toán nào là nhanh nhất để nhân hai số có n chữ số? Không gian phức tạp có thể được thư giãn ở đây!

21 algorithms  mathematical-programming 

Tôi chỉ bắt gặp điều sau đây: Tôi đặt nhiều bản sao giống hệt của hình ảnh png vào một thư mục và sau đó thử nén thư mục đó bằng các phương pháp sau: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz (cái …

21 data-compression 

Sau khi học Haskell và các ngôn ngữ FP không thuần túy khác, tôi quyết định đọc về lý thuyết Danh mục. Sau khi hiểu rõ về lý thuyết Danh mục, tôi bắt đầu suy nghĩ về cách sử dụng các khái niệm của lý thuyết thể loại để suy …

21 functional-programming  category-theory 

Vấn đề tổng hợp con là một vấn đề NP-đầy đủ cổ điển: Cho một danh sách các số và một mục tiêu , có một tập hợp con các số từ tổng hợp thành không?k L kLLLkkkLLLkkk Một sinh viên hỏi tôi liệu biến thể của vấn đề này …

21 complexity-theory  np-complete  reductions 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

21 artificial-intelligence 

Ở một số nơi trên thế giới, mọi người thường không có quyền truy cập (và do đó ít kiến ​​thức về) máy tính, và ngay cả khi họ có, phần cứng và phần mềm đã lỗi thời và việc sử dụng bị vấy bẩn do mất điện và như …

21 education 

Tôi đang tìm kiếm lời giải thích về cách người ta có thể chứng minh rằng hai mô hình tính toán là tương đương nhau. Tôi đã đọc sách về chủ đề này ngoại trừ bằng chứng tương đương bị bỏ qua. Tôi có một ý tưởng cơ bản về …

21 proof-techniques  computation-models  simulation 

Giả sử rằng bạn đã nhận được một đồng tiền công bằng và bạn muốn mô phỏng phân phối xác suất của việc liên tục lật một cái chết công bằng (sáu mặt). Ý tưởng ban đầu của tôi là chúng ta cần chọn các số nguyên thích hợp k,mk,mk,m …

21 probability-theory  randomness  sampling