Khoa học máy tính

Tôi đã suy nghĩ về bằng chứng và chạy vào một quan sát thú vị. Vì vậy, bằng chứng tương đương với các chương trình thông qua Đồng phân Curry-Howard và bằng chứng tròn tương ứng với đệ quy vô hạn. Nhưng chúng tôi biết từ vấn đề tạm dừng …

13 logic  curry-howard 

Tôi tiếp tục nghe về cách người ta phải học lý thuyết thể loại để thực sự hiểu lý thuyết ngôn ngữ lập trình. Cho đến nay, tôi đã học được rất nhiều PL mà không bao giờ bước chân vào vương quốc của các thể loại. Tuy nhiên, tôi …

13 reference-request  programming-languages  type-theory  category-theory 

Một biểu thức tổ hợp (giả sử trong cơ sở SK) có thể được coi là một hàm ánh xạ các biểu thức tính toán của tổ hợp thành các biểu thức tính toán của tổ hợp. Nghĩa là, người ta có thể nghĩ về một biểu thức là một …

13 lambda-calculus  combinatory-logic 

Nếu P không bằng NP, liệu vẫn có thể thiết kế một hệ thống mật mã trong đó thuật toán phân tích mật mã tối ưu, giả sử, bình phương thời gian được sử dụng bởi các thuật toán mã hóa và giải mã hợp pháp? Có bất kỳ thuật …

13 cryptography  encryption 

Giảng viên của tôi đã tuyên bố Bất kỳ vấn đề hữu hạn nào cũng không thể là NP-Complete Lúc đó anh ta đang nói về Sudoku khi nói điều gì đó dọc theo câu hỏi đối với Sudoku 8x8 có một bộ giải pháp hữu hạn nhưng tôi không …

13 np-complete  np 

Khi nào chúng ta nói rằng một mạng nơ ron nhân tạo là một Perceptron đa lớp ? Và khi nào chúng ta nói rằng một mạng lưới thần kinh nhân tạo là một lớp đa ? Là thuật ngữ tri giác liên quan đến quy tắc học tập để …

13 neural-networks  perceptron 

Tôi có định nghĩa về thuật toán tại chỗ từ giáo sư, nhưng tôi không hiểu nó. Các thuật toán tại chỗ đề cập đến các thuật toán hoạt động với bộ nhớ Θ (1). Điều đó nghĩa là gì?

13 algorithms  terminology  landau-notation 

Tôi vừa tìm thấy câu này trên trang 6 của "Máy tính và tính hấp dẫn" của Garey và Johnson. Bất kỳ thuật toán nào có hàm độ phức tạp thời gian không thể bị giới hạn như vậy được gọi là thuật toán thời gian theo hàm mũ (mặc …

13 algorithms  terminology  polynomial-time 

Tuy nhiên, rất nhiều vấn đề "nổi tiếng" không thể giải quyết được, ít nhất là có thể bán được, với sự bổ sung của chúng là không thể giải quyết được. Một ví dụ trên tất cả có thể là vấn đề tạm dừng và bổ sung của nó. …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Tôi đã thấy từ bài đăng này trên stackoverflow rằng có một số thuật toán tương đối nhanh để sàng một khoảng số để xem liệu có một số nguyên tố trong khoảng đó không. Tuy nhiên, điều này có nghĩa là vấn đề quyết định chung của: (Có tồn …

13 complexity-theory  np  polynomial-time  primes 

Hàm đếm số nguyên tố , hạ cấp , được định nghĩa là số lượng số nguyên tố nhỏ hơn hoặc bằng x .π(x)π(x)\pi(x)xxx Chúng ta có thể định nghĩa một vấn đề quyết định từ như sau:π(x)π(x)\pi(x) Cho hai số và n , được viết dưới dạng nhị phân, …

13 complexity-theory  primes 

Tôi đang đọc một cuốn sách về một chủ đề khoa học máy tính nhưng thiếu một số nền tảng tiên quyết. Thông thường khi tôi gặp phải các thuật ngữ tôi không hiểu tôi chỉ đơn giản là tìm kiếm chúng, nhưng đối với Tìm kiếm chung, tôi chỉ …

13 algorithms  terminology  search-algorithms 

Vào năm 1962, bạn có thể giành được giải thưởng trị giá 10 000 đô la (khoảng 80 000 đô la tiền ngày nay) nếu bạn tìm thấy giải pháp cho vấn đề nhân viên bán hàng du lịch Euclide được xác định trên 33 thành phố. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Nhìn vào …

13 optimization  traveling-salesman 

Tôi tự hỏi nếu quyết định tính quyết định của vấn đề là một vấn đề có thể quyết định. Tôi đoán là không, nhưng sau những tìm kiếm ban đầu tôi không thể tìm thấy bất kỳ tài liệu nào về vấn đề này.

13 computability  undecidability  decision-problem 

Tôi đang cố gắng để hiểu sự tồn tại của các ngôn ngữ không thể nhận ra. Để có được điều này, tôi cần biết tại sao một máy Turing chỉ nhận ra một ngôn ngữ chứ không phải nhiều ngôn ngữ. Tại sao lại thế này?

13 turing-machines  computation-models