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

1

Tham chiếu đến giới hạn dưới trên dải phân cách trong một lưới?

Thật dễ dàng để xác minh rằng được cung cấp lưới chiều d của các điểm nguyên , với tính phụ thuộc thông thường, người ta có thể tìm thấy một dấu phân cách có kích thước (chỉ cần chọn bất kỳ siêu phẳng giữa, và loại bỏ tất cả …

13 reference-request cg.comp-geom lower-bounds

2

Phân vùng không có H

Đây là một câu hỏi lấy cảm hứng từ vấn đề cắt H-free . Cho một đồ thị, một phân vùng của đỉnh thiết lập của nó vào r phần V 1 , V 2 , ... , V r là H -miễn phí nếu G [ V i ] …

13 graph-theory np-hardness co.combinatorics

1

Không gian đánh đổi giới hạn thời gian

Sau cuộc thảo luận về giới hạn dưới cho 3SAT [ 1 ], tôi tự hỏi đâu là kết quả ràng buộc chính thấp hơn được coi là sự đánh đổi trong không gian. Tôi đang loại trừ các kết quả, chẳng hạn như định lý của Savitch; một mục …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

1

Mạch có orires so với Turing Machine với orials

Nói một cách đơn giản: sự tương ứng giữa các máy Turing với các nhà tiên tri và các họ mạch thống nhất với các nhà tiên tri là gì? Làm thế nào cái sau được định nghĩa để có được mô hình tính toán tương tự, cho một máy …

13 cc.complexity-theory turing-machines oracles circuit-families

2

Không gian phân cấp xen kẽ

Được biết đến nhờ Immerman và Szelepcsényi rằng nếu (ngay cả đối với các hàm có thể xây dựng ngoài không gian).f = Ω ( log )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)= =coNSPMộtCE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( nhật …

13 cc.complexity-theory reference-request space-bounded alternating-hierarchy

1

Tìm các lỗ lẻ trong đồ thị Paley tuần hoàn

Các đồ thị Paley P q là những đồ thị có tập đỉnh được cho bởi trường hữu hạn GF (q), cho các lũy thừa q≡1 (mod 4) và trong đó hai đỉnh liền kề nhau và chỉ khi chúng khác nhau bởi 2 đối với một số một ∈ …

13 ds.algorithms graph-theory

2

Một thuật toán sắp xếp trường hợp đặc biệt tốt là gì?

Tôi có một bộ dữ liệu là một số đối tượng được sắp xếp trong lưới 2 chiều. Tôi biết tôi có một thứ tự nghiêm ngặt, tăng dần khi bạn đi từ trái sang phải trong mỗi hàng và tăng dần từ trên xuống dưới trong mỗi cột. Ví …

13 ds.algorithms total-ordering sorting

12

Một số ứng dụng trong thế giới thực cho các thuật toán di truyền là gì?

Một số vấn đề trong thế giới thực đã được giải quyết bằng thuật toán di truyền là gì? Vấn đề là gì? Các bài kiểm tra thể dục được sử dụng để giải quyết vấn đề này là gì?

13 ds.algorithms machine-learning ai.artificial-intel application-of-theory ne.neural-evol

2

Chính xác các lớp FP, FNP và TFNP là gì?

Trong cuốn sách Tính phức tạp tính toán của mình , Papadimitriou định nghĩa FNP như sau: Giả sử rằng LLL là một ngôn ngữ trong NP . Bởi Dự 9.1, có một decidable thời gian đa thức, đa thức cân đối RLRLR_L như vậy mà cho tất cả các …

13 complexity

2

PPAD có thực sự nắm bắt được khái niệm tìm một đỉnh không cân bằng khác không?

Lớp phức tạp PPAD được phát minh bởi Christos Papadimitriou trong bài báo năm 1994 của ông . Lớp này được thiết kế để nắm bắt sự phức tạp của các vấn đề tìm kiếm trong đó sự tồn tại của một giải pháp được đảm bảo bởi "Đối số …

13 cc.complexity-theory reductions search-problem ppad

4

Chúng ta có thể nhanh chóng tạo ra mod 3 hoàn toàn thống nhất hoặc giải quyết vấn đề NP không?

Thành thật mà nói, tôi không biết nhiều về cách tạo số ngẫu nhiên (bình luận được chào đón!) Nhưng hãy giả sử mô hình lý thuyết sau: Chúng ta có thể lấy số nguyên ngẫu nhiên từ [ 1 , 2 n ][1,2n][1,2^n] và mục tiêu của chúng tôi …

13 cc.complexity-theory np-hardness randomized-algorithms

1

Giới thiệu nhẹ nhàng về các khía cạnh thuật toán của độ sâu cây

Độ rộng cây và độ rộng đường dẫn là các tham số phổ biến, đo lường mức độ gần gũi của biểu đồ với cây hoặc đường dẫn, tương ứng. Thật vậy, có vẻ như treewidth rất phổ biến, nó được xuất hiện trong nhiều bài báo, sách và ghi …

13 reference-request graph-algorithms parameterized-complexity

3

Có phải mọi thuật toán tham lam đều có cấu trúc matroid?

Nó cũng được thành lập mà cho mỗi matroid MMM và bất kỳ chức năng cân www , có lối thoát hiểm một thuật toán Tham lam (M, w )Tham lam(M,w)\mbox{GreedyBasis}(M,w) trả về một cơ sở Trọng lượng tối đa của MMM . Vậy, hướng ngược lại cũng đúng? Đó …

13 ds.algorithms greedy-algorithms

3

Các ví dụ tự nhiên của bằng chứng không tương đối là gì?

Theo tôi hiểu, một bằng chứng cho thấy P = NP hoặc P ≠ NP sẽ cần phải không tương đối (như trong các lý thuyết đệ quy đệ quy). Hầu như tất cả các bằng chứng dường như là tương đối, mặc dù. Các ví dụ tốt về các …

13 cc.complexity-theory lo.logic computability p-vs-np relativization

1

Tìm con đường ngắn nhất với sự có mặt của chu kỳ âm

Đưa ra một biểu đồ tuần hoàn có hướng trong đó trọng số của mỗi cạnh có thể âm, khái niệm "đường đi ngắn nhất" chỉ có ý nghĩa nếu không có chu kỳ âm và trong trường hợp đó bạn có thể áp dụng thuật toán Bellman-Ford. Tuy nhiên, …

13 ds.algorithms graph-algorithms shortest-path