Khoa học máy tính

Tôi bối rối về cách các vòi được chọn cho các thanh ghi Shift phản hồi tuyến tính. Tôi có một sơ đồ hiển thị LFSR với đa thức kết nối . Năm giai đoạn được dán nhãn: R 4 , R 3 , R 2 , R 1 và …

13 cryptography  pseudo-random-generators  shift-register 

LLL là ngôn ngữ thông thường trong bảng chữ cái . Thương số trái của liên quan đến là ngôn ngữ Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ*w∈Σ*w \in \Sigma^*w- 1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Làm thế nào tôi có thể chứng minh rằng là thường xuyên?w−1Lw−1Lw^{-1}L

13 formal-languages  regular-languages  closure-properties 

Các bài viết Thư Vấn đề (PCP) là undecidable. Các phiên bản bị chặn của PCP là -complete và phiên bản đánh dấu của PCP (lời của một trong hai danh sách được yêu cầu khác nhau về chữ cái đầu tiên) là trong P S P Một C E …

13 complexity-theory  computability  reference-request 

Tôi đã đọc một bài viết mô tả sự chuyển đổi giữa không gian người dùng và không gian nhân xảy ra khi có một cuộc gọi hệ thống. Bài báo nói Một ứng dụng dự kiến ​​sẽ hoàn thành cuộc gọi hệ thống trước khi tiếp tục thực hiện …

13 operating-systems  os-kernel 

Tôi thường làm việc với lexer / trình phân tích cú pháp , trái ngược với trình kết hợp trình phân tích cú pháp và thấy những người chưa bao giờ tham gia một lớp phân tích cú pháp, hỏi về phân tích dữ liệu nhị phân. Thông thường dữ …

13 programming-languages  compilers  parsers 

Hãy xem xét các giao thức sau, có nghĩa là để xác thực (Alice) thành (Bob) và ngược lại.MộtMộtABBB A → B :B → A :A → B :Tôi là Alice Alice , RMộtE( RMột, K)E( ⟨ RMột+ 1 , PMột⟩ , K)Một→B:Tôi là Alice Alice,RMộtB→Một:E(RMột,K)Một→B:E(⟨RMột+1,PMột⟩,K) \begin{align*} A \to B: …

13 cryptography  protocols  authentication 

Bài toán 3 phân vùng hỏi liệu một bộ số nguyên có thể được phân chia thành bộ ba số nguyên sao cho mỗi bộ tổng hợp với một số nguyên cho trước . Bài toán Phân vùng cân bằng hỏi liệu số nguyên có thể được phân chia thành …

13 complexity-theory  reductions  np-complete 

Hãy là một phần ( m , k ) Thiết kế và f : { 0 , 1 } m → { 0 , 1 } là một hàm Boolean. Trình tạo Nisan-Wigderson G f : { 0 , 1 } l → { 0 , 1 } n được …

13 cryptography  pseudo-random-generators 

Có một cách tiếp cận thuật toán để xác định rằng ngày được đưa ra trong một đoạn có tương quan với các sự kiện (cụm từ) cụ thể trong đoạn văn không? Ví dụ, xem xét đoạn văn sau: Vào tháng 6 năm 1970, nhà lãnh đạo vĩ đại …

13 algorithms  data-mining  natural-language-processing 

Tôi biết rằng có những ngôn ngữ không thông thường, do đó là thông thường, nhưng tất cả các ví dụ tôi có thể tìm thấy đều nhạy cảm với ngữ cảnh nhưng không có ngữ cảnh.L*L∗L^* Trong trường hợp không có làm thế nào để bạn chứng minh điều …

13 formal-languages  context-free  regular-languages 

Một trò chơi đơn giản thường được chơi bởi trẻ em, trò chơi Chiến tranh được hai người chơi bằng cách sử dụng bộ bài tiêu chuẩn gồm 52 lá bài. Ban đầu, bộ bài được xáo trộn và tất cả các lá bài được chia cho hai người chơi, …

13 algorithms  optimization 

Tôi muốn tạo ra một Sudoku hoàn toàn ngẫu nhiên . Xác định lưới Sudoku dưới dạng lưới các số nguyên trong khoảng từ đến trong đó một số phần tử có thể được bỏ qua. Lưới là một câu đố hợp lệ nếu có một cách duy nhất để …

13 algorithms  randomness  sudoku 

Tôi là một lập trình viên có hiểu biết về automata, nhưng không logic. Tôi đọc trong giấy tờ rằng hai người có liên quan rất chặt chẽ. Automata hữu hạn xác định (DFA), Automata cây và Automata đẩy xuống rõ ràng đều có liên quan đến logic thứ hai …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

Trong khi thực hiện mã thứ hai kata (yêu cầu bạn thực hiện thuật toán tìm kiếm nhị phân năm lần, mỗi lần với một phương thức khác nhau), tôi đã đưa ra một giải pháp hơi khác, hoạt động như sau: Nếu tôi có một mảng được sắp xếp …

13 algorithms  terminology  search-algorithms  binary-search 

Tôi nghĩ rằng tôi đã hiểu cách gõ phụ thuộc (DT) đúng cách, nhưng câu trả lời cho câu hỏi này: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-created-intuitionistic-theory-theory đã khiến tôi nghĩ khác. Sau khi đọc về DT và cố gắng hiểu chúng là gì, tôi đang cố tự hỏi, chúng ta sẽ đạt được …

13 logic  type-theory  intuition