Khoa học máy tính

Lý thuyết phức tạp tính toán là phức tạp. Sự hiểu biết của tôi về thời gian đa thức liên quan đến các lớp phức tạp thời gian khác, chẳng hạn như thời gian đa thức không xác định. Điều này tốt cho các kỹ sư và nhà toán học, …

7 complexity-theory  terminology  time-complexity 

Cho một đồ thị lưỡng cực ( X, Y， E)(X,Y，E)(X,Y，E), trong đó không có kết hợp hoàn hảo, tôi muốn tìm một tập hợp con nhỏ nhất vi phạm điều kiện của Hall, nghĩa là một tập hợp số lượng tối thiểu S⊆ XS⊆XS \subseteq X mà | N( S) …

7 np-hard  matching  bipartite-matching 

Để cho ΣΣ\Sigma là một bảng chữ cái và để x+,x−1,…,x−n∈Σ∗x+,x1−,…,xn−∈Σ∗x^+,x^-_1,\dots,x^-_n \in \Sigma^*được chuỗi trên bảng chữ cái đó. Gọi một chuỗis∈Σ∗s∈Σ∗s \in \Sigma^* tốt nếusss là một phần sau của x+x+x^+ nhưng không phải là một trong những x−1,…,x−nx1−,…,xn−x^-_1,\dots,x^-_n. Được x+,x−1,…,x−nx+,x1−,…,xn−x^+,x^-_1,\dots,x^-_n, Tôi đang tìm kiếm chuỗi tốt nhất ngắn …

7 algorithms  regular-languages  strings  substrings  subsequences 

Theo này mô tả về trật tự giải quyết phương pháp của Python (MRO), hay còn gọi là C3 tuyến tính , thuật toán có thể được mô tả một cách đệ quy như sau: L(O) = <O> L(C) = <C> + merge(L(B1),..., L(Bn), <B1,...,Bn>) Ở đâu O là lớp …

7 algorithms  programming-languages  type-theory  object-oriented 

Có một định nghĩa tương đương cho lớp NLNL\mathsf{NL}với người xác minh. Những người xác minh là những máy Turing xác định chỉ có thể đọc băng chứng kiến ​​một lần theo một cách từ trái sang phải. Cho một chức năng f: N → Nf:N→Nf:\mathbb{N}\to\mathbb{N} chúng tôi nói rằng …

7 complexity-theory  turing-machines  nondeterminism 

Tôi có một ứng dụng cần tính toán hàng tỷ khoảng cách levenshtein giữa các cặp chuỗi. Các chuỗi là các chuỗi DNA ngắn (dài 70), chỉ bao gồm 4 ký tự. Ngoài ra, có thể giả định rằng một trong các chuỗi là cố định, nghĩa là chúng ta …

7 strings  edit-distance 

Đây là những gì được biết về vấn đề tạm dừng và bán quyết định: - Vấn đề tạm dừng nói rằng đối với đầu vào x và máy H đã cho, chúng ta không thể nói liệu máy H có dừng hay không trên đầu vào x. Một ngôn …

7 computability  turing-machines  halting-problem  semi-decidability 

Tôi đang xem Ghi chú của Jeffrey Erickson về định lý chính (trang 10). Phần (b) của định lý nói rằng nếu , và thì T (n) là . Nhưng tôi nhận được một kết quả khác.T(n)=aT(nb)+f(n)T(n)=aT(nb)+f(n)T(n) = aT(\frac{n}{b})+f(n)af(nb)=kf(n)af(nb)=kf(n)af(\frac{n}{b}) = kf(n)k>1k>1k>1Θ(nlogb(a))Θ(nlogb⁡(a))\Theta(n^{\log_b(a)}) Sử dụng cây đệ quy, chúng ta cóT(n)=∑i=0logb(n)aif(nbi)=∑k=0logb(n)kif(n).T(n)=∑i=0logb⁡(n)aif(nbi)=∑k=0logb⁡(n)kif(n).T(n) = …

7 recurrence-relation 

Chúng tôi biết vấn đề dừng là ở cấp độ thứ bậc của hệ thống phân cấp. Chúng tôi biết rằng Vấn đề Tổng số nằm ở cấp độ thứ hai của hệ thống phân cấp. Một số ví dụ về các vấn đề ở cấp thứ 3 (hoặc cao …

7 computability  reference-request 

Cách đây một thời gian, tôi nghĩ về Stack Overflow, tôi đã thấy ai đó nói rằng chữ Haskell có thể được coi là các chức năng không hoạt động trên bất cứ thứ gì. Điều này có ý nghĩa với tôi nhưng tôi nhớ người khác kịch liệt không …

7 type-theory  functional-programming 

Không phải tất cả SAT bình đẳng là một vấn đề NP Complete. Bây giờ chúng ta hãy xem xét một biến thể khác của vấn đề. Đưa ra một vấn đề Không phải tất cả bằng SAT (NAESAT) (số lượng chữ được phép tùy ý cho mỗi mệnh đề) …

7 complexity-theory 

Vì vậy, tôi đang cố gắng để có được vòng đầu Curry-Howard. (Tôi đã thử nó nhiều lần, nó chỉ không gelling / có vẻ quá trừu tượng). Để giải quyết vấn đề cụ thể, tôi đang làm việc thông qua một vài hướng dẫn của Haskell được liên kết …

7 type-theory  curry-howard  haskell 

Tôi quan tâm đến mối quan hệ tương đương alpha trong các ngôn ngữ có các ràng buộc thay đổi, chẳng hạn như: t := x:y 'x belong to y' | bot 'False' | t -> t 'implication' | Ax.t 'forall x, t' Hoặc phép tính lambda thuần túy: t …

7 logic  lambda-calculus  first-order-logic 

Được biết, bất kỳ máy Turing nào (xác định, một lần nhấn) chạy trong thời gian , sẽ quyết định một ngôn ngữ thông thường (ví dụ: xem liên kết này ). Do đó, tồn tại một máy Turing tương đương chạy trong thời gian . Nói cách khác, nếu …

7 complexity-theory  turing-machines  time-complexity 

Tôi cần chứng minh rằng TAUT hoàn thành coNP. Tôi đã chỉ ra rằng bằng cách giảm thành . Tuy nhiên, tôi không thể tìm ra cách chứng minh rằng mọi vấn đề trong coNP có thể được giảm xuống thành trong thời gian đa thức. Để làm điều đó, …

7 complexity-theory  np-complete  proof-techniques  co-np