Khoa học máy tính

Lý lịch \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr Giả sử tôi có hai lô viên giống hệt nhau . Mỗi viên bi có thể là một trong những màu , trong đó . Hãy biểu thị số lượng viên bi màu trong từng lô.nnncccc ≤ nc≤nc≤nnTôinTôin_iTôiTôii Đặt là multiset đại diện …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

Trang vấn đề đẳng cấu đồ thị của Wikipedia dường như chỉ ra rằng, không, nó chưa được giải quyết. Tuy nhiên, một người bạn của tôi đã chỉ ra Thuật toán thời gian đa thức cho biểu đồ đẳng cấu . Tôi không đủ tinh vi để làm theo …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Tôi vẫn còn một chút bối rối với các thuật ngữ "độ dài đầu vào" và "kích thước đầu vào" khi được sử dụng để phân tích và mô tả giới hạn trên không có triệu chứng cho một thuật toán Có vẻ như độ dài đầu vào cho thuật …

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

Một số nhà ảo thuật tối ưu hóa việc sử dụng bộ nhớ bằng cách sử dụng một phương thức được gọi là Ballooning (ít nhất đó là cái mà KVM gọi nó), phương pháp này sao chép bộ nhớ giữa các VM và đặt các trang phổ biến thành …

13 operating-systems  memory-management  virtual-memory 

Tôi đã bị lừa vào một ngày khác trên trang web này: http://regexcrossword.com/ và nó khiến tôi tự hỏi cách tốt nhất để giải quyết nó là gì. Bạn có thể giải quyết vấn đề sau trong thời gian đa thức hay là NP-hard? Đưa ra một lưới NxM với …

13 complexity-theory  np-hard  regular-expressions 

Khi xảy ra ngắt, bộ xử lý sẽ xử lý trước tiến trình hiện tại và gọi mã kernel để xử lý ngắt. Làm thế nào để bộ xử lý biết nơi để nhập kernel? Tôi hiểu rằng có các trình xử lý ngắt có thể được cài đặt cho …

13 computer-architecture  operating-systems  os-kernel 

Tôi đã thấy rằng nếu tôi không hiểu từ nguyên đằng sau thuật ngữ lập trình / cs, điều đó thường có nghĩa là tôi đã bỏ lỡ hoặc hiểu sai một số khái niệm cơ bản quan trọng. Tôi không hiểu tại sao ngôi sao Kleene còn được gọi …

13 automata  regular-expressions 

Trang wikipedia về thuật toán nhân đã đề cập đến một điều thú vị của Donald Knuth . Về cơ bản, nó liên quan đến việc kết hợp phép nhân biến đổi Fourier với bảng nhân các phép nhân có kích thước logarit. Nó chạy trong thời gian tuyến tính. …

13 algorithms  runtime-analysis  multiplication 

Nói chung, tôi đang tự hỏi về mối quan hệ giữa độ phức tạp tính toán và hệ thống phân cấp Chomsky. Cụ thể, nếu tôi biết rằng một số vấn đề là NP hoàn chỉnh, liệu nó có tuân theo ngôn ngữ của vấn đề đó không có ngữ …

13 complexity-theory  formal-languages 

Đề xuất của Apropois cho Raphael về Giao lộ của hai NPDA : Hãy và NPDA cho các ngôn ngữ bối cảnh miễn và , tương ứng. Giả sử rằng chúng ta biết rằng có ngữ cảnh, chúng ta có thể (có hiệu quả) xây dựng NPDA cho không?Một 2 …

13 computability  automata  pushdown-automata 

Một thực tế nổi tiếng là "Tương quan không có quan hệ nhân quả như nhau", nhưng học máy dường như gần như hoàn toàn dựa trên mối tương quan. Tôi đang làm việc trên một hệ thống để ước tính hiệu suất của học sinh đối với các câu …

13 machine-learning  statistics 

Giả sử P ≠ N PP≠NPP\neq NP . Chúng ta có thể nói gì về giới hạn thời gian chạy của tất cả các vấn đề hoàn thành NP? tức là các hàm chặt nhất L , U : N → NL,U:N→NL,U:\mathbb{N}\to\mathbb{N} mà chúng ta có thể đảm bảo rằng …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Tôi đã đọc trên Wikipedia và một số văn bản khác Vấn đề tạm dừng là [...] có thể quyết định đối với máy tự động giới hạn tuyến tính (LBA) [và] máy xác định có bộ nhớ hữu hạn. Nhưng trước đó người ta viết rằng vấn đề tạm …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Xác định ngôn ngữ LLL là L = { một , b } * - { w w | w ∈ { một , b } * }L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . Nói cách khác, LLL chứa các từ không thể diễn tả như …

13 formal-languages  context-free  formal-grammars 

Tôi muốn một ví dụ về một quine trong phép tính lambda thuần túy . Tôi đã khá ngạc nhiên khi tôi không thể tìm thấy một người bằng cách googling. Trang quine liệt kê các câu hỏi cho nhiều ngôn ngữ "thực", nhưng không phải cho phép tính lambda. …

13 lambda-calculus