Khoa học máy tính

5

Là 2 ** x để tính toán nhanh hơn exp (x)?

Tha thứ cho sự ngây thơ sẽ rõ ràng trong cách tôi hỏi câu hỏi này cũng như thực tế là tôi đang hỏi nó. Các nhà toán học thường sử dụng expexp\exp vì đây là cơ sở đơn giản / đẹp nhất trong lý thuyết (do tính toán). Nhưng …

12 binary-arithmetic numerical-analysis numeral-representations

4

Liên minh các ngôn ngữ thông thường không thường xuyên

Tôi đã bắt gặp câu hỏi đó: "Cho ví dụ về hai ngôn ngữ thông thường mà liên minh của họ không tạo ra ngôn ngữ thông thường." Điều này khá sốc đối với tôi vì tôi tin rằng các ngôn ngữ thông thường bị đóng cửa dưới sự kết …

12 formal-languages regular-languages closure-properties

2

Tại sao bài toán bao trùm k giới hạn NP-hoàn thành?

Các -bounded kéo dài vấn đề cây là nơi bạn có một đồ thị vô hướng G ( V , E ) và bạn phải quyết định có hay không nó có một cây bao trùm như vậy mà mỗi đỉnh có một mức độ tối đa là k .kkkG …

12 spanning-trees

1

Chọn tập hợp con để tối đa hóa khoảng cách tối thiểu giữa các điểm

Tôi có một tập hợp các điểm CCC và tôi có khoảng cách giữa mỗi điểm D(Pi,Pj)D(Pi,Pj)D(P_i,P_j) . Những khoảng cách này là euclid nhưng các điểm thực sự nằm trong một không gian đặc trưng. Từ điểm CCC tôi muốn chọn tập con gồm nnn điểm. Gọi tập con …

12 optimization

4

Là máy tính lượng tử tương tự?

Chúng ta đã từng có máy tính tương tự vài thập kỷ trước. Máy tính hiện đại ngày nay là Digital. Còn máy tính lượng tử thì sao? Nó là tương tự hay kỹ thuật số? Tôi đang hỏi điều này vì qubit có thể là nhiều thứ cùng một …

12 quantum-computing

2

Có người thu gom rác nào tính đến phân trang không?

Bộ sưu tập rác phải ghé thăm tất cả các đối tượng còn sống, để tìm bộ nhớ có thể được thu hồi. (Có nhiều thế hệ 'chỉ trì hoãn điều này một chút) Tất cả mọi thứ đều bình đẳng, rõ ràng tốt hơn là lần đầu tiên truy …

12 memory-management paging garbage-collection

9

Chính xác thì thuật toán là gì?

Tôi biết rằng điều này nghe có vẻ hơi khó hiểu, thực tế tôi đã luôn nghĩ bên trong chiếc hộp, nhưng gần đây tôi đã nghĩ, có thể vì khoa học máy tính cung cấp một mức độ tự do cao, về những cách để đưa ra các chương …

12 algorithms

2

Tính toán Lambda: sự khác biệt giữa bối cảnh và bối cảnh đánh giá

Đầu tiên, tôi muốn nói rằng văn bản của tôi dưới đây có thể có lỗi, vì vậy, vui lòng chỉ ra bất kỳ lỗi nào trong cách xây dựng câu hỏi của tôi. Hãy xem xét một phép tính lambda chưa được đánh dấu với booleans và if-statement có …

12 programming-languages lambda-calculus

1

Có ngôn ngữ nào có thể diễn đạt trình biên dịch Turing-Complete của riêng mình không?

Một nhận xét trên tex.SE làm tôi tự hỏi. Tuyên bố về cơ bản là: Nếu tôi có thể viết trình biên dịch cho ngôn ngữ X bằng ngôn ngữ X, thì X là Turing-Complete. Trong khả năng tính toán và ngôn ngữ chính thức, đây là: Nếu quyết định …

12 computability turing-completeness

3

Bộ giải SAT đa điểm

Tôi đang cố gắng giải bài toán 25k mệnh đề 5k biến SAT. Vì nó đã chạy được một giờ (preosat) và tôi muốn giải quyết những vấn đề lớn hơn sau đó, tôi đang tìm kiếm một SAT-Solver đa lõi. Vì dường như có nhiều SAT-Solvers, tôi khá lạc …

12 algorithms reference-request parallel-computing sat-solvers

2

Máy Turing băng đơn có đầu vào được bảo vệ chống ghi chỉ nhận ra Ngôn ngữ thông thường

Đây là vấn đề: Chứng minh rằng các máy Turing băng đơn không thể ghi trên phần băng chứa chuỗi đầu vào chỉ nhận ra các ngôn ngữ thông thường. Ý tưởng của tôi là chứng minh rằng TM cụ thể này tương đương với DFA. Sử dụng TM này …

12 formal-languages computability regular-languages turing-machines automata

2

Làm thế nào để mã hóa ngày là đầu vào trong mạng thần kinh?

Tôi đang sử dụng mạng lưới thần kinh để dự đoán một chuỗi thời gian. Câu hỏi tôi phải đối mặt bây giờ là làm thế nào để tôi mã hóa ngày / giờ / số không. của mỗi đầu vào được đặt làm đầu vào cho mạng thần kinh? …

12 machine-learning artificial-intelligence neural-networks

3

Mối quan hệ giữa lý thuyết loại Russell và hệ thống loại

Gần đây tôi nhận ra rằng có một số loại quan hệ giữa lý thuyết loại Russell và hệ thống loại, như được tìm thấy, ví dụ như trong Haskell. Trên thực tế, một số ký hiệu cho các loại trong Haskell dường như có tiền thân trong lý thuyết …

12 programming-languages type-theory

2

CoNP-đầy đủ có nghĩa là độ cứng NP?

CoNP-đầy đủ có nghĩa là độ cứng NP? Cụ thể, tôi có một vấn đề mà tôi đã chứng minh là hoàn thành coNP. Tôi có thể khẳng định rằng đó là NP-hard không? Tôi nhận ra rằng tôi có thể yêu cầu độ cứng coNP, nhưng tôi không chắc …

12 complexity-theory np-hard

1

Đếm số lượng tổng từ các phân đoạn liền kề của một mảng

Chúng tôi đang đưa ra một mảng với tất cả một [ i ] > 0 .a[1…n]a[1…n]a[1 \ldots n]a[i]>0a[i]>0a[i]>0 Bây giờ chúng ta cần phải tìm bao nhiêu tiền riêng biệt có thể được hình thành từ subarrays của nó (nơi một mảng con là một phạm vi tiếp giáp …

12 arrays substrings suffix-array