Khoa học máy tính reference-request

3

Thuật toán thời gian tuyến tính xác định để kiểm tra xem một mảng có phải là phiên bản được sắp xếp của mảng kia không

Hãy xem xét vấn đề sau: Đầu vào: hai mảng AAA và BBB có độ dài nnn , trong đó BBB theo thứ tự được sắp xếp. Truy vấn: làm AAA và BBB gồm các nội dung tương tự (với đa dạng của mình)? Thuật toán xác định nhanh nhất …

19 algorithms reference-request sorting

1

Những lớp cấu trúc dữ liệu có thể được thực hiện liên tục?

Cấu trúc dữ liệu liên tục là cấu trúc dữ liệu bất biến. Các thao tác trên chúng trả về một "bản sao" mới của cấu trúc dữ liệu, nhưng bị thay đổi bởi thao tác; cấu trúc dữ liệu cũ vẫn không thay đổi. Hiệu quả thường được thực …

19 reference-request data-structures functional-programming persistent-data-structure

2

Các thuật toán kiểm tra loại

Tôi đang bắt đầu một nghiên cứu thư mục cá nhân về các thuật toán kiểm tra kiểu và muốn một số mẹo. Các thuật toán, chiến lược và kỹ thuật chung được sử dụng phổ biến nhất là gì? Tôi đặc biệt quan tâm đến các thuật toán kiểm …

19 algorithms programming-languages reference-request type-checking

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

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

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

Làm thế nào để đọc quy tắc đánh máy?

Tôi bắt đầu đọc ngày càng nhiều tài liệu nghiên cứu ngôn ngữ. Tôi thấy nó rất thú vị và là một cách tốt để tìm hiểu thêm về lập trình nói chung. Tuy nhiên, thường có một phần mà tôi luôn phải vật lộn với (ví dụ phần ba …

18 logic reference-request terminology type-theory

1

Chứng minh khả năng di chuyển (trong) của tái phát nguyên tố thứ N này

Như sau câu hỏi trước đây của tôi , tôi đã chơi với giả thuyết Riemann như một vấn đề của toán học giải trí. Trong quá trình đó, tôi đã đi đến một sự tái phát khá thú vị và tôi tò mò về tên của nó, mức giảm …

18 complexity-theory reference-request recurrence-relation mathematical-analysis

3

Có một TM tạm dừng trên tất cả các đầu vào nhưng tài sản đó là không thể chứng minh?

Có tồn tại một máy Turing tạm dừng trên tất cả các đầu vào nhưng thuộc tính đó không thể chứng minh được vì một số lý do? Tôi tự hỏi nếu câu hỏi này đã được nghiên cứu. Lưu ý, "không thể chứng minh" có thể có nghĩa là …

17 computability reference-request turing-machines halting-problem

1

Mô phỏng phổ quát của máy Turing

Đặt là hàm cố định thời gian có thể xây dựng.fff Kết quả mô phỏng phổ quát cổ điển cho các TM (Hennie và Stearns, 1966) nói rằng có một TM hai băng sao choBạnBạnU mô tả về TM và⟨ M⟩⟨M⟩\langle M \rangle một chuỗi đầu vào ,xxx chạy cho …

16 complexity-theory reference-request turing-machines machine-models simulation

1

Thuật toán đa thời gian và đa không gian để xác định giao điểm hàng đầu của n hàm đơn điệu rời rạc

Một số tiền đề: Tôi là một nhà khoa học máy tính giải trí và kỹ sư phần mềm làm việc. Vì vậy, xin lỗi nếu lời nhắc này có vẻ hơi lạc lõng - tôi thường xuyên chơi với simulcra toán học và các vấn đề mở khi tôi …

16 algorithms reference-request discrete-mathematics

3

Cuốn sách công thức cho mã hóa SAT?

Người giải SAT đang ngày càng hiệu quả hơn trong việc giải quyết các trường hợp lớn và đang được sử dụng làm back-end trong các bối cảnh khác nhau. Mỗi khi muốn sử dụng chúng để giải quyết vấn đề trong một miền cụ thể, anh ấy / cô …

16 reference-request satisfiability sat-solvers

2

Bộ nhớ của người kết hợp với nhau là gì?

Tôi biết rằng đơn vị xử lý đồ họa có một thứ gọi là bộ nhớ kết hợp lại. Khi đọc về nó tôi không rõ về chủ đề này. Đây có phải là bất kỳ cách nào liên quan đến Song song cấp bộ nhớ. Tôi đã tìm kiếm …

16 terminology reference-request computer-architecture memory-management

1

Các lớp phức tạp liên quan đến việc liệt kê tất cả các giải pháp?

Tôi đã đọc một câu hỏi tại Stack Overflow hỏi liệu NP -hard có liệt kê tất cả các chu kỳ đơn giản trong biểu đồ có chứa một nút cụ thể không và tôi nhận ra rằng tôi không thể nghĩ ra bất kỳ lớp phức tạp nào phù …

15 complexity-theory reference-request complexity-classes enumeration

2

Vấn đề quyết định trong

Một số ví dụ về các vấn đề quyết định khó khăn có thể được giải quyết trong thời gian đa thức là gì? Tôi đang tìm kiếm các vấn đề mà thuật toán tối ưu là "chậm" hoặc các vấn đề mà thuật toán được biết đến nhanh nhất …

15 algorithms complexity-theory reference-request

Câu hỏi được gắn thẻ «reference-request»