Khoa học máy tính

Điều này xuất hiện trong khi tôi đang cố gắng trả lời câu hỏi này về Tối thiểu hóa chiều dài dây . Tôi sẽ gọi đây là vấn đề "hôn nhân đa thê", nhưng internet, vì vậy mèo con. Yay! Giả sử chúng ta có mèo con mà cần …

14 algorithms  complexity-theory 

Có thể sử dụng một thuật toán sắp xếp với một so sánh không bắc cầu, và nếu có, tại sao tính chuyển đổi được liệt kê như một yêu cầu để sắp xếp các bộ so sánh? Lý lịch: Một thuật toán sắp xếp thường sắp xếp các phần …

14 algorithms  sorting  quicksort  transitivity 

Tôi có hai bộ lớn của các số nguyên và . Mỗi bộ có khoảng một triệu mục nhập và mỗi mục là một số nguyên dương dài tối đa 10 chữ số. AAABBB Thuật toán tốt nhất để tính và gì? Nói cách khác, làm thế nào tôi có …

14 algorithms  data-structures  sets 

Hãy để là một đồ thị, và để cho và là hai đỉnh của . Chúng ta có thể có hiệu quả lấy mẫu một ngắn nhất - con đường thống nhất và độc lập một cách ngẫu nhiên từ tập tất cả các con đường ngắn nhất giữa và …

14 graph-theory  reference-request  shortest-path  sampling 

Nửa thập kỷ trước, tôi đang ngồi trong một lớp cấu trúc dữ liệu nơi giáo sư cung cấp tín dụng bổ sung nếu bất kỳ ai cũng có thể đi qua một cây mà không sử dụng đệ quy, ngăn xếp, xếp hàng, v.v. (hoặc bất kỳ cấu trúc …

14 algorithms  trees  recursion 

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 

Tôi đã xem trang web này và nó nói rằng mọi người đã tìm thấy giải pháp cho các chuyến tham quan TSP chỉ cao hơn 0,031% so với tour tối ưu. Không tìm thấy tour du lịch tối ưu làm sao họ biết nó dài bao nhiêu?

14 complexity-theory  approximation 

Thuật toán nào bạn sẽ sử dụng để tìm đường đi ngắn nhất của đồ thị, được nhúng trong mặt phẳng euclide, sao cho đường dẫn đó không chứa bất kỳ giao điểm nào (trong phần nhúng)? Ví dụ: trong biểu đồ bên dưới, bạn muốn đi từ . Thông …

14 algorithms  graphs  shortest-path  graph-traversal  weighted-graphs 

Có sự khác biệt nào giữa hai người không? Theo sách của Ullman , trình biên dịch chuyển đổi một ngôn ngữ sang ngôn ngữ khác (thường là cấp độ thấp) và trình biên dịch cũng vậy. Hai người khác nhau như thế nào?

14 terminology  compilers 

Ai đó có thể giới thiệu cho tôi các bài báo đánh giá ngang hàng nghiên cứu các ưu điểm hoặc nhược điểm của việc viết mã theo kiểu chức năng không? Có bài báo nào thảo luận về các ứng dụng của Lambda Tính trong các lĩnh vực như …

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Tôi nhận ra automata đẩy xuống không xác định có thể là một sự cải tiến so với các yếu tố quyết định vì chúng có thể "chọn" giữa một số tiểu bang và có một số ngôn ngữ không ngữ cảnh không thể được chấp nhận bởi một đẩy …

14 automata  pushdown-automata  nondeterminism 

Tôi biết rằng chúng ta có thể giảm thiểu DFA bằng cách tìm và hợp nhất các trạng thái tương đương, nhưng tại sao chúng ta không thể làm như vậy với NFA? Tôi không tìm kiếm một bằng chứng hay bất cứ điều gì tương tự - trừ khi …

14 complexity-theory  finite-automata  nondeterminism 

Được biết, ngôn ngữ của các từ chứa số 0 và 1 bằng nhau là không thường xuyên, trong khi ngôn ngữ của các từ chứa số 001 và 100 bằng nhau là thường xuyên ( xem tại đây ). Cho hai từ , có thể quyết định được không …

14 regular-languages  undecidability 

Sự cố Với máy Turing có thời gian chạy liên quan đến độ dài đầu vào , thời gian chạy của M \ in {O} (f (n)) ?MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) Là vấn đề trên có thể quyết định đối với một số cặp và f không cần thiết? Một giải …

14 complexity-theory  time-complexity 

Tôi cần xây dựng đồ thị giãn nở d-thường cho một số d nhỏ cố định (như 3 hoặc 4) của n đỉnh. Phương pháp dễ nhất để làm điều này trong thực tế là gì? Xây dựng một đồ thị d-thường ngẫu nhiên, được chứng minh là một mở …

14 graph-theory  combinatorics  cryptography  discrete-mathematics  expanders