Khoa học máy tính

nếu tôi có một ngữ pháp có một sản phẩm chứa cả đệ quy trái và bao thanh toán như F→ FB một | c D S| cF→FBmột|cDS|c\qquad \displaystyle F \to FBa \mid cDS \mid c cái nào được ưu tiên, đệ quy trái hay bao thanh toán?

8 formal-languages  formal-grammars  parsers  left-recursion 

Chúng ta biết rằng chế độ trị không có vấn đề hoàn toàn, vì nó sẽ mâu thuẫn với định lý phân cấp không gian. Nhưng: Có vấn đề hoàn chỉnh cho từng cấp của hệ thống phân cấp này không?p o l yLpolyLpolyL Nói chính xác: Lớp có vấn …

8 complexity-theory  reductions  space-complexity 

Ở đây tôi thực sự quan tâm đến việc hạ thấp các rào cản đối với giáo dục toán học. Mục tiêu: Tôi muốn thấy được tạo cho cộng đồng JavaScript, tương đương với các thư viện tính toán hiệu năng cao và khoa học dựa trên Python (các danh …

8 programming-languages  compilers  performance 

Tại sao bạn nghĩ rằng hầu hết các giảng viên C ++ giảng dạy khoa học máy tính cấp đại học không khuyến khích hoặc thậm chí cấm sử dụng chuỗi cho văn bản, thay vào đó yêu cầu sinh viên sử dụng mảng ký tự? Tôi cho rằng phương …

8 education  arrays  strings 

Vì vậy, tôi biết rằng có nghĩa là logarit lặp, vì vậy = cho đến .log∗log∗\log^*log∗(3)log∗⁡(3)\log^*(3)(loglogloglog...)(log⁡log⁡log⁡log...)(\log\log\log\log...)n≤1n≤1n \leq 1 Tôi đang cố gắng giải quyết như sau: Là log∗(22n)log∗⁡(22n)\log^*(2^{2^n}) ít , ít hoặc củaoooωω\omegaΘΘ\Theta log∗(n)2log∗⁡(n)2{\log^*(n)}^2 Về các chức năng bên trong, lớn hơn nhiều so với , nhưng bình phương đang …

8 asymptotics  landau-notation  mathematical-analysis 

Giả sử tôi có hai công thức ΦΦ\Phi và ΨΨ\Psi (trên cùng một tập hợp các mệnh đề nguyên tử Một PMộtPAP) trong CTL . Chúng tôi có điều đóΦ ≡ ΨΦ≡Ψ\Phi \equiv \Psi iff SmộttTS( Φ ) = SmộttTS( Ψ )SmộttTS(Φ)= =SmộttTS(Ψ)Sat_{TS}(\Phi) = Sat_{TS}(\Psi) cho tất cả các hệ …

8 logic  model-checking  computation-tree-logic 

Tôi đang cố gắng tấn công TAOCP một lần nữa, vì sự nặng nề theo nghĩa đen của các tập tôi gặp khó khăn khi thực hiện nó một cách nghiêm túc. Trong TAOCP 1 Knuth viết, trang 8, các khái niệm cơ bản :: Để cho AAAlà một tập …

7 formal-languages  turing-machines  computation-models 

Trong trường hợp xấu nhất, sự thỏa mãn của Boolean (giả sử P! = NP) mất thời gian theo cấp số nhân. Tuy nhiên, người giải SAT hiện đại sử dụng các biến thể của DPLL, có thể giải quyết đủ các trường hợp có ích trong thực tế. Một …

7 satisfiability  randomized-algorithms  3-sat  sat-solvers 

Là n!2!⋅4!⋅8!…(n/2)!=O(4n)n!2!⋅4!⋅8!…(n/2)!=O(4n)\frac {n!} {2!\cdot 4!\cdot 8!\dots (n/2)!}=O(4^n)? Tôi thực sự bế tắc và tôi có xu hướng tin đó là sự thật, nhưng tôi không biết làm thế nào để chứng minh điều đó. Bất kỳ trợ giúp sẽ được đánh giá cao!

7 asymptotics  factorial  big-o-notation 

Cho là một số nguyên dương nnnvà số nguyên a1,b1,…,an,bna1,b1,…,an,bna_1,b_1,\dots,a_n,b_n với ai≤biai≤bi a_i\leq b_i cho mỗi iii. Sự phức tạp của việc quyết định xem có tồn tại số nguyên khôngc1,…,cnc1,…,cnc_1,\dots,c_n như vậy mà ai≤ci≤biai≤ci≤bia_i\leq c_i\leq b_i cho tất cả iii và |ci−cj|≥2|ci−cj|≥2|c_i-c_j|\geq 2 cho tất cả i,ji,ji,j? Những gì …

7 algorithms  np-hard 

Tôi thấy một hình ảnh mô tả mối quan hệ của P, NP, NP-Hard và NP-Complete trông như thế này: https://en.wikipedia.org/wiki/NP-hardness#/media/File:P_np_np-complete_np-hard.svg Tôi tự hỏi nếu sau đây là có thể? Điều đó có nghĩa là, P = NP, nhưng không phải tất cả chúng đều nằm trong NP-Hard: Chỉnh sửa: …

7 np-complete  np-hard  np 

Cho một đồ thị được kết nối, có hướng , các đỉnh và một màu, st và có màu đen và tất cả các đỉnh khác có màu đỏ hoặc màu xanh , có thể tìm thấy một đường dẫn đơn giản từ đến với nhiều màu đỏ hơn đỉnh …

7 complexity-theory  graphs 

Dưới đây là sự đơn giản hóa của tôi về một phần của dự án nghiên cứu lớn hơn về các mạng Bayes không gian: Giả sử một biến là " -local" trong một chuỗikkkC∈3-CNFC∈3-CNFC \in 3\text{-CNF} nếu có ít hơn kkk mệnh đề giữa mệnh đề đầu tiên và …

7 np-hard  satisfiability  polynomial-time  3-sat  2-sat 

Chúng ta biết rằng chuỗi con chung dài nhất của hai chuỗi có thể được tìm thấy trong độ phức tạp thời gian . Một giải pháp có thể được tìm thấy chỉ trong thời gian tuyến tính?O (N2)Ôi(N2)\mathcal O(N^2)

7 algorithms  time-complexity  strings  longest-common-substring 

Thuật toán của Brzozowki được trích dẫn rộng rãi. Một số câu hỏi ở đây đưa ra ví dụ hoặc thảo luận về sự phức tạp của nó. Nhưng tôi đã không thể tìm thấy một bằng chứng chính xác cho thuật toán. Làm thế nào để chúng tôi chứng …

7 formal-languages  automata  finite-automata