Khoa học máy tính

Tôi đang cố gắng để hiểu các hệ thống bằng chứng tương tác và đã thử vấn đề sau đây như là một bài tập. Chúng tôi biết rằng và , vì vậy hãy đưa ra các hệ thống bằng chứng tương tác (dễ hiểu) cho ?PH⊆ PSPA CEPH⊆PSPMộtCEPH \subseteq …

9 complexity-theory  interactive-proof-systems 

Tôi đang tìm kiếm một ngữ pháp context-sensitive mô tả các ngôn ngữ sau: .L={ww∣w∈{a,b}∗,|w|≥1}L= ={ww|w∈{một,b}*,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Tôi đã có vấn đề với thực tế là không có quy tắc như được phép và do đó tôi không thể đặt bất …

9 formal-languages  formal-grammars  context-sensitive 

Đối với bằng cấp CS của tôi, tôi đã có hầu hết nền tảng toán học "tiêu chuẩn": Giải tích: vi phân, tích phân, số phức Đại số: khá nhiều các khái niệm cho đến khi các lĩnh vực. Lý thuyết số: XGCD và các công cụ liên quan, chủ …

9 artificial-intelligence  cryptography  discrete-mathematics 

Trong Lý thuyết Loại nếu người ta cho phép Loại là thành viên của chính nó, nó làm cho lý thuyết không nhất quán. Tôi hiểu nó tương tự như nghịch lý của Russel trong Lý thuyết tập hợp, nhưng muốn thấy nó được thực hiện trong Lý thuyết loại. …

9 type-theory 

Một nhóm đã quyết định rằng mỗi buổi sáng ai đó nên mang bánh sừng bò cho mọi người. Không nên cùng một người mỗi lần, vì vậy cần có một hệ thống để xác định lượt tiếp theo của ai. Mục đích của câu hỏi này là để xác …

9 algorithms  scheduling 

Tôi đang tạo các DFA ngẫu nhiên để kiểm tra thuật toán giảm DFA trên chúng. Thuật toán mà tôi đang sử dụng ngay bây giờ như sau: đối với mỗi trạng thái , đối với mỗi ký hiệu trong bảng chữ cái , hãy thêm vào một số trạng …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Tôi đang nghiên cứu việc học PAC (lý thuyết học tính toán) khi mới bắt đầu không có kiến ​​thức về học máy / AI trước đây. Tôi đang nghiên cứu mô hình chủ yếu từ quan điểm lịch sử. Đối với điều này, điều quan trọng nhất tất nhiên …

9 machine-learning 

Tôi đang cố gắng hiểu tại sao quicksort sử dụng phân vùng Lomuto và một trục cố định lại hoạt động thất thường, nhưng nhìn chung rất kém, trên các đầu vào được tạo ngẫu nhiên. Tôi nghĩ rằng mặc dù các đầu vào được tạo ngẫu nhiên, có thể …

9 algorithms  sorting 

Có bất kỳ bộ quy tắc hoặc phương pháp nào để chuyển đổi bất kỳ ngữ pháp miễn phí ngữ cảnh nào thành tự động đẩy xuống không? Tôi đã tìm thấy một số slide trực tuyến nhưng tôi không thể hiểu chúng. Trong slide 10 anh ấy nói về …

9 context-free  formal-grammars  pushdown-automata  simulation 

Trong Chương 1 của Cơ sở thực tiễn cho các ngôn ngữ lập trình , tác giả đã đề cập rằng các cây cú pháp trừu tượng được liên kết với các loại . Theo trực giác, các loại giống như các loại, nhưng tôi muốn biết nếu chúng có …

9 terminology  programming-languages  semantics 

Một đứa trẻ 15 tuổi thông minh mà tôi biết có hứng thú với cả khoa học máy tính và di truyền học. Tôi nói với cô ấy rằng những lĩnh vực này tạo nên một sự kết hợp tuyệt vời. Tôi muốn tặng cô ấy một cuốn sách về …

9 education  books  bioinformatics 

Đa giác thoái hóa là gì? Làm thế nào để kiểm tra xem một cặp đa giác đã cho có bị thoái hóa hay không?

9 algorithms  computational-geometry 

Ở trường đại học, chúng tôi đã học về lý thuyết tính toán nói chung và máy Turing cụ thể hơn. Một trong những kết quả lý thuyết tuyệt vời là với chi phí của một bảng chữ cái (ký hiệu) có khả năng lớn, bạn có thể giảm số …

9 turing-machines  context-free  parsers 

Gần đây, tôi đã hỏi một câu hỏi về Math SE. Vẫn chưa có phản hồi. Câu hỏi này liên quan đến câu hỏi đó, nhưng chi tiết kỹ thuật hơn đối với khoa học máy tính. Với hai DFAs và B = ( Q , Σ , δ , …

9 formal-languages  reference-request  finite-automata 

SkipList cung cấp giới hạn cho tìm kiếm dưới dạng cây cân bằng với lợi thế là không cần phải cân bằng lại. Vì SkipList được xây dựng bằng cách sử dụng các đồng xu ngẫu nhiên, các giới hạn này chỉ giữ được miễn là cấu trúc của SkipList …

9 data-structures  search-trees  probabilistic-algorithms