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

1

Tôi dạy cận dưới ngày hôm nay, và một trong những sinh viên được hỏi về lý do cho tên Một C . Giải thích chính thức là "A" là viết tắt của "Alternation".AC0AC0AC^0ACACAC Tôi mơ hồ nhớ được nói nhiều năm trước rằng Nick Pippenger Steve Cook đã đặt …

17 cc.complexity-theory reference-request ho.history-overview

2

Giới thiệu nhẹ nhàng về đẳng cấu đồ thị cho đồ thị hóa trị giới hạn

Tôi đọc về lớp học của đồ thị mà phép đẳng cấu đồ thị ( ) là P . Một trong những trường hợp như vậy là đồ thị hóa trị giới hạn (tối đa trên mức độ của mỗi đỉnh) như được giải thích ở đây . Nhưng tôi …

17 ds.algorithms reference-request graph-theory graph-isomorphism

1

tính toán NFA tối thiểu cho một DFA

Nhiều năm trước tôi đã nghe nói rằng tính toán NFA tối thiểu (máy tự động hữu hạn hữu hạn) từ DFA (xác định) là một câu hỏi mở, trái ngược với hướng ngược lại đã được biết đến trong nhiều thập kỷ và được nghiên cứu kỹ với hiệu …

17 ds.algorithms reference-request fl.formal-languages automata-theory optimization

3

Phần mở rộng tối thiểu của FO thu hút lớp ngôn ngữ thông thường là gì?

Bối cảnh: mối quan hệ giữa logic và automata Định lý của Büchi nói rằng logic thứ tự đơn thứ hai trên chuỗi (MSO) nắm bắt lớp ngôn ngữ thông thường. Bằng chứng thực sự cho thấy rằng MSO tồn tại ( hoặc EMSO ) qua các chuỗi là đủ …

17 reference-request lo.logic regular-language finite-model-theory

1

Sử dụng sức mạnh thêm của phương pháp đối nghịch tiêu cực

Phương pháp đối nghịch phủ định ( ) là một SDP đặc trưng cho độ phức tạp của truy vấn lượng tử. Đó là một khái quát của phương pháp đối nghịch được sử dụng rộng rãi ( ) và vượt qua hai rào cản cản trở phương pháp đối …

17 cc.complexity-theory reference-request quantum-computing query-complexity property-testing

1

Sự phức tạp của một vấn đề mạng chuyển đổi

Một mạng chuyển đổi (tên được phát minh) được tạo với ba loại nút: một nút Bắt đầu một nút kết thúc một hoặc nhiều nút chuyển đổi Nút chuyển đổi có 3 lối thoát: Trái, Lên, Phải; có hai trạng thái L và R và trạng thái đích TL …

17 ds.algorithms reference-request graph-algorithms np

1

Xấp xỉ để đếm số lượng đường dẫn

Tôi đã được thông báo rằng có một số thuật toán thời gian đa thức tốt để tính gần đúng số lượng đường dẫn đơn giản trong đồ thị có hướng từ đỉnh bắt đầu đến đỉnh kết thúc t . Có ai biết một tài liệu tham khảo tốt …

17 ds.algorithms reference-request graph-algorithms approximation-algorithms counting-complexity

1

Tích chập nhanh trên các trường hữu hạn nhỏ

Các phương pháp được biết đến tốt nhất để tích chập tuần hoàn có độ dài trên một trường nhỏ, tức là khi | F | ≪ n ? Tôi đặc biệt quan tâm đến các trường có kích thước không đổi, hoặc thậm chí F = F 2 . …

17 ds.algorithms reference-request

2

Độ phức tạp tham số của số giao cắt đồ thị

Điều gì xảy ra nếu có bất cứ điều gì được biết về độ phức tạp được tham số hóa của việc tính toán số giao điểm của đồ thị (số lượng nhỏ nhất của các cụm sao cần thiết để bao gồm tất cả các cạnh của nó)? Từ …

17 ds.algorithms reference-request graph-algorithms parameterized-complexity

1

Phân tích quả bóng và thùng trong chế độ m >> n.

Người ta biết rằng nếu bạn ném n quả bóng vào n thùng, thùng được nạp nhiều nhất rất có thể có bóng trong đó. Nói chung, người ta có thể hỏi về quả bóng trong thùng. Một bài báo từ RANDOM 1998 của Raab và Steger khám phá điều …

17 reference-request pr.probability

3

Ngữ nghĩa chính thức của ngôn ngữ lập trình

Tôi chưa quen với lý thuyết ngôn ngữ lập trình và tôi đang tìm kiếm một nguồn tài nguyên tốt về tài nguyên cho ngữ nghĩa chính thức của ngôn ngữ lập trình. Cụ thể tìm kiếm ngữ nghĩa hoạt động cấu trúc. Tôi đã nhận được một số khuyến …

17 reference-request pl.programming-languages semantics formal-systems

4

Sự phức tạp của việc tìm kiếm một giải pháp thứ hai đưa ra một giải pháp chính xác cho một vấn đề hoàn chỉnh NP

Tôi đang tìm hiểu xem có bất kỳ kết quả chung nào về hoặc các ví dụ liên quan đến tính đầy đủ của NP trong vấn đề tìm giải pháp thứ hai cho vấn đề hoàn thành NP hay không. Chính xác hơn, tôi quan tâm đến bất kỳ …

17 cc.complexity-theory reference-request np-hardness unique-solution

4

Các ứng dụng của cấu trúc số liệu trên posets / mạng trong lý thuyếtCS

Vì thuật ngữ này là quá tải, nên một định nghĩa ngắn gọn đầu tiên. Một poset là một tập ban cho một thứ tự một phần . Cho hai phần tử , chúng ta có thể định nghĩa (tham gia) là giới hạn trên nhỏ nhất của chúng trong …

17 reference-request co.combinatorics metrics lattice order-theory

1

Cấu trúc của các trường hợp bệnh lý cho các thuật toán đơn giản

Theo như tôi hiểu, tất cả đều biết các quy tắc trục xác định cho thuật toán đơn giản có các đầu vào cụ thể mà thuật toán yêu cầu thời gian theo cấp số nhân (hoặc ít nhất là không phải đa thức) để tìm ra tối ưu. Chúng …

17 cc.complexity-theory reference-request linear-programming simplex

3

Đại diện chính thức của các vòng trong tính toán

Trong khi đọc một bài báo về việc sử dụng các phương pháp đại số để phát hiện một số sơ đồ con cảm ứng, có vẻ như lý tưởng cạnh là một công cụ quan trọng kết nối đại số giao hoán và lý thuyết đồ thị. Vì tôi …

17 ds.algorithms reference-request algebra algebraic-complexity

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