Khoa học máy tính

Tôi quan tâm đến việc chứng minh rằng L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} là thường xuyên nếu LLL là thường xuyên nhưng dường như tôi không đi đến đâu cả. Nếu có thể tôi đã hy vọng một gợi ý để đưa tôi đi đúng hướng. Cảm ơn sự giúp đỡ của bạn. …

7 formal-languages  regular-languages  finite-automata  closure-properties 

Tôi đang thực hiện một số thử nghiệm phân loại với các cây quyết định (cụ thể là gói rpart trong R). Bằng cách đặt độ sâu của cây quyết định thành 10, tôi hy vọng sẽ có được một cây nhỏ nhưng thực tế nó khá lớn và kích …

7 binary-trees  classification 

Người ta biết rằng một máy có một ngăn xếp duy nhất không chỉ lưu trữ không giới hạn là không hoàn thành Turing, nếu nó chỉ có thể đọc từ đầu ngăn xếp. Tôi muốn một cỗ máy mạnh hơn một chút so với máy stack, nhưng vẫn chưa …

7 computation-models  turing-completeness  linked-lists  stacks 

Bất cứ ai có thể giải thích cho tôi hạt nhân (vấn đề-) là gì và việc sử dụng chúng là gì? Các slide của tôi nói: Hạt nhân của một vấn đề được tham số hóa là một phép biến đổi sao cho:LLL( X , k ) ↦ (x',k')(x,k)↦(x',k')(x,k) …

7 parameterized-complexity  algorithm-design 

Tôi đã có một nhận xét, vì điều này liên quan đến câu trả lời của Andrej Bauer trong chủ đề này ; tuy nhiên, tôi tin rằng nó đáng để đặt câu hỏi Andrej giải thích rằng với tập hợp tất cả các chuỗi bit có độ dài từ …

7 information-theory  data-compression 

Tôi đọc rằng ràng buộc Tên gán một số giá trị (dữ liệu / mã / biểu thức) cho một định danh . Chuyển nhượng và định giá dường như làm điều tương tự. Thật khó hiểu. Tôi chỉ có thể nói rằng biến miễn phí là một, không được …

7 terminology  programming-languages  variable-binding 

Tôi đang đọc "Thời gian, Đồng hồ và thứ tự các sự kiện trong một hệ thống phân tán" của Lamport và có một chi tiết làm tôi khó chịu. Lamport định nghĩa thứ tự "xảy ra trước", mà tôi hiểu. Sau đó, ông nói rằng "Một cách khác để …

7 algorithms  distributed-systems  clocks 

Câu hỏi: Làm thế nào các giá trị của bảng băm được lưu trữ trong bộ nhớ sao cho không gian nếu được sử dụng hiệu quả và các giá trị không phải di dời thường xuyên? Hiểu biết hiện tại của tôi (có thể sai): Giả sử tôi có …

7 data-structures  hash-tables  memory-allocation 

Hãy xem xét tối đa hóa bậc hai sau đây: maxx∈XxTAxmaxx∈XxTAx\begin{align} \max_{\mathbf{x} \in \mathcal{X}} &\quad\mathbf{x}^{T}\mathbf{A}\mathbf{x} \end{align} với trong đó \ mathbf {A} là một ma trận bán nguyệt dương và k \ le n là một tham số thưa thớt. Vấn đề này là NP-hard, bằng cách giảm từ vấn …

7 complexity-theory  optimization  np-hard 

Tôi đang cố gắng để hiểu bằng chứng rằng các hình chữ nhật song song trục là PAC có thể học được trong trường hợp có thể thực hiện được. Điều này có nghĩa là đã choε , δϵ,δ\epsilon, \deltacó đủ dữ liệu, chúng ta có thể tìm thấy một …

7 machine-learning  learning-theory 

Vấn đề: Để chứng minhNP-CompletenessNP-Completeness\textsf{NP-Completeness}về vấn đề "Đóng gói hình vuông (với chiều dài cạnh khác nhau) thành hình chữ nhật" ,3-Partition3-Partition\textsf{3-Partition} được giảm xuống, như thể hiện trong hình dưới đây. bên trong 3-Partition3-Partition\textsf{3-Partition} ví dụ, có nnn yếu tố (a1,⋯,ai,⋯,an)(a1,⋯,ai,⋯,an)(a_1, \cdots, a_i, \cdots, a_n). Tổng mục tiêuttt Là …

7 complexity-theory  np-complete  reductions  np-hard  partitions 

Tôi đang tìm hiểu về HMM và các ứng dụng của chúng và cố gắng hiểu cách sử dụng của chúng. Kiến thức của tôi hơi khó hiểu, vì vậy xin vui lòng sửa bất kỳ giả định không chính xác nào tôi đang thực hiện. Ví dụ cụ thể …

7 hidden-markov-models  markov-chains  speech-recognition 

Cho một đồ thị và một tập hợp con của các đỉnh , xác định = tập các cạnh nối một đỉnh tại với một đỉnh tại .G ( V, E)G(V,E)G(V,E)T⊆ VT⊆VT \subseteq Vc u t s e t (T)cbạntSet(T)\mathsf{cutset}(T)TTTV∖ TV∖TV\setminus T Mục tiêu của chúng tôi là tiền xử …

7 data-structures  combinatorics 

Tôi biết từ Định lý Dichotomy của Schaefer rằng chỉ có một vài loại vấn đề thỏa mãn trong P và bất kỳ vấn đề nào khác là NP-đầy đủ. Tuy nhiên, tất cả các thuật toán mà tôi biết đối với chúng đều sử dụng các kỹ thuật cụ …

7 complexity-theory  satisfiability  polynomial-time  sat-solvers 

Một người bạn của tôi thực sự đã hỏi tôi một câu hỏi liên quan đến khoa học máy tính rất thú vị và tôi đã bị mắc kẹt trong một thời gian dài. Vấn đề là: bạn phải đi km. Trạm xăng duy nhất là ở điểm bắt đầu. …

7 algorithms  complexity-theory  efficiency  applied-theory