Khoa học máy tính applied-theory

4

Dường như ở mọi nơi tôi nhìn thấy, các cấu trúc dữ liệu đang được triển khai bằng cách sử dụng các cây đỏ đen ( std::settrong C ++, SortedDictionarytrong C #, v.v.) Vừa mới bao phủ (a, b), cây đỏ-đen & AVL trong lớp thuật toán của tôi, đây …

46 data-structures search-trees applied-theory dictionaries balanced-search-trees

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

9

Tầm quan trọng của các ngôn ngữ nhạy cảm theo ngữ cảnh (Loại 1) là gì?

Thấy trong Chomsky Hierarchy Loại 3 ngôn ngữ có thể được công nhận bởi một máy nhà nước không có bộ nhớ bên ngoài (ví dụ, một automaton hữu hạn), Loại 2 bởi một máy nhà nước với một đơn stack (tức là một automaton đẩy xuống) và Gõ 0 …

34 formal-languages applied-theory computability automata formal-grammars

8

Có phải là một vấn đề để trở thành một lập trình viên không có kiến thức về độ phức tạp tính toán?

Tôi đã được chỉ định một bài tập trong trường đại học của tôi. Tôi đoán nó về nhà và cố gắng lập trình một thuật toán để giải nó, nó là thứ gì đó liên quan đến đồ thị, tìm các thành phần được kết nối, tôi đoán vậy. …

30 algorithms algorithm-analysis education applied-theory

2

Mã hóa ràng buộc 1-out-n cho người giải SAT

Tôi đang sử dụng một bộ giải SAT để mã hóa một vấn đề và là một phần của ví dụ SAT, tôi có các biến boolean trong đó có ý định rằng chính xác một trong những điều này là đúng và phần còn lại phải đúng là sai …

25 satisfiability sat-solvers applied-theory

10

Tại sao chủ nghĩa không xác định là một khái niệm hữu ích?

Máy tự động là một mô hình trừu tượng của một máy tính kỹ thuật số. Máy tính kỹ thuật số là hoàn toàn xác định; trạng thái của chúng bất cứ lúc nào cũng có thể dự đoán được duy nhất từ đầu vào và trạng thái ban đầu. …

23 automata nondeterminism applied-theory

3

Ứng dụng thực tế của Radix Sort

Về mặt lý thuyết, sắp xếp rất nhanh khi bạn biết rằng các khóa nằm trong một phạm vi giới hạn nhất định, ví dụ: giá trị trong phạm vi . Nếu bạn chỉ cần chuyển đổi các giá trị thành cơ sở mất thời gian , thực hiện sắp …

20 algorithms sorting applied-theory radix-sort

1

Sự xuất hiện tự nhiên của các đơn nguyên sử dụng khung lý thuyết thể loại

Hôm nay, một cuộc nói chuyện của Henning Kerstan ("Trace Semantics for Xác suất hệ thống chuyển đổi") lần đầu tiên đối mặt với tôi với lý thuyết thể loại. Ông đã xây dựng một khung lý thuyết để mô tả các hệ thống chuyển tiếp xác suất và hành …

18 applied-theory category-theory

1

Phổ biến băm trong thực tế

HHHh : U→ { 0 , góc , M- 1 }h:Bạn→{0,Giáo dục,M-1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x ) = h ( y) ] ≤ 1M∀x,y∈Bạn,x≠y⇒Prh∈H[h(x)= =h(y)]≤1M\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq …

14 data-structures education hash-tables applied-theory

1

Việc sử dụng tìm số lượng đường thẳng tối thiểu để bao gồm một tập hợp các điểm là gì?

Có một vấn đề phổ biến [1] [2] trong khoa học máy tính là tìm ra số lượng đường thẳng tối thiểu bao gồm một tập hợp các điểm nhất định trong 2D. Mặc dù tôi đã quét nhiều bài báo, nhưng không ai trong số họ có động lực …

12 reference-request computational-geometry applied-theory

5

Các ứng dụng hàng ngày của lý thuyết loại

Tôi muốn hiểu lý thuyết loại nhưng trước tiên tôi phải biết làm thế nào tôi có thể áp dụng nó. Có thể có nhiều ứng dụng không rõ ràng của lý thuyết loại ngoài các hệ thống loại trong lập trình? Có thể có các ứng dụng khác, giả …

10 type-theory applied-theory

2

Thuật toán Dijkstras có được sử dụng trong các hệ thống tìm đường hiện đại không?

Thuật toán của Dijkstra có được sử dụng trong các hệ thống tìm đường hiện đại như bản đồ Google hoặc satnav trong xe hơi của bạn không? Nếu không thì là gì?

10 algorithms graphs shortest-path applied-theory

2

Các ứng dụng trong thế giới thực cho vấn đề Steiner Tree?

Có các ứng dụng trong thế giới thực của Bài toán cây Steiner (STP) không? Tôi hiểu rằng thiết kế chip VSLI là một ứng dụng tốt của STP. Có bất kỳ ví dụ nào khác về các vấn đề trong thế giới thực mà mọi người có thể đề …

8 graph-theory reference-request optimization combinatorics applied-theory

5

Các ứng dụng thực tế của bản thể học là gì?

Tôi đã đọc nhiều bài báo và sách về bản thể luận và tôi đang cố gắng tìm ra cách chúng được sử dụng trong một dự án thực sự? Ví dụ, làm thế nào bản thể luận cho một robot cầu thủ bóng đá có thể được định nghĩa …

8 artificial-intelligence applied-theory knowledge-representation ontologies robotics

3

Định lý không hoàn chỉnh của Gôdels (đầu tiên) và vấn đề dừng lại - Làm thế nào hạn chế?

Khi tôi lần đầu tiên nghe về những điều này, tôi đã rất thích thú vì tôi nghĩ rằng nó thực sự đặt ra giới hạn cho toán học và khoa học nói chung. Nhưng làm thế nào thực tế có liên quan là những điều này? Đối với vấn …

8 computability logic halting-problem applied-theory

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