Khoa học máy tính reference-request

5

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

4

Đệ quy đuôi là gì?

Tôi biết khái niệm chung về đệ quy. Tôi đã bắt gặp khái niệm đệ quy đuôi trong khi nghiên cứu thuật toán quicksort. Trong video về thuật toán sắp xếp nhanh từ MIT lúc 18:30 giây, giáo sư nói rằng đây là thuật toán đệ quy đuôi. Tôi không …

52 algorithms reference-request recursion

6

Xử lý sự khó hiểu: Các vấn đề hoàn thành NP

Giả sử rằng tôi là một lập trình viên và tôi có một vấn đề hoàn chỉnh NP mà tôi cần phải giải quyết nó. Những phương pháp có sẵn để đối phó với các vấn đề NPC? Có một cuộc khảo sát hoặc một cái gì đó tương tự …

43 algorithms reference-request np-complete efficiency reference-question

6

Những gì sử dụng là nhóm, đơn sắc và vòng trong tính toán cơ sở dữ liệu?

Tại sao một công ty như Twitter sẽ quan tâm đến các khái niệm đại số như các nhóm, đơn sắc và nhẫn? Xem kho lưu trữ của họ tại github: twitter / aloltird . Tất cả những gì tôi có thể tìm thấy là: Việc triển khai Monoids cho …

38 reference-request discrete-mathematics database-theory applied-theory group-theory

3

Trường hợp xấu nhất

Tôi đang gặp khó khăn trong việc tìm kiếm các tài nguyên tốt đưa ra trường hợp xấu nhất trong thuật toán sắp xếp ổn định . Có ai biết bất kỳ nguồn lực tốt?O(nlnn)O(nln⁡n)O(n \ln n) Chỉ cần một lời nhắc nhở, tại chỗ có nghĩa là nó sử …

35 algorithms reference-request sorting in-place

2

Tính toán lượng tử lambda

Về mặt kinh điển, có 3 cách phổ biến để suy nghĩ về tính toán: máy Turing, mạch và lambda-tính toán (tôi sử dụng cách này như một cách bắt tất cả cho hầu hết các chế độ xem chức năng). Cả 3 đều là những cách hiệu quả để …

35 lambda-calculus quantum-computing reference-request computation-models

2

trên nền tảng về sự tàn khốc của việc giảng dạy khoa học máy tính

Dijkstra, trong bài tiểu luận về sự tàn khốc của việc thực sự giảng dạy khoa học máy tính , đưa ra đề xuất sau đây cho một khóa học lập trình giới thiệu: Một mặt, chúng tôi dạy những gì trông giống như tính toán vị ngữ, nhưng chúng …

33 reference-request programming-languages education didactics

1

Những thuật toán học máy nào có thể được sử dụng cho dự báo chuỗi thời gian?

Hiện tại tôi đang chơi xung quanh với các dự báo chuỗi thời gian (cụ thể là cho Forex). Tôi đã thấy một số bài báo khoa học về các mạng trạng thái tiếng vang được áp dụng cho dự báo Forex. Có các thuật toán học máy tốt khác …

28 reference-request machine-learning artificial-intelligence

2

"Đồng thời thực sự" nghĩa là gì?

Tôi thường nghe các cụm từ như 'ngữ nghĩa đồng thời thực sự' và 'tương đương đồng thời thực sự' mà không có bất kỳ tài liệu tham khảo nào. Những thuật ngữ đó có nghĩa gì và tại sao chúng quan trọng? Một số ví dụ về tương đương …

28 terminology reference-request concurrency

1

Tiệm cận của số lượng từ trong một ngôn ngữ thông thường có độ dài nhất định

Đối với ngôn ngữ thông thường , hãy đặt là số lượng từ trong có độ dài . Sử dụng dạng chính tắc Jordan (áp dụng cho ma trận chuyển tiếp không được quản lý của một số DFA cho ), người ta có thể chỉ ra rằng với , …

28 formal-languages reference-request regular-languages asymptotics combinatorics

1

Có một tính toán SKI đánh máy?

Hầu hết chúng ta đều biết sự tương ứng giữa logic kết hợp và phép tính lambda . Nhưng tôi chưa bao giờ thấy (có lẽ tôi chưa nhìn đủ sâu) tương đương với "tổ hợp đánh máy", tương ứng với phép tính lambda được gõ đơn giản. Liệu những …

26 reference-request logic lambda-calculus type-theory combinatory-logic

5

Có bộ lọc chống Bloom không?

Một Bloom lọc làm cho nó có thể để giữ một cách hiệu quả theo dõi cho dù giá trị khác nhau đã được gặp trong chế biến. Khi có nhiều mục dữ liệu thì bộ lọc Bloom có thể giúp tiết kiệm bộ nhớ đáng kể qua bảng băm. …

25 reference-request data-structures hash bloom-filters dictionaries

2

Có một thuật toán đôi khi hiệu quả để giải quyết #SAT không?

Đặt là một công thức boolean bao gồm các toán tử AND, OR và NOT thông thường và một số biến. Tôi muốn đếm số lượng đáp ứng nhiệm vụ cho B . Đó là, tôi muốn tìm số lượng các giá trị khác nhau của các giá trị thật …

24 complexity-theory reference-request satisfiability

7

Bắt đầu tìm hiểu về Lý thuyết hệ thống phân tán?

Cách tốt nhất mà bất cứ ai cũng có thể làm để có một giới thiệu tốt về lý thuyết về hệ thống phân tán, bất kỳ cuốn sách hoặc tài liệu tham khảo và chủ đề nào cũng cần được đề cập trước tiên và các yêu cầu để …

24 reference-request education distributed-systems

1

Phân biệt thủ tục quyết định so với người giải quyết SMT và người giải quyết định lý và người giải quyết ràng buộc

Những thuật ngữ đó làm tôi bối rối. Như tôi hiểu Bộ giải SAT: quyết định sự thỏa mãn của logic mệnh đề (sử dụng DPLL hoặc Tìm kiếm cục bộ). Thủ tục quyết định là một thủ tục để quyết định sự thỏa mãn của một lý thuyết bậc …

23 algorithms terminology reference-request decision-problem

Câu hỏi được gắn thẻ «reference-request»