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

6

Sự khác biệt của việc gọi -calculus là đại số thay vì tính toán là gì? Tôi nêu câu hỏi này bởi vì tôi đã đọc ở đâu đó dòng " -calculus không phải là một phép tính mà là một đại số" (iirc, quy cho Dana Scott). Điểm là …

11 soft-question lambda-calculus

1

Độ phân giải / thuật toán để kiểm tra tính phổ quát của bộ cổng lượng tử

Cho một tập hợp hữu hạn các cổng lượng tử , liệu có thể quyết định (theo nghĩa lý thuyết tính toán) liệu có phải là một bộ cổng phổ quát không? Một mặt, các bộ cổng "gần như tất cả" là phổ quát, mặt khác, các bộ cổng không …

11 quantum-computing

5

Làm thế nào để tìm một chủ đề nghiên cứu cụ thể để tập trung vào?

Gần đây tôi đã bắt đầu khóa học thạc sĩ của mình. Học kỳ trước tôi đã tham gia các khóa học từ các ngành khác nhau như mạng, công nghệ phần mềm, kiến trúc, v.v. Gần đây, sau khi tham gia khóa học nâng cao về thuật toán và …

11 soft-question career

3

Tìm khoảng cách ngắn nhất theo chiều ngang của các điểm trong o (n log n)?

Bài tập sau đây đã được trao cho các sinh viên mà tôi giám sát: Cho nnn điểm trong mặt phẳng, nghĩ ra thuật toán tìm một cặp điểm có khoảng cách là tối thiểu trong số tất cả các cặp điểm. Thuật toán sẽ chạy trong thời gian o …

11 ds.data-structures cg.comp-geom

3

Loại hệ thống dựa trên lý thuyết tập ngây thơ

Theo tôi hiểu, trong các loại dữ liệu khoa học máy tính không dựa trên lý thuyết tập hợp vì những điều như nghịch lý của Russell, nhưng như trong các ngôn ngữ lập trình trong thế giới thực, chúng ta không thể diễn tả các loại dữ liệu phức …

11 type-theory set-theory type-systems

3

Giới hạn về các khoảnh khắc tần số xấp xỉ

Hãy để là một chuỗi các số nguyên trong đó mỗi một j ∈ { 1 , 2 , ... , n } . Với i ∈ { 1 , 2 , Hoài , n } , hãy để m i = | { j : a j = i …

11 ds.algorithms reference-request communication-complexity data-streams

3

Tính khoảng cách với xấp xỉ nhỏ hơn 2 trong đồ thị chung?

Đưa ra một đồ thị vô hướng có trọng số với các cạnh m=o(n2)m=o(n2)m = o(n^2) , tôi muốn tính khoảng cách gần đúng nhỏ hơn 2 giữa bất kỳ cặp đỉnh nào. Tất nhiên, tôi muốn sử dụng không gian truy vấn con và thời gian truy vấn con. …

11 ds.algorithms graph-algorithms

3

So sánh DAG hiệu quả qua mạng

Trong các hệ thống kiểm soát phiên bản phân tán (như Mercurial và Git ), cần phải so sánh hiệu quả các đồ thị chu kỳ có hướng (DAG). Tôi là một nhà phát triển Mercurial và chúng tôi sẽ rất thích nghe về công việc lý thuyết thảo luận …

11 cc.complexity-theory dc.distributed-comp directed-acyclic-graph

1

Tiền xử lý tối ưu cho các loại truy vấn nhất định

Giả sử chúng ta có một -nửa nhóm với các yếu tố S = { s 1 , s 2 , ... , s n } . Mục tiêu của chúng tôi là để tính toán sản phẩm s i ∘ s i + 1 ∘ ⋯ ∘ s j …

11 cc.complexity-theory graph-theory ds.data-structures

2

Phòng trưng bày nghệ thuật biến thể với tầm nhìn cặp?

Vấn đề phòng trưng bày nghệ thuật truyền thống thiết lập một khu vực và những người bảo vệ với một số khái niệm về tầm nhìn, và yêu cầu số lượng bảo vệ tối thiểu cần được đặt để xem toàn bộ khu vực. Có ai đã từng nhìn …

11 reference-request cg.comp-geom

1

Sự phức tạp của việc đếm số lượng giải pháp của một vấn đề P-Space Complete là gì? Làm thế nào về các lớp phức tạp cao hơn?

Tôi đoán nó sẽ được gọi là # P-Space nhưng tôi chỉ tìm thấy một bài báo mơ hồ đề cập đến nó. Làm thế nào về phiên bản đếm của các vấn đề EXP-TIME-Complete, NEXP-Complete cũng như EXP-SPACE-Complete? Có bất kỳ công việc nào trước đây mà người ta …

11 cc.complexity-theory complexity-classes counting-complexity pspace

1

Số lượng các lớp tương đương trong các ngôn ngữ thông thường là một hàm của kích thước DFA

Câu hỏi này liên quan đến một câu hỏi gần đây của Janoma . Lý lịch Trong chương trình hạn chế, một thường xuyên toàn cầu hạn chế trên một miền là một cặp với một tuple của các biến (phạm vi) và một DFA trên miền . Việc gán …

11 co.combinatorics fl.formal-languages automata-theory regular-language

1

Chúng ta biết gì về quá trình chuyển pha của các vấn đề # P-Complete?

Điều gì được biết về quá trình chuyển pha trong các vấn đề # P-Complete? Cụ thể, có tồn tại một giai đoạn chuyển tiếp khác nhau cho # DNF-k-SAT và # CNF-k-SAT không? Cập nhật: Như chúng ta đã biết, có một giai đoạn chuyển tiếp trong Random k-SAT …

11 cc.complexity-theory counting-complexity phase-transition

3

Tại sao các vấn đề NPI không phải tất cả đều phức tạp?

Làm thế nào để một người nhìn vào một vấn đề và lý do rằng nó có khả năng là NP-Trung gian trái ngược với NP-Complete? Việc xem xét một vấn đề thường khá đơn giản và cho biết đó có phải là NP-Complete hay không nhưng đối với tôi, …

11 cc.complexity-theory complexity-classes np-intermediate

2

Khả năng quyết định bình đẳng của CFL

Vấn đề sau đây là quyết định: Cho một ngữ pháp không ngữ cảnh , L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Vấn đề sau đây là không thể giải quyết được: Cho một ngữ pháp không ngữ cảnh , L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) …

11 computability fl.formal-languages