Khoa học máy tính

2

Tại sao nhật ký trong big-O của tìm kiếm nhị phân không phải là cơ sở 2?

Tôi mới hiểu được thuật toán khoa học máy tính. Tôi hiểu quá trình tìm kiếm nhị phân, nhưng tôi có một sự hiểu lầm nhỏ với hiệu quả của nó. Trong một kích thước của phần tử , trung bình, sẽ cần bước để tìm một phần tử cụ …

35 algorithms runtime-analysis binary-search

3

Trường hợp xấu nhất

Tôi đang gặp khó khăn trong việc tìm kiếm các tài nguyên tốt đưa ra trường hợp xấu nhất trong thuật toán sắp xếp ổn định . Có ai biết bất kỳ nguồn lực tốt?O(nlnn)O(nln⁡n)O(n \ln n) Chỉ cần một lời nhắc nhở, tại chỗ có nghĩa là nó sử …

35 algorithms reference-request sorting in-place

4

Tại sao lập trình tuyến tính trong P nhưng lập trình số nguyên NP-hard?

Lập trình tuyến tính (LP) nằm trong P và lập trình số nguyên (IP) là NP-hard. Nhưng vì máy tính chỉ có thể thao tác các số với độ chính xác hữu hạn, nên trên thực tế, một máy tính đang sử dụng các số nguyên cho lập trình tuyến …

35 complexity-theory polynomial-time

6

Có bất kỳ automata không hữu hạn?

Trong lý thuyết automata, tất cả chúng ta đều đọc automata là automata hữu hạn, ngay từ đầu. Những gì tôi muốn biết là, tại sao automata là hữu hạn? Để rõ ràng, cái gì trong một máy tự động là hữu hạn - bảng chữ cái, ngôn ngữ, chuỗi …

35 automata finite-automata

2

Idris không thể làm gì khi từ bỏ tính hoàn chỉnh của Turing?

Tôi biết rằng Idris có các loại phụ thuộc nhưng không hoàn thành. Điều gì không thể làm được bằng cách từ bỏ tính hoàn chỉnh của Turing và điều này có liên quan đến việc có các loại phụ thuộc không? Tôi đoán đây là một câu hỏi khá …

35 computability programming-languages type-theory dependent-types

6

Các thuật toán nén lossless có làm giảm entropy không?

Theo Wikipedia : Entropy của Shannon đo lường thông tin chứa trong một tin nhắn trái ngược với phần của thông điệp được xác định (hoặc có thể dự đoán được). Các ví dụ sau này bao gồm sự dư thừa trong cấu trúc ngôn ngữ hoặc thuộc tính thống …

35 information-theory data-compression entropy

2

Tính toán lượng tử lambda

Về mặt kinh điển, có 3 cách phổ biến để suy nghĩ về tính toán: máy Turing, mạch và lambda-tính toán (tôi sử dụng cách này như một cách bắt tất cả cho hầu hết các chế độ xem chức năng). Cả 3 đều là những cách hiệu quả để …

35 lambda-calculus quantum-computing reference-request computation-models

10

Ngôn ngữ lập trình trực quan

Hầu hết chúng ta đã học lập trình bằng các ngôn ngữ lập trình "văn bản" như Basic, C / C ++ và Java. Tôi tin rằng con người sẽ suy nghĩ trực quan và hiệu quả hơn. Lập trình trực quan cho phép các nhà phát triển viết chương …

35 programming-languages

13

Tiêu chí lựa chọn ngôn ngữ cho khóa học lập trình đầu tiên

Là một nhà giáo dục CS cấp đại học, vấn đề dạy ngôn ngữ lập trình nào trong khóa học lập trình đầu tiên thường được đưa ra để thảo luận. Có hàng ngàn ngôn ngữ để lựa chọn, và rất nhiều cơn sốt tôn giáo (hoặc fevour) hỗ trợ …

35 programming-languages education

1

Bạn có nhận được DFS nếu bạn thay đổi hàng đợi thành ngăn xếp trong triển khai BFS không?

Đây là mã giả tiêu chuẩn cho tìm kiếm đầu tiên theo chiều rộng: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) …

35 algorithms graphs

2

Có một nhiệm vụ có thể giải quyết được trong thời gian đa thức nhưng không thể kiểm chứng được trong thời gian đa thức?

Một đồng nghiệp của tôi và tôi vừa nhấn một số ghi chú của một trong những giáo sư của chúng tôi. Các ghi chú nêu rõ rằng có những nhiệm vụ có thể giải quyết trong thời gian đa thức (thuộc lớp PF) nhưng KHÔNG thể kiểm chứng được …

34 complexity-theory np

3

Thuật toán tìm số đường dẫn đơn giản từ

Cần bất cứ ai đề nghị tôi một thuật toán thời gian tuyến tính mà có như là đầu vào một đạo acyclic graph và hai đỉnh và và trả về số lượng các đường dẫn đơn giản từ đến trong . Tôi có một thuật toán trong đó tôi …

34 algorithms graphs

9

Tầm quan trọng của các ngôn ngữ nhạy cảm theo ngữ cảnh (Loại 1) là gì?

Thấy trong Chomsky Hierarchy Loại 3 ngôn ngữ có thể được công nhận bởi một máy nhà nước không có bộ nhớ bên ngoài (ví dụ, một automaton hữu hạn), Loại 2 bởi một máy nhà nước với một đơn stack (tức là một automaton đẩy xuống) và Gõ 0 …

34 formal-languages applied-theory computability automata formal-grammars

7

Làm thế nào để máy tính xác định xem một số nhỏ hơn hoặc lớn hơn số khác?

Nghe có vẻ giống như một câu hỏi ngu ngốc nhưng tôi thực sự tò mò muốn biết làm thế nào một máy tính biết rằng ? Ngoài ra, làm thế nào để một máy tính biết rằng thứ tự của số nguyên là và bảng chữ cái là A, …

34 computer-architecture reference-question

4

Cách đo

Tôi đang tự hỏi nếu có một cách tiêu chuẩn để đo lường "sự sắp xếp" của một mảng? Một mảng có số lượng đảo ngược trung bình có thể được coi là không được sắp xếp tối đa? Điều đó có nghĩa là về cơ bản, nó càng xa …

34 algorithms algorithm-analysis sorting arrays