Đặt là một đồ thị vô hướng. Một phép phân tách V thành các tập con tách rời V i được gọi là phép phân tách Hamilton của G nếu sơ đồ con được tạo bởi mỗi tập V i là một đồ thị Hamilton hoặc bao gồm một cạnh …
Ma trận Moore tương tự như ma trận Vandermonde nhưng có định nghĩa được sửa đổi một chút. http://en.wikipedia.org/wiki/Moore_matrix Sự phức tạp của tính toán yếu tố quyết định của một nhất định là gì n×nn×nn \times n bậc đầy đủ Moore ma trận modulo một số nguyên nào? Cần …
Tôi đang tìm kiếm các ví dụ về các vấn đề khó khăn (trong NP hoặc khó hơn) từ khoa học máy tính có thể được giảm xuống thành các mô hình của các quy trình vật lý. Ví dụ, max-2-sat có thể được giảm đến mức giảm thiểu năng …
Bối cảnh: Chúng tôi chỉ xem xét sơ đồ. Đặt CYCLE là ngôn ngữ của đồ thị với một chu kỳ; nó là một vấn đề hoàn chỉnh NL. Đặt HASEDGE là ngôn ngữ của đồ thị có ít nhất một cạnh. Sau đó trivially, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} không còn …
Giả sử là ngôn ngữ Boolean, có chuỗi hữu hạn trên { 0 , 1 } . Gọi L n là số chuỗi trong L có độ dài n . Đối với hàm d ( n ) từ số nguyên dương đến số thực dương, L có mật độ trên …
Một ngôn ngữ nằm trong lớp iff có hai ngôn ngữ và sao choLLLL 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2DPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Một vấn đề -complete chính quy là SAT-UNSAT: đưa ra …
Cho một đồ thị hỗn hợp G=(V,E,A)G=(V,E,A)G=(V,E,A) với các cạnh EEE và cung AAA , tìm một kết quả khớp trong EEE để giảm thiểu số lượng cung trong G/MG/MG/M , trong đó G/MG/MG/M thu được từ GGG bằng cách hợp đồng các đỉnh khớp và loại bỏ cung song …
Tôi đang đọc bài khảo sát xuất sắc của Watpy trên giấy về lý thuyết phức tạp lượng tử. Trong đó, ông tuyên bố rằng sẽ rất ngạc nhiên nếu một vấn đề hoàn chỉnh của QMA được phát hiện có một lời hứa trống rỗng (Ie Be a Language). …
Công thức CNF đơn điệu với m thuật ngữ trên n biến ( ) là một công thức có dạng f (x_1, \ ldots, x_n) = \ bigwedge C_i , trong đó mỗi C_i là một OR của một số tập hợp con của các biến x_1, \ ldots, x_n …
Với một đạo diễn đồ thị và hai đỉnh . Một cặp đường dẫn đơn giản từ đến là cạnh nhau nếu chúng không chia sẻ một cạnh.s , t ∈ V p 1 , p 2 s tG = ( V, E)G= =(V,E)G = (V,E)s , t ∈ VS,t∈Vs,t …
Mặc dù sự phân tách theo cấp số nhân giữa độ phức tạp truy vấn lượng tử lỗi ( ) và độ phức tạp truy vấn xác định ( ) hoặc độ phức tạp truy vấn ngẫu nhiên lỗi ( ) đã biết, chúng chỉ áp dụng cho một số …
Một chương trình span là một cách đại số tuyến tính để chỉ định một hàm boolean được giới thiệu ở đây . Gần đây, mô hình này đã được sử dụng để chỉ ra rằng phương pháp đối nghịch phủ định cung cấp một đặc tính chặt chẽ (ít …
Tóm lại, các định lý phân cấp thời gian nói rằng một máy Turing có thể giải quyết nhiều vấn đề hơn nếu nó có nhiều thời gian hơn cho việc tính toán. Cụ thể cho TM xác định và các hàm có thể xây dựng theo thời gian với …