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

3

Tôi đang tìm kiếm một thuật toán để hợp nhất hai cây tìm kiếm nhị phân có kích thước và phạm vi tùy ý. Cách rõ ràng mà tôi sẽ thực hiện về việc này là tìm toàn bộ các cây con có phạm vi có thể vừa với một …

17 ds.algorithms ds.data-structures tree

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

2

Sự quyết định của mê cung fractal

Một mê cung fractal là một mê cung chứa bản sao của chính nó. Ví dụ, bài sau của Mark JP Wolf từ bài viết này : Bắt đầu tại MINUS và tìm đường đến PLUS. Khi bạn nhập một bản sao nhỏ hơn của mê cung, hãy nhớ ghi …

17 computability fractals

1

Kết nối đồ thị bằng cách loại bỏ cạnh và đỉnh

Hãy để chúng tôi nói rằng một đồ thị là kết nối nếu việc loại bỏ bất kỳ đỉnh và bất kỳ cạnh nào từ luôn luôn là một đồ thị được kết nối. Ví dụ, một đồ thị được kết nối , theo định nghĩa tiêu chuẩn, là kết …

17 ds.algorithms graph-theory graph-algorithms

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

2

Vị thành niên bị cấm đối với đồ thị treewidth giới hạn

Câu hỏi này tương tự như một trong những câu hỏi trước đây của tôi. Được biết, là một thứ yếu bị cấm đối với đồ thị của treewidth nhiều nhất là .Kt+2Kt+2K_{t+2}ttt Có một nhóm đồ thị vô tận được xây dựng, tham số hóa, vô hạn (không phải …

17 graph-theory co.combinatorics treewidth graph-minor

5

Các ứng dụng trong thế giới thực của điện toán lượng tử (trừ bảo mật)

Giả sử rằng chúng ta đã chế tạo một máy tính lượng tử phổ quát. Ngoại trừ các vấn đề liên quan đến bảo mật (mật mã, quyền riêng tư, ...) mà các vấn đề trong thế giới thực hiện tại có thể được hưởng lợi từ việc sử dụng …

17 quantum-computing application-of-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

2

Có bao nhiêu tautology?

Cho m,n,km,n,km, n, k , có bao nhiêu kkk -DNF với biến và mệnh đề là tautology? (hoặc có bao nhiêu -CNF không thỏa mãn?)m knnnmmmkkk

17 co.combinatorics lo.logic sat

2

Tầm quan trọng của ACM / IEEE trong hội nghị TCS

Gần đây tôi đã ở trong một hội nghị được hỗ trợ ACM. Trong bữa tiệc, các nhà tổ chức hội nghị đã nói với chúng tôi về tương lai và quá khứ của hội nghị. Họ nói với chúng tôi rằng trong phiên bản năm 2010 của hội nghị, …

17 soft-question conferences

2

NP-độ cứng mạnh thực sự có thể được hiển thị bằng cách sử dụng giảm polytime đơn giản?

Gần đây tôi đã đọc một bằng chứng có ý định chỉ ra rằng một vấn đề là NP-hard mạnh, chỉ đơn giản bằng cách giảm nó (trong thời gian đa thức) từ một vấn đề NP-hard mạnh. Điều này không có ý nghĩa gì với tôi. Tôi đã nghĩ …

17 cc.complexity-theory np-hardness reductions

2

Sắp xếp theo khoảng cách Euclide

SSS là tập hợp các điểm trên mặt phẳng. Một điểm ngẫu nhiên được cho trên cùng một mặt phẳng. Nhiệm vụ là sắp xếp tất cả theo khoảng cách Euclide giữa và .x∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy Cách tiếp cận không có não là tính khoảng cách giữa và …

17 cg.comp-geom sorting

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

2

Có một lập luận đơn giản nào cho thấy các phỏng đoán trò chơi độc đáo ngụ ý định lý PCP

làm thế nào người ta có thể chỉ ra rằng mối quan hệ giữa "phỏng đoán trò chơi độc đáo" và "định lý PCP" là gì? làm thế nào để giải thích "phỏng đoán trò chơi độc đáo" là dạng "định lý PCP" mạnh hơn?

17 cc.complexity-theory pcp unique-games-conjecture