Khoa học máy tính

Trong lớp Java của tôi, chúng tôi đang tìm hiểu về sự phức tạp của các loại bộ sưu tập khác nhau. Chúng tôi sẽ sớm thảo luận về cây nhị phân, mà tôi đã đọc lên. Cuốn sách nói rằng chiều cao tối thiểu của cây nhị phân là …

10 data-structures  binary-trees  discrete-mathematics  trees 

Là với truy cập oracle để lớn hơn chỉ ? Theo tôi hiểu chỉ là một máy turing có thể thực hiện truy vấn đến một máy khác nếu vậy có thể mô phỏng không? Có điều gì sai với lập luận này?NPNPNPNPNPNPNPNPNPNPNPNPNPNP^ {NP}NPNPNPNPNPNPNPNPNPNPNP^{NP}

10 complexity-theory 

Đối với đồ thị phẳng được nhúng trong mặt phẳng, được xác định bởi một tập hợp các phân đoạn dòng , mỗi phân đoạn được biểu thị bằng các điểm cuối của nó . Xây dựng cấu trúc dữ liệu DCEL cho phân khu phẳng, mô tả thuật toán, …

10 algorithms  data-structures  computational-geometry  doubly-connected-edge-list 

Tôi đã nghiên cứu hệ số tương quan xếp hạng của Spearman ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2−−−−−−−−−−−−−−−−−−−√ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . cho hai danh sách và . Sự phức tạp của thuật toán là gì?x1,…,xnx1,…,xnx_1, \dots, x_ny1,…,yny1,…,yny_1, \dots, y_n Vì thuật toán chỉ nên tính phép trừ, nên có thể là …

10 complexity-theory  time-complexity  space-complexity 

Có cách nào để ước tính số lượng dữ liệu được thêm vào web trên toàn thế giới mỗi giây không? Có nghiên cứu nào về điều này?

10 computer-networks 

Khử nhiễu là một phép biến đổi được mô tả lần đầu tiên vào năm 1972 bởi John C. Reynold để loại bỏ các hàm bậc cao hơn. Có các phép biến đổi thay thế (hiệu quả hơn không?) Để loại bỏ các hàm bậc cao hơn?

10 programming-languages  functional-programming 

Gần đây tôi đã tìm hiểu về cấu trúc dữ liệu của Cây hoa hồng, nhưng chỉ cần đưa ra datađịnh nghĩa Haskell và mô tả Wikipedia nhỏ về nó, tôi đã gặp một số khó khăn khi hiểu ứng dụng của cây Hoa hồng có thể có. Để tham …

10 trees 

Trong phân tích thuật toán, chúng tôi giả sử một Bộ xử lý ngẫu nhiên chung (RAM) bộ xử lý. Theo tôi biết, máy RAM không hiệu quả hơn máy Turing. Tất cả các thuật toán có thể được thực hiện trong máy Turing. Vì vậy, câu hỏi của tôi …

10 turing-machines  computation-models 

Nhiều trang web cung cấp cho các nhà khai thác Sobel như mặt nạ tích chập để làm mịn hình ảnh. Tuy nhiên, tôi chưa tìm thấy một trang web nào mô tả cách bạn có thể lấy được các toán tử từ các dẫn xuất đầu tiên một phần. …

10 image-processing  computer-vision 

Với một đạo diễn acyclic graph D=(V,A)D=(V,A)D = (V,A) , một đỉnh v∈Vv∈Vv \in V là một nguồn nếu nó indegree là zero, có nghĩa là nó có vòng cung chỉ đi. Có tồn tại một thuật toán thời gian tuyến tính để tìm một nguồn trong một biểu đồ …

10 algorithms  graph-theory 

Trên trang web này có nhiều biến thể về câu hỏi liệu các TM có thể quyết định vấn đề tạm dừng hay không, cho dù tất cả các TM khác hoặc các tập hợp con nhất định. Câu hỏi này có phần khác nhau. Nó hỏi liệu thực tế …

9 computability  turing-machines  undecidability  halting-problem 

Coq bao gồm các biểu thức let trong ngôn ngữ cốt lõi của nó. Chúng ta có thể dịch biểu thức let sang các ứng dụng như thế này: let x : t = v in b ~> (\(x:t). b) v Tôi hiểu rằng điều này không phải lúc nào …

9 type-theory  dependent-types  type-checking  coq 

Người ta thường nói (ví dụ, trong Wikipedia ) rằng thời gian chạy của tìm kiếm đầu tiên (BFS) trên biểu đồ là . Tuy nhiên, bất kỳ biểu đồ được kết nối nào cũng có và, ngay cả trong biểu đồ không được kết nối, BFS sẽ không bao …

9 algorithm-analysis  search-algorithms 

Tôi đang làm việc thông qua Sipser Book (ấn bản thứ 2) và tình cờ thấy ví dụ này, điều mà tôi không hiểu. Trong cuốn sách đó khẳng định rằng NFA này chấp nhận chuỗi rỗng, εϵ\epsilon . Ai đó có thể chạy tôi qua tại sao đây là …

9 regular-languages  finite-automata  nondeterminism 

Vấn đề là chứng minh hay bác bỏ sự tồn tại của CCC , st, |c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C ; |C|=32|C|=32|C| = 32 ; d(ci,cj) ≥ 2 , 1 ≤ i &lt; j ≤ 32d(cTôi,cj)≥2,1≤Tôi&lt;j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32 . ( ddd là viết tắt của khoảng cách hamming) Tôi đã cố …

9 information-theory  coding-theory  encoding-scheme