Khoa học máy tính

Tôi là một sinh viên và đang mong muốn trở thành một học giả; làm toàn bộ công cụ tiến sĩ và bắt đầu làm nghiên cứu. Tôi quan tâm đến nhiều thứ liên quan đến khoa học máy tính nhưng gần đây các công nghệ P2P đã thực sự …

8 distributed-systems  research 

Tôi đã cho n đối tượng và một tập hợp n hoán vị của n đối tượng này (trong tổng số n! Hoán vị). Có một hoán vị cơ bản thực sự, mà tôi biết là một trong số các hoán vị n, nhưng tôi không biết cái nào. Một …

8 complexity-theory  lower-bounds  search-problem  permutations 

Tôi biết rằng Kiểm tra mô hình biểu tượng là truyền tải không gian trạng thái dựa trên biểu diễn của các tập hợp trạng thái và quan hệ chuyển tiếp dưới dạng công thức như trong CTL bằng các mô hình như Mô hình Kripke. Tôi biết lý thuyết. …

8 formal-methods  model-checking  software-verification 

Theo luận án của Church-Turing, không thể thiết kế một thuật toán để quyết định vấn đề tạm dừng. Liệu thuật toán từ trong ngữ cảnh này có bao gồm trí thông minh nhân tạo hay không, nghĩa là luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo? …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Bài tập 4.29 từ tính toán lượng tử và thông tin lượng tử của Nielsen và Chuang đã làm tôi bối rối. Tìm một mạch chứa Toffoli, CNOT và các cổng qubit đơn thực hiện cổng (cho ), không sử dụng qubit nào.Ô ( n2)Ôi(n2)O(n^2)Cn( X)Cn(X)C^n(X)n > 3n>3n > 3 …

8 quantum-computing  circuits 

Trên biểu đồ , chúng tôi thực hiện quy trình sau:G ( V, E)G(V,E)G(V,E) Ban đầu, tất cả các nút trong không màu.VVV Trong khi có các nút không màu trong , mỗi nút không màu thực hiện như sau: VVV Chọn một số thực ngẫu nhiên và gửi nó …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

Dường như sự khác biệt giữa các sợi và các luồng là các sợi được lên lịch hợp tác, trong khi các luồng được lên lịch trước. Điểm của bộ lập lịch có vẻ như là một cách để làm cho tài nguyên bộ xử lý nối tiếp hoạt động …

8 parallel-computing  threads  multi-tasking 

Một TA đã bỏ qua hôm nay để hỏi một số điều về NP và đồng NP. Chúng tôi cũng đến một điểm mà tôi bị bối rối: biểu đồ Venn của P, NPI, NP và co-NP trông như thế nào khi giả sử P ≠ NP (trường hợp khác …

8 complexity-theory  reference-request  complexity-classes  np 

Tôi đã đọc nhiều bài báo và sách về bản thể luận và tôi đang cố gắng tìm ra cách chúng được sử dụng trong một dự án thực sự? Ví dụ, làm thế nào bản thể luận cho một robot cầu thủ bóng đá có thể được định nghĩa …

8 artificial-intelligence  applied-theory  knowledge-representation  ontologies  robotics 

Tôi đang làm việc với ngôn ngữ lập trình nhỏ của riêng mình cho mục đích giáo dục và tôi gặp phải một chút vấn đề. Có một vài giải pháp khác nhau cho nó, nhưng tất cả chúng đều có vẻ không phù hợp - và từ những gì …

8 programming-languages  loops  language-design 

Giả sử là một vấn đề quyết định có thể quyết định.ΠΠ\Pi Liệu bao hàm Π là N P -Hard?Π ∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Chỉnh sửa: nếu chúng ta giả sử có tồn tại sau đó chúng tôi đã làm xong. Chúng ta có thể bác bỏ yêu cầu mà …

8 complexity-theory  np-hard  complexity-classes  np 

Tôi đang cố gắng liên kết Mạch logic kết hợp (máy tính chỉ dựa trên cổng logic) với mọi thứ tôi đã học gần đây trong Lý thuyết tính toán. Tôi đã tự hỏi liệu các mạch logic tổ hợp có thể thực hiện các tính toán theo cùng một …

8 complexity-theory  turing-machines  computation-models  circuits 

Phương pháp không thể nén được cho là đơn giản hóa việc phân tích các thuật toán cho trường hợp trung bình. Theo những gì tôi hiểu, điều này là do không cần phải tính toán tất cả các kết hợp đầu vào có thể có cho thuật toán đó …

8 algorithm-analysis  kolmogorov-complexity 

Có thể giảm thiểu automata đẩy xuống? Nếu không, tại sao? Có phải vì để giảm thiểu các lớp tương đương cần phải có một chỉ số hữu hạn và chúng tôi không thể đảm bảo điều đó cho CFG?

8 computability  automata  pushdown-automata 

Đây là một vấn đề tập thể dục (Ex.3) từ bài giảng xuất sắc của Jeff Erickson Bài giảng 20: Cây kéo dài tối thiểu [Fa'13] . Chứng minh rằng đồ thị có trọng số cạnh có cây bao trùm tối thiểu duy nhất khi và chỉ khi các điều …

8 graph-theory  spanning-trees