Khoa học máy tính

Tôi đang cố gắng hiểu làm thế nào bit chẵn lẻ thứ 2 hoặc byte được đặt trong RAID 6. Tôi đang đọc một bài báo của H. Peter Anvin , và nó đi vào đại số trường Galois, điều này hơi mới đối với tôi. Dù sao, một đại …

7 operating-systems  storage  error-correcting-codes 

Có thể chỉ ra rằng nắp đỉnh tối thiểu trong biểu đồ lưỡng cực có thể được giảm đến một vấn đề dòng chảy tối đa? Hoặc đến bài toán cắt tối thiểu (sau đó tuân theo định lý cắt tối thiểu dòng chảy tối đa, yêu cầu giữ). Theo …

7 complexity-theory  graph-theory  reductions  network-flow 

Đây là một ví dụ trong bài giảng của tôi. Hàm này có độ phức tạp thời gian không? Bởi vì trường hợp xấu nhất là chức năng đi vào nhánh và 2 vòng lặp lồng nhau với độ phức tạp thời gian là và , vì vậy nó là …

7 complexity-theory  time-complexity  algorithm-analysis  runtime-analysis 

Tôi cần chứng minh rằng là tập con của liên kết cho tất cả .N PNP\mathsf{NP}D T I M E (2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c > 1c>1c > 1 Đặt là một vấn đề ngôn ngữ / quyết định trong . Sau đó có thể được quyết định được đưa ra một giấy chứng …

7 complexity-theory  check-my-proof 

Tôi đang đọc "Giới thiệu về ngôn ngữ chính thức và Automata" được viết bởi Peter Linz và sau khi đọc năm chương đầu tiên tôi gặp phải vấn đề với các ngữ pháp đơn giản và thường xuyên (đặc biệt là tuyến tính) rất giống nhau. Mối quan hệ …

7 regular-languages  automata  context-free  formal-grammars 

Giải bài toán dòng chảy tối đa mang lại một lần cắt tối thiểu đủ điều kiện. Nhưng tôi muốn một vài (có thể hàng trăm) vết cắt nhỏ làm ứng cử viên. Các vết cắt không phải là vết cắt tối thiểu, miễn là chúng nhỏ (trọng lượng). Làm …

7 algorithms  graphs  graph-theory  optimization  approximation 

Để cho G = ( V, E)G= =(V,E)G = (V,E)là một đồ thị có đỉnh, không có đỉnh nào bị cô lập và cạnh, trong đó . Chứng tỏ rằng chứa ít nhất hai đỉnh bậc một.nnnn - 1n-1n−1n ≥ 2n≥2n \geq 2GGG Tôi đã cố gắng giải quyết vấn …

7 graph-theory  proof-techniques 

Bài tập là Cho một tập hợp điểm và một điểm . Quyết định trong O (n) thời gian nếu p là một đỉnh của đa giác lồi được hình thành từ các điểm của S .SSSpppO(n)O(n)O(n)pppSSS Vấn đề là tôi hơi bối rối với độ phức tạp thời gian …

7 algorithms  computational-geometry 

Với ba ma trận chúng tôi muốn kiểm tra xem . Giả sử rằng các phép toán số học và mất thời gian không đổi khi áp dụng cho các số từ .A , B , C∈Zn × nA,B,C∈Zn×nA, B,C \in \mathbb{Z}^{n \times n}Một B ≠ CAB≠CAB \neq C+++-−-ZZ\mathbb{Z} Làm …

7 algorithms  probabilistic-algorithms  matrices  linear-algebra 

Tôi hiện đang xem xét các tiềm năng của điện toán đám mây liên quan đến hiệu quả năng lượng và CNTT xanh. Liên quan đến đánh giá này, tôi đang xem xét các kỹ thuật để tăng hiệu quả sử dụng năng lượng trong các trung tâm dữ liệu …

7 reference-request  computer-architecture  operating-systems  computer-networks  power-consumption 

Như vậy, làm thế nào để bạn chứng minh rằng SAT hoàn thành NP? Tôi biết ý nghĩa của NP-Complete là gì, vì vậy tôi không cần giải thích về điều đó. Điều tôi muốn biết là làm thế nào để bạn biết rằng một vấn đề, chẳng hạn như …

7 complexity-theory  satisfiability 

Câu hỏi này đã được nhắc nhở bởi các cấu trúc dữ liệu hiệu quả để xây dựng trình kiểm tra chính tả nhanh . Với hai chuỗi , chúng tôi nói rằng họ -close nếu họ Damerau-khoảng cách levenshtein ¹ là nhỏ, tức là cho một cố định . …

7 algorithms  time-complexity  strings  word-combinatorics  string-metrics 

Đặt là hai số nguyên từ khoảngĐặt là số nguyên tố ngẫu nhiên vớiChứng minh rằng \ text {Pr} _ {p \ in \ mathsf {Primes}} \ {a \ Equiv b \ pmod {p} \} \ le c \ ln (n) / (n ^ {c-1}).a≠ba≠ba \neq b[1,2n].[1,2n].[1, 2^n].ppp1≤p≤nc.1≤p≤nc. 1 \le …

7 probability-theory  information-theory  coding-theory  number-theory 

Tôi bối rối về tuyên bố sau: "Các giá trị duy nhất trong phép tính lambda chưa được đánh dấu là tóm tắt lambda". Tại sao các điều khoản khác không phải là giá trị? Nó có ý nghĩa gì đối với một trừu tượng lambda là một giá trị? …

7 logic  lambda-calculus 

Để cho AP=(Q,Σ,δ,0,{m})AP=(Q,Σ,δ,0,{m})A_P = (Q,\Sigma,\delta,0,\{m\})các automaton chuỗi phù hợp cho mô hìnhP∈ΣmP∈ΣmP \in \Sigma^m, đó là Q={0,1,…,m}Q={0,1,…,m}Q = \{0,1,\dots,m\} δ(q,a)=σP(P0,q⋅a)δ(q,a)=σP(P0,q⋅a)\delta(q,a) = \sigma_P(P_{0,q}\cdot a) cho tất cả q∈Qq∈Qq\in Q và a∈Σa∈Σa\in \Sigma với σP(w)σP(w)\sigma_P(w) độ dài của tiền tố dài nhất của PPP đó là một hậu tố của www, đó …

7 algorithms  finite-automata  strings  searching