Khoa học máy tính

7

Có bằng chứng trực quan hơn về tính không ổn định của vấn đề tạm dừng hơn là đường chéo?

Tôi hiểu bằng chứng về tính không ổn định của vấn đề tạm dừng (ví dụ như trong sách giáo khoa của Papadimitriou), dựa trên đường chéo. Mặc dù bằng chứng rất thuyết phục (tôi hiểu từng bước của nó), nhưng nó không trực quan với tôi theo nghĩa là …

30 computability proof-techniques undecidability halting-problem intuition

7

Sự khác biệt và mối quan hệ giữa các thuật toán ngẫu nhiên và không điều kiện?

Sự khác biệt và mối quan hệ là gì giữa các thuật toán ngẫu nhiên và thuật toán không xác định? Từ Wikipedia Một thuật toán ngẫu nhiên là một thuật toán sử dụng một mức độ ngẫu nhiên như là một phần của logic của nó. Thuật toán thường …

30 algorithms terminology computation-models nondeterminism randomness

4

Liệt kê tất cả các đồ thị không đẳng hình có kích thước nhất định

Tôi muốn liệt kê tất cả các đồ thị vô hướng có kích thước , nhưng tôi chỉ cần một thể hiện của mỗi lớp đẳng cấu . Nói cách khác, tôi muốn liệt kê tất cả các đồ thị không đẳng hình (không định hướng) trên n đỉnh. Tôi …

30 algorithms graphs data-compression graph-isomorphism

2

Luận án Giáo hội và sức mạnh tính toán của các mạng lưới thần kinh

Luận án Church-Turing nói rằng mọi thứ có thể được tính toán về mặt vật lý đều có thể được tính toán trên Máy Turing. Bài báo "Tính toán tương tự qua các mạng thần kinh" (Siegelmannn và Sontag, Khoa học máy tính lý thuyết , 131: 331 trộm360, 1994; …

29 computability turing-machines church-turing-thesis

2

Là Lambda Compus hoàn toàn là cú pháp?

Tôi đã đọc vài tuần về Công cụ tính toán Lambda, nhưng tôi chưa thấy bất cứ điều gì khác biệt về mặt vật chất với các hàm toán học hiện có, và tôi muốn biết liệu đó chỉ là vấn đề của ký hiệu, hay liệu có bất kỳ …

29 lambda-calculus functional-programming

4

Turing có ý nghĩa gì khi nói rằng các máy của Cameron có thể làm phát sinh những bất ngờ mà là do sai lầm?

Tôi gặp phải tuyên bố dưới đây của Alan M. Turing ở đây : "Quan điểm cho rằng máy móc không thể tạo ra sự ngạc nhiên là do, tôi tin rằng, một sự ngụy biện mà các nhà triết học và toán học đặc biệt là chủ đề. Đây …

29 turing-machines computability computation-models

2

Tại sao có nhiều hàm không tính toán hơn các hàm tính toán?

Tôi hiện đang đọc một cuốn sách về thuật toán và độ phức tạp. Hiện tại tôi đang đọc về các hàm tính toán và không tính toán được, và cuốn sách của tôi nói rằng có nhiều hàm không thể tính toán hơn so với tính toán, trên thực …

29 computability turing-machines combinatorics

3

Điều gì thực sự có nghĩa là không có ngữ cảnh trong thuật ngữ ngữ pháp không ngữ cảnh?

Tôi đã nghiên cứu các trình biên dịch trong một thời gian và tôi đã tìm kiếm những gì có nghĩa là "ngữ cảnh" trong ngữ pháp và ý nghĩa của ngữ pháp là "không ngữ cảnh", nhưng không có kết quả. Vì vậy, bất cứ ai có thể giúp …

29 terminology context-free formal-grammars

5

Tìm kiếm Boolean giải thích

Mẹ tôi đang tham gia một số khóa học trực tuyến để trở thành một thủ thư về các loại, trong khóa học này họ bao gồm các tìm kiếm boolean, vì vậy họ có thể tìm kiếm cơ sở dữ liệu một cách hiệu quả, tuy nhiên, bà có …

29 sets counting

4

Tổng quát hóa vấn đề 3SUM (k-SUM)?

Bài toán 3SUM cố gắng xác định 3 số nguyên từ một tập S có kích thước n sao cho a + b + c = 0 .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Người ta phỏng đoán rằng không có giải pháp nào tốt hơn phương trình bậc hai, …

29 complexity-theory combinatorics complexity-classes

2

Nơi để có được biểu đồ để kiểm tra thuật toán tìm kiếm của tôi?

Tôi đang triển khai một tập hợp các thuật toán tìm đường như Dijkstra's, Depth First, v.v. Lúc đầu, tôi đã sử dụng một vài biểu đồ tự tạo, nhưng bây giờ tôi muốn thực hiện thử thách thêm một chút và do đó tôi đang tìm kiếm đồ thị …

29 algorithms graphs data-sets benchmarking

1

Làm thế nào khó khăn để đếm số lượng đường dẫn đơn giản giữa hai nút trong một biểu đồ có hướng?

Có một thuật toán đa thức dễ dàng để quyết định xem có một đường dẫn giữa hai nút trong biểu đồ có hướng hay không (chỉ cần thực hiện một biểu đồ thường xuyên đi qua với, giả sử, tìm kiếm theo chiều sâu). Tuy nhiên, có vẻ như, …

29 algorithms complexity-theory graph-theory

2

Tại sao các mạng thần kinh dường như hoạt động tốt hơn với các hạn chế được đặt trên cấu trúc liên kết của chúng?

Kết nối đầy đủ (ít nhất là lớp này sang lớp khác với hơn 2 lớp ẩn) mạng backprop là những người học phổ quát. Thật không may, chúng thường chậm học và có xu hướng quá phù hợp hoặc có những khái quát vụng về. Từ việc đánh lừa …

29 machine-learning network-topology neural-networks

3

Tại sao thuyết tương đối hóa là một rào cản?

Khi tôi đang giải thích bằng chứng Baker-Gill-Solovay rằng có tồn tại một lời sấm mà chúng ta có thể có, và một lời sấm truyền mà chúng ta có thể đưa P ≠ N P cho một người bạn, một câu hỏi được đặt ra là tại sao những …

29 complexity-theory proof-techniques p-vs-np relativization

4

Làm thế nào để xác định các kết nối có khả năng trong một mạng xã hội?

Tôi tò mò trong việc xác định cách tiếp cận để giải quyết thuật toán "bạn bè được đề xuất". Facebook có một tính năng trong đó nó sẽ giới thiệu các cá nhân cho bạn mà họ nghĩ rằng bạn có thể làm quen được. Những người dùng này …

29 algorithms machine-learning modelling social-networks