Khoa học máy tính

Nó được viết trên Wikipedia rằng "... sắp xếp lựa chọn hầu như luôn vượt trội so với sắp xếp bong bóng và sắp xếp gnome." Ai đó có thể vui lòng giải thích cho tôi tại sao sắp xếp lựa chọn được coi là nhanh hơn sắp xếp bong …

28 algorithms  runtime-analysis  efficiency  sorting 

Tôi đang tìm kiếm một cấu trúc dữ liệu mà các cửa hàng một tập hợp các chuỗi trên một bộ ký tự , khả năng thực hiện các hoạt động sau đây. Chúng tôi biểu thị D ( S ) là cấu trúc dữ liệu lưu trữ các thiết …

28 data-structures  time-complexity  strings  stacks 

Tôi đang cố gắng để hiểu các phương pháp phân cụm. Những gì tôi nghĩ tôi đã hiểu: Trong học tập có giám sát, dữ liệu danh mục / nhãn được gán cho được biết trước khi tính toán. Vì vậy, các nhãn, lớp hoặc danh mục đang được sử …

28 machine-learning  data-mining  clustering 

Đố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 

Đưa ra một ví dụ về SAT, tôi muốn có thể ước tính mức độ khó để giải quyết trường hợp đó. Một cách là chạy các bộ giải hiện có, nhưng loại đó đánh bại mục đích ước tính độ khó. Một cách thứ hai có thể là tìm …

28 complexity-theory  satisfiability  heuristics 

Bộ kết hợp điểm cố định FIX (còn gọi là bộ kết hợp Y) trong phép tính lambda (chưa được đánh dấu) ( ) được định nghĩa là:λλ\lambda CỐ ĐỊNH≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Chúng tôi biết đặt hàng sau, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] và đặt hàng trước pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) và theo thứ tự đi qua tôn trọng. tuần tự hóa. in …

28 algorithms  binary-trees 

(Tôi là một học sinh có một số nền tảng toán học và tôi muốn biết cách đếm số lượng của một loại cây nhị phân cụ thể.) Nhìn vào trang Wikipedia cho Cây nhị phân , tôi nhận thấy điều này khẳng định rằng số cây nhị phân gốc …

28 combinatorics  binary-trees  discrete-mathematics 

Hãy xem xét các đồ thị có hướng. Chúng ta gọi một siêu sao nút khi và chỉ khi không có nút nào khác có thể đạt được từ nó, nhưng tất cả các nút khác có cạnh với . Chính thức:vvv vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 siêu sao …

28 algorithms  graphs 

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Sự khác biệt cơ bản giữa các ngữ nghĩa hoạt động nhỏ và lớn là gì? Tôi đang có một thời gian khó khăn để nắm bắt nó là gì và động lực để có hai.

28 semantics  operational-semantics  small-step-semantics 

Liên kết này cung cấp một thuật toán để tìm đường kính của một cây vô hướng bằng BFS / DFS . Tóm tắt: Chạy BFS trên bất kỳ nút nào trong biểu đồ, ghi nhớ nút u được phát hiện lần cuối. Chạy BFS từ u nhớ nút v …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

Tôi đang tham gia một khóa học phức tạp và tôi gặp rắc rối với việc giảm bớt giữa các vấn đề NPC. Làm thế nào tôi có thể tìm thấy giảm giữa các vấn đề? Có một mẹo chung mà tôi có thể sử dụng? Làm thế nào tôi …

27 complexity-theory  np-complete  proof-techniques  reductions 

Vấn đề tạm dừng nêu rõ không có thuật toán nào xác định xem chương trình đã cho có dừng hay không. Do đó, cần có các chương trình mà chúng tôi không thể biết liệu họ có chấm dứt hay không. Các ví dụ đơn giản nhất (nhỏ nhất) …

27 computability  turing-machines  halting-problem 

Độ phức tạp thời gian của việc tìm đường kính của đồ thị G=(V,E)G=(V,E)G=(V,E) gì? O(|V|2)O(|V|2){O}(|V|^2) O(|V|2+|V|⋅|E|)O(|V|2+|V|⋅|E|){O}(|V|^2+|V| \cdot |E|) O(|V|2⋅|E|)O(|V|2⋅|E|){O}(|V|^2\cdot |E|) O(|V|⋅|E|2)O(|V|⋅|E|2){O}(|V|\cdot |E|^2) Đường kính của đồ thị là cực đại của tập hợp khoảng cách đường đi ngắn nhất giữa tất cả các cặp đỉnh trong đồ thị.GGG Tôi …

27 algorithms  time-complexity  graph-theory