Khoa học máy tính lý thuyết

2

Giá trị dự kiến của độ phức tạp Kolmogorov trong một mẫu ngẫu nhiên

Độ phức tạp Kolmogorov của một chuỗi là không thể tính toán được. Tuy nhiên, trong một tập hợp con ngẫu nhiên có kích thước của các chuỗi nhị phân có độ dài n , có bao nhiêu dự kiến có độ phức tạp nhỏ hơn một số nguyên n …

9 cc.complexity-theory kolmogorov-complexity

1

Các nghiên cứu có hệ thống về tổng các đa thức bậc hai bình phương

Tôi tự hỏi liệu có tồn tại các nghiên cứu có hệ thống về tổng các hình thức bậc hai bình phương, tương tự như các hình thức bậc hai, được phản ánh thực tế trong phân rã eigenvalue (có ý nghĩa thực tiễn rất lớn). Vài ví dụ liên …

9 ds.algorithms polynomials semidefinite-programming

2

Số lượng ấn phẩm trung bình hàng năm cho CS postdocs

Số lượng ấn phẩm trung bình (bao gồm cả thủ tục hội nghị), mỗi năm, cho các nhà nghiên cứu sau tiến sĩ CS ở Mỹ là bao nhiêu? Các cách để tìm hiểu hoặc ước tính con số này là gì?

9 soft-question advice-request research-practice career

3

Có bao nhiêu từ có độ dài

EDITED TO ADD : Câu hỏi này về cơ bản đã được trả lời; vui lòng xem mục blog này để biết thêm chi tiết. Cảm ơn tất cả những người đã đăng ý kiến và câu trả lời ở đây. CÂU HỎI GỐC Đây là phiên bản thông minh …

9 co.combinatorics

1

Vai trò của tính toán hai màu là gì?

Vì vậy, tôi đang đọc một chút về công phu, đặc biệt là các thuật toán dựa trên Công thức tính toán hai màu và tôi hơi bối rối. Tôi không hiểu chính xác mục đích của là gì. Nó dường như giống hệt với C C ngoại trừ có …

9 type-theory lambda-calculus type-inference dependent-type

2

Các thuật toán hiệu quả để tìm kiếm một bộ sưu tập cây

Tôi có một tập dữ liệu lớn về cây và tôi muốn tìm kiếm nó bằng cách chỉ định một treelet (sơ đồ con được kết nối). Truy vấn sẽ trả về tất cả các phần của treelet trong tập dữ liệu. Có thuật toán hiệu quả để làm như …

9 graph-algorithms ds.data-structures tree graph-isomorphism string-search

2

Điểm khởi đầu cho các thuật toán lãng quên bộ nhớ cache?

Tôi rất thú vị khi tìm hiểu thêm về các thuật toán và cấu trúc dữ liệu bị lãng quên trong bộ nhớ cache, nhưng có rất nhiều bài báo ngoài kia mà tôi thực sự không biết bắt đầu từ đâu. Tôi đã tìm thấy luận điểm ban đầu …

9 ds.algorithms reference-request cache-oblivious

2

Có phải vài trăm bước giảm quá nhiều để có được dạng Y bình thường ⌜3⌝ không?

Khi tôi đang giảng dạy cơ sở của λ-tính toán gần đây, tôi đã thực hiện một trình đánh giá calcul-tính toán đơn giản trong Common Lisp. Khi tôi hỏi hình thức bình thường Y fac 3trong việc giảm thứ tự thông thường, phải mất 619 bước, có vẻ hơi …

9 lo.logic lambda-calculus

2

Phương pháp biểu mẫu bình thường của Chomsky: Ý nghĩa hiệu năng của trình phân tích cú pháp CYK?

Trình phân tích cú pháp biểu đồ có thể được thực hiện dựa trên mẫu bình thường Chomsky hoặc trực tiếp dựa trên quy tắc sản xuất. Cho đến lúc này giả sử chúng ta có một trình phân tích cú pháp biểu đồ CYK sử dụng dạng bình thường …

9 fl.formal-languages parsing

1

Vấn đề vị trí cơ sở điện dung Euclide

Trong Cơ sở hi nti Location Vấn đề (CFLP) , chúng tôi được cung cấp một tập hợp các khách hàng và một tập hợp các cơ sở tiềm năng . Mỗi khách hàng có một nhu cầu phải được phục vụ bởi một hoặc nhiều cơ sở mở. Mỗi …

9 ds.algorithms cg.comp-geom approximation-algorithms

2

Tôi có thể ràng buộc số lượng thẻ của một tập hợp nếu việc kiểm tra tư cách thành viên trong đó được biết là hoàn thành NP không?

Tôi muốn có một ràng buộc về tính chính xác của tập hợp các biểu đồ đĩa đơn vị với đỉnh. Được biết, việc kiểm tra xem đồ thị có phải là thành viên của bộ này hay không là NP-hard. Liệu điều này dẫn đến bất kỳ thấp hơn …

9 cc.complexity-theory graph-theory

1

Vĩnh viễn một ma trận và từ các định thức

Đặt là ma trận hoặc với các mục . Ai đó có thể cung cấp cho tôi một ma trận để không? B rõ ràng nhỏ nhất được biết là gì mà \ operatorname {per} (A) = \ det (B) ? Bất kỳ tài liệu tham khảo về điều này …

9 cc.complexity-theory algebraic-complexity permanent

2

Con đường ngắn nhất không cho phép mỗi cạnh

Tôi đánh giá cao bất kỳ con trỏ hoặc điều khoản nào có thể giúp tôi bắt đầu đi đúng hướng. Chúng ta có một đồ thị có hướng và độ dài l i j cho mỗi cạnh i j có thể được giả định là dương. Có một nút …

9 ds.algorithms reference-request graph-algorithms

1

Nhúng một đồ thị như một bộ sưu tập tứ diện phân biệt nội tâm

Xác định một lưới trong không gian 3D như một bộ sưu tập được kết nối của tứ diện với nội thất rời nhau (do đó tứ diện phần chỉ k-khuôn mặt, ). Đưa ra một biểu đồ tùy ý, có một quy trình hiệu quả để kiểm tra nếu …

9 ds.algorithms graph-theory

2

Liệu thứ tự khai báo trong một loại quy nạp có vấn đề?

Tôi đã tự hỏi nếu thứ tự khai báo của một loại quy nạp có thể quan trọng. Ví dụ: trong Coq, bạn có thể xác định Natbằng cách: Inductive Nat := | O : Nat | S : Nat -> Nat. hoặc là Inductive Nat := | S : …

9 lo.logic type-theory coq dependent-type