Khoa học máy tính

Nếu là thường xuyên, nó có theo là thường xuyên không?A 2A2A^2 AAA Nỗ lực của tôi về một bằng chứng: Có, vì mâu thuẫn cho rằng AAA không thường xuyên. Rồi Một 2 = Một ⋅ MộtA2=A⋅AA^2 = A \cdot A . Vì việc ghép hai ngôn ngữ không …

12 formal-languages  regular-languages  closure-properties 

Tôi đã xem xét khóa học về lý thuyết tính toán. Tôi có thể hiểu các khái niệm đánh số của Gôdel, nhưng không thể hiểu tầm quan trọng của nó trong Lý thuyết tính toán. Bất cứ ai có thể xin vui lòng chỉ ra một số tài liệu …

12 formal-languages  turing-machines 

Tôi đã nghe câu hỏi phỏng vấn này hỏi rất nhiều và tôi hy vọng sẽ có một số ý kiến ​​về câu trả lời tốt có thể là gì: Bạn có một tệp lớn hơn 10 GB và bạn muốn tìm hiểu yếu tố nào xảy ra nhiều nhất, …

12 algorithms  arrays 

Hãy xem xét một chuỗi lần lật của một đồng xu không thiên vị. Hãy biểu thị giá trị tuyệt đối của số chênh lệch giữa số lượng người đứng đầu trên đuôi nhìn thấy trong lần đầu tiên flips. Xác định . rằng và .nnnHiHiH_iiiiH=maxiHiH=maxiHiH=\text{max}_i H_iE[Hi]=Θ(i√)E[Hi]=Θ(i)E[H_i]=\Theta ( \sqrt{i} )E[H]=Θ(n−−√)E[H]=Θ(n)E[H]=\Theta( …

12 probability-theory  randomized-algorithms 

Tôi đang cố gắng để hiểu ngữ pháp nhạy cảm ngữ cảnh. Tôi hiểu tại sao ngôn ngữ như { W w | w ∈ A*}{ww|w∈Một*}\{ww \mid w \in A^*\} { anbncn| N ∈ N }{mộtnbncn|n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} không phải là bối cảnh miễn phí, nhưng những gì …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Tôi đã xem qua định nghĩa Wikipedia về ngôn ngữ nhạy cảm ngữ cảnh và tôi đã tìm thấy điều này: Mỗi thể loại ngôn ngữ là một tập hợp con đúng của danh mục trực tiếp trên nó. Bất kỳ máy tự động và bất kỳ ngữ pháp nào …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Gần đây tôi đang nghiên cứu về thiết kế Trình biên dịch. Tôi đã biết về hai loại ngữ pháp một là ngữ pháp LL và loại khác là ngữ pháp LR. Chúng ta cũng biết một sự thật rằng mỗi ngữ pháp LL là LR ngữ pháp LL là …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

Cho a,b,c,d∈Na,b,c,d∈Na,b,c,d \in \mathbb N và b,d∉{0}b,d∉{0}b,d \notin \{0\} , ab&lt;cd⟺ad&lt;cbab&lt;cd⟺ad&lt;cb \begin{eqnarray*} \frac a b < \frac c d &\iff& ad < cb \end{eqnarray*} Câu hỏi của tôi là: Cho a,b,c,da,b,c,da,b,c,d Giả sử chúng ta có thể quyết định x&lt;y∈Zx&lt;y∈Zx < y \in \mathbb Z trong O(|x|+|y|)O(|x|+|y|)\mathcal{O}(|x| +|y|) , là …

12 algorithms  integers 

Xét một đồ thị G(V,E)G(V,E)G(V,E) . Mỗi cạnh eee có hai trọng số AeAeA_e và BeBeB_e . Tìm một cây bao trùm là giảm thiểu các sản phẩm (∑e∈TAe)(∑e∈TBe)(∑e∈TAe)(∑e∈TBe)\left(\sum_{e \in T}{A_e}\right)\left(\sum_{e \in T}{B_e}\right) . Thuật toán sẽ chạy trong thời gian đa thức đối với |V|,|E||V|,|E||V|, |E|. Tôi thấy khó …

12 algorithms  graph-theory  spanning-trees 

Dưới đây, giả sử chúng tôi đang làm việc với một máy Turing băng vô hạn. Khi giải thích khái niệm về độ phức tạp thời gian cho ai đó và lý do tại sao nó được đo tương đối với kích thước đầu vào của một thể hiện, tôi …

12 complexity-theory  time-complexity  intuition 

Tôi hiểu rằng Θ(n)Θ(n)\Theta(n) là nhanh hơn so với Θ(nlogn)Θ(nlog⁡n)\Theta(n\log n) và chậm hơn so với Θ(n/logn)Θ(n/log⁡n)\Theta(n/\log n) . Điều gì là khó khăn cho tôi để hiểu là làm thế nào để thực sự so sánh Θ(nlogn)Θ(nlog⁡n)\Theta(n \log n) và Θ(n/logn)Θ(n/log⁡n)\Theta(n/\log n) với Θ(nf)Θ(nf)\Theta(n^f) nơi 0&lt;f&lt;10&lt;f&lt;10 < f < …

12 asymptotics  mathematical-analysis  landau-notation 

Đặt là thường xuyên, thường xuyên, không thường xuyên. rằng không thường xuyên hoặc đưa ra một ví dụ mẫu.L 1 ∩ L 2 L 2 L 1 ∪ L 2L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 Tôi đã thử điều này: Hãy xem . Điều này là thường xuyên. Tôi có …

12 formal-languages  regular-languages 

Tôi muốn chuyển đổi một người dùng đã nhập biểu thức chính quy thành NFA để sau đó tôi có thể chạy NFA theo chuỗi cho các mục đích phù hợp. Máy tối thiểu có thể được sử dụng để phân tích các biểu thức thông thường là gì? Tôi …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Định nghĩa: Giảm Karp Một ngôn ngữ MộtAA là Karp rút gọn về một ngôn ngữ BBB nếu có một thời gian đa thức chức năng tính toán f : { 0 , 1 } * → { 0 , 1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* như vậy mà cho mỗi xxx , …

12 complexity-theory  reductions  check-my-proof 

Một câu hỏi đã được hỏi tại Stack Overflow ( tại đây ): Đưa ra một số nguyên NNN , in ra tất cả các kết hợp có thể của giá trị nguyên A,B,CA,B,CA,B,C và DDD mà giải quyết phương trình A2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N . Câu hỏi này tất nhiên …

12 complexity-theory  time-complexity  number-theory  enumeration