Khoa học máy tính

2

Tôi ngạc nhiên khi mọi người tiếp tục thêm các loại mới trong các lý thuyết loại nhưng dường như không ai đề cập đến một lý thuyết tối thiểu (hoặc tôi không thể tìm thấy nó). Tôi nghĩ rằng các nhà toán học thích những thứ tối thiểu, phải …

18 type-theory dependent-types

3

Tại sao không có thuật toán gần đúng cho SAT và các vấn đề quyết định khác?

Tôi có một vấn đề quyết định NP-đầy đủ. Đưa ra một ví dụ của vấn đề, tôi muốn thiết kế một thuật toán tạo ra CÓ, nếu vấn đề đó là khả thi, và, KHÔNG, ngược lại. (Tất nhiên, nếu thuật toán không tối ưu, nó sẽ mắc lỗi.) …

18 algorithms satisfiability approximation decision-problem

5

Việc sử dụng sớm nhất của cây gỗ cây trong khoa học máy tính là gì?

Tôi có một câu hỏi lịch sử nhỏ, như tiêu đề đã nói, tôi đang tìm kiếm việc sử dụng sớm cây (như cấu trúc dữ liệu, cây tìm kiếm, bất cứ thứ gì) trong khoa học máy tính.

18 data-structures reference-request trees history

2

Theo nghĩa nào thì bộ Mandelbrot có thể tính toán được?

Bộ Mandelbrot là một sinh vật xinh đẹp trong Toán học. Có rất nhiều hình ảnh đẹp của bộ ảnh này được tạo ra với độ chính xác cao, vì vậy rõ ràng bộ này là "tính toán" theo một nghĩa nào đó. Tuy nhiên, điều khiến tôi lo lắng …

18 computability

7

Là một máy tính không có RAM, nhưng với một đĩa, tương đương với một máy tính có RAM?

Bộ nhớ được sử dụng cho nhiều thứ, như tôi hiểu. Nó phục vụ như một bộ đệm đĩa và chứa các hướng dẫn của chương trình, ngăn xếp & heap của chúng. Đây là một thử nghiệm suy nghĩ. Nếu người ta không quan tâm đến tốc độ hoặc …

18 computability memory-management memory-hardware

4

Có phải 'Eugene Goostman' đã thực sự vượt qua bài kiểm tra Turing?

Người ta nói rằng 'Eugene Goostman', một chương trình máy tính được phát triển để mô phỏng một cậu bé 13 tuổi, đã thuyết phục được 33 phần trăm các thẩm phán rằng đó là con người, và do đó đã vượt qua Bài kiểm tra Turing. Chương trình máy …

18 reference-request artificial-intelligence history turing-test

7

Tính toán Lambda dường như không trừu tượng. Và tôi không thể thấy điểm của nó

Câu hỏi cơ bản: Không gì giải tích lambda làm cho chúng ta biết rằng chúng ta không thể làm gì với các thuộc tính chức năng cơ bản và ký hiệu thường học trong đại số trung học cơ sở? Trước hết, trừu tượng có nghĩa là gì trong …

18 lambda-calculus programming-paradigms

4

Tại sao Quicksort ngẫu nhiên có chi phí thời gian chạy trường hợp xấu nhất O (n log n)

Randomized Quick Sort là phần mở rộng của Quick Sort trong đó phần tử trục được chọn ngẫu nhiên. Điều gì có thể là sự phức tạp thời gian trường hợp xấu nhất của thuật toán này. Theo tôi, nó phải là O(n2)O(n2)O(n^2) , vì trường hợp xấu nhất xảy …

18 algorithm-analysis runtime-analysis sorting quicksort

2

Các thuật toán hiệu quả cho vấn đề tầm nhìn dọc

Trong khi suy nghĩ về một vấn đề, tôi nhận ra rằng tôi cần tạo ra một thuật toán hiệu quả để giải quyết các nhiệm vụ sau: Vấn đề: chúng ta được cung cấp một hộp vuông hai chiều của cạnh nnn có các cạnh song song với các …

18 algorithms data-structures time-complexity computational-geometry

1

Khi nào nên sử dụng SAT vs Ràng buộc?

Nếu tôi gặp một vấn đề khó khăn, một cách tiếp cận tiêu chuẩn là diễn đạt nó như một ví dụ SAT và thử chạy một bộ giải SAT trên nó. Một cách tiếp cận tiêu chuẩn khác là diễn đạt nó như một vấn đề thỏa mãn ràng …

18 heuristics sat-solvers constraint-programming

4

Xác định vấn đề tạm dừng cho automata không xác định

Định nghĩa chính của máy Turing (TM), ít nhất là trong sách giáo khoa tham khảo của riêng tôi (Hopcroft + Ullman 1979) mang tính quyết định. Do đó sự hiểu biết của riêng tôi về vấn đề tạm dừng chủ yếu dành cho TM xác định, mặc dù tôi …

18 turing-machines automata nondeterminism halting-problem linear-bounded-automata

1

cắt chém so với cắt chung

Vấn đề cắt là những vấn đề trong đó một đối tượng lớn nhất định nên được cắt thành nhiều đối tượng nhỏ. Ví dụ, hãy tưởng tượng bạn có một nhà máy làm việc với tấm lớn của thủy tinh thô, chiều rộng và chiều dài . Có một …

18 reference-request computational-geometry lower-bounds packing

3

Thuật toán để kiểm tra xem một ngôn ngữ có ngữ cảnh không

Có một thuật toán / thủ tục hệ thống để kiểm tra xem một ngôn ngữ không có ngữ cảnh không? Nói cách khác, đưa ra một ngôn ngữ được chỉ định ở dạng đại số (nghĩ về một cái gì đó như ), kiểm tra xem ngôn ngữ đó …

18 algorithms formal-languages context-free decision-problem

4

Mô phỏng một cái chết công bằng với một cái chết thiên vị

Với một khuôn mặt lệch , làm thế nào một số ngẫu nhiên trong phạm vi có thể được tạo ra một cách đồng nhất? Phân phối xác suất của các mặt chết không được biết, tất cả những gì được biết là mỗi mặt có xác suất khác không …

18 probability-theory randomized-algorithms random-number-generator

1

Các câu đố ghép hình 'zero-one' có hoàn chỉnh NP không?

Tôi quan tâm đến một biến thể nhỏ của ốp lát, câu đố 'ghép hình': mỗi cạnh của ô (hình vuông) được gắn nhãn bằng một biểu tượng từ và hai ô có thể được đặt liền kề nhau nếu biểu tượng trên cạnh của một ô là và ký …

18 complexity-theory np-complete tiling