Khoa học máy tính

2

Làm thế nào để chứng minh rằng phép nhân ma trận của hai ma trận 2x2 không thể được thực hiện trong ít hơn 7 phép nhân?

Trong phép nhân ma trận của Strassen, chúng tôi nêu một thực tế kỳ lạ (ít nhất là với tôi) rằng phép nhân ma trận của hai 2 x 2 mất 7 phép nhân. Câu hỏi: Làm thế nào để chứng minh rằng không thể nhân hai ma trận 2 …

19 algorithms complexity-theory lower-bounds

6

Là tạm dừng vấn đề tính toán cho các đầu vào / giả định cụ thể

Từ hiểu biết của tôi về bằng chứng cho thấy vấn đề tạm dừng là không thể tính toán được, vấn đề này không thể tính toán được vì nếu chúng ta có chương trình P (x) tính toán nếu chương trình x tạm dừng hay không, chúng ta đã …

19 halting-problem

1

Tại sao không lập trình chức năng nghiên cứu cây động?

Cây động đóng vai trò quan trọng trong việc giải quyết các vấn đề như dòng chảy mạng, đồ thị động, vấn đề tổ hợp ("Cây năng động trong thực tiễn" của Tarjan và Werneck) và gần đây hợp nhất từ điển ("Từ điển hợp nhất đơn giản" của Adam …

19 data-structures trees functional-programming

2

Bộ cơ sở cho tính toán tổ hợp

Người ta biết rằng các tổ hợp S và K tạo thành một cơ sở được thiết lập cho phép tính tổ hợp, theo nghĩa là tất cả các tổ hợp khác có thể được biểu thị theo nghĩa của chúng. Ngoài ra còn có cơ sở B, C, K, …

19 lambda-calculus combinatory-logic

1

Là sự bình đẳng ngôn ngữ cho ngữ pháp không ngữ cảnh tuyến tính có thể quyết định?

Chúng ta hãy xem xét hai ngữ pháp không ngữ cảnh và G 2 và đặt câu hỏi sau: L ( G 1 ) = L ( G 2 ) , nghĩa là hai ngữ pháp có tương đương không?G1G1G_1G2G2G_2L ( G1) = L ( G2)L(G1)= =L(G2)L(G_1) = L(G_2) Nói …

19 formal-languages context-free formal-grammars

4

Có thể chứng minh bằng mâu thuẫn làm việc mà không có luật loại trừ giữa?

Gần đây tôi đã suy nghĩ về tính hợp lệ của bằng chứng bằng mâu thuẫn. Tôi đã đọc trong vài ngày qua những điều về logic trực giác và các định lý của Godel để xem liệu chúng có cung cấp cho tôi câu trả lời cho câu hỏi …

19 logic first-order-logic propositional-logic incompleteness

6

Có phải mọi vấn đề NP-hard đều có thể tính toán được không?

Có yêu cầu rằng một vấn đề NP-hard phải được tính toán? Tôi không nghĩ vậy, nhưng tôi không chắc.

19 complexity-theory computability np-hard

6

Tại sao các giao dịch không được cam kết phải được hoàn tác theo thứ tự ngược?

Tôi có một nhật ký cơ sở dữ liệu trong đó một số giao dịch giành chiến thắng (chúng được cam kết trước khi sụp đổ) và một số mất (chưa được cam kết). Chúng tôi đã học được trong lớp rằng hành động của người thua cuộc phải được …

19 concurrency databases

3

Thuật toán sắp xếp không gian liên tục hiệu quả nhất là gì?

Tôi đang tìm kiếm một thuật toán sắp xếp cho các mảng int không phân bổ bất kỳ byte nào ngoài kích thước của mảng và bị giới hạn theo hai hướng dẫn: SWAP: hoán đổi chỉ số tiếp theo với chỉ số hiện tại; DI CHUYỂN: di chuyển con …

19 algorithms sorting in-place

12

Cấu trúc dữ liệu hoặc thuật toán để nhanh chóng tìm thấy sự khác biệt giữa các chuỗi

Tôi có một mảng gồm 100.000 chuỗi, tất cả độ dài . Tôi muốn so sánh từng chuỗi với mọi chuỗi khác để xem liệu hai chuỗi có khác nhau 1 ký tự không. Ngay bây giờ, khi tôi thêm từng chuỗi vào mảng, tôi đang kiểm tra chuỗi đó …

19 algorithms data-structures program-optimization comparison

1

Ai đã đặt ra thuật ngữ học máy trên mạng?

Tôi đang cố gắng tìm ra ai đã đặt ra thuật ngữ "học máy". Một câu hỏi phụ trợ là từ đâu Arthur Samuel được trích dẫn khi xác định lĩnh vực "học máy" vào năm 1959 là: lĩnh vực nghiên cứu mang lại cho máy tính khả năng học …

19 terminology reference-request machine-learning history

3

Tại sao lớp NP-Complete lại quan trọng so với NP-hard?

Tôi đang nghiên cứu độ phức tạp tính toán và tôi đã tự hỏi tại sao các vấn đề NP-Complete (NPC) lại là một lớp quan trọng. Tôi thấy rõ ràng lý do tại sao chúng tôi quan tâm đến việc hiển thị một vấn đề NP nhất định là …

19 complexity-theory np-complete

2

Các vấn đề có thể đòi hỏi thời gian bậc hai

Tôi đang tìm kiếm các ví dụ về vấn đề có giới hạn dưới của ) cho đầu vào . xΩ ( | x |2Ω(|x|2\Omega(|x|^2xxx Vấn đề cần phải có các thuộc tính sau: Ω ( n2)Ω(n2)\Omega(n^2)Bằng chứng thời gian chạy cho bất kỳ thuật toán nào - ưu tiên …

19 complexity-theory turing-machines time-complexity lower-bounds

1

Có triển khai khóa phần cứng mà không cần kiểm tra và thiết lập hoặc trao đổi không?

Khóa thường được thực hiện thông qua kiểm tra và thiết lập và trao đổi hướng dẫn cấp độ máy. Có những triển khai khác không sử dụng chúng? Ngoài ra, chúng ta có thể nói rằng tất cả các giải pháp cấp phần cứng cho vấn đề phần quan …

19 concurrency synchronization mutual-exclusion

1

Độ phức tạp của việc tìm hệ số nhị thức bằng một số

Giả sử bạn đang nhận được một số (sử dụng bit O ( log m ) trong mã hóa nhị phân).mmmO(logm)O(log⁡m)O(\log m) Làm thế nào nhanh chóng, bạn có thể tìm thấy (hoặc xác định như vậy không tồn tại) ?n , k ∈ N , 1 < k ≤ …

19 algorithms combinatorics