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

Một giảm là sự chuyển đổi của một vấn đề thành một vấn đề khác. Một ví dụ về việc sử dụng giảm sẽ là hiển thị nếu một vấn đề P là không thể giải quyết được. Điều này sẽ đạt được bằng cách chuyển đổi hoặc thực hiện giảm vấn đề quyết định $P$ vào một vấn đề không thể giải quyết được Nếu điều này có thể đạt được thì chúng tôi đã chỉ ra rằng vấn đề P này là không thể giải quyết được.

Cải thiện mức giảm chung của Cook cho Clique to SAT?

Tôi quan tâm đến việc giảm -Clique thành SAT mà không làm cho ví dụ lớn hơn nhiều.kkk Clique nằm trong NP nên có thể giảm xuống SAT bằng không gian logarit. Việc giảm bớt sách giáo khoa đơn giản của Garey / Johnson sẽ làm tăng thể tích lên …

10 cc.complexity-theory sat reductions clique

Giảm các vấn đề khó khăn cho các mô hình vật lý

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 …

10 cc.complexity-theory reductions physics formal-modeling

Bằng chứng về độ phức tạp Kolmogorov là không thể tính được bằng cách sử dụng các mức giảm

Tôi đang tìm kiếm một bằng chứng cho thấy sự phức tạp của Kolmogorov là không thể tính toán được bằng cách sử dụng một giảm từ một vấn đề không thể giải quyết khác. Bằng chứng phổ biến là sự chính thức hóa nghịch lý của Berry chứ không …

9 computability reductions kolmogorov-complexity

Bất kỳ công thức SAT / SMT nào của VRP / VRPTW (TSP, Lập kế hoạch cửa hàng công việc)?

Tôi tự hỏi liệu chúng có phải là bất kỳ cách tiếp cận nào hình thành vấn đề Định tuyến xe cộ với Thời gian-Windows ( VRPTW ) (như một vấn đề quyết định) như là một ví dụ SAT / SMT không? (thay thế: TSP) Ví dụ: "Có giải …

9 ds.algorithms reference-request sat reductions tsp

Một vấn đề phân vùng trong đó một số số có thể bị cắt

Trong bài toán phân vùng tiêu chuẩn , chúng tôi được cung cấp một số số có tổng là 2 s2s2s và phải quyết định xem chúng có thể được phân chia thành hai tập con có tổng là s khôngss . Nó được biết đến là NP-cứng. Tuy nhiên, …

8 np-hardness reductions partition-problem

Xác minh sự tinh tế của bằng chứng ban đầu của Karp rằng SAT có thời gian đa thức giảm xuống còn 3SAT

Nói ngắn gọn, câu hỏi của tôi là: bằng chứng ban đầu của Karp có giảm SAT xuống 3SAT không cần thiết không? Cac chi tiêt như sau. Trong bài viết về khả năng giảm thiểu trong số các vấn đề kết hợp năm 1972 , Karp đã chứng minh …

8 cc.complexity-theory sat reductions

Bằng chứng độ cứng NP: tìm kiếm một số vấn đề np-hard bị hạn chế tốt

Để hiển thị độ cứng NP của một vấn đề, người ta cần chọn một vấn đề NP-hard đã biết và tìm cách giảm đa thức từ vấn đề đã biết đến vấn đề của mình. Về mặt lý thuyết, bất kỳ vấn đề NP-hard nào cũng có thể được …

8 np-hardness reductions

Vấn đề đồ thị con được kết nối tối đa trong đồ thị phẳng

Vấn đề đồ thị con được kết nối trọng lượng tối đa như sau: Input: một đồ thị G=(V,E)G=(V,E)G=(V,E) và một trọng lượng wiwTôiw_i (có thể là tiêu cực) cho mỗi đỉnh i∈VTôi∈Vi \in V . Đầu ra: một tập hợp con có trọng số tối đa SSS của các …

8 reference-request np-hardness reductions planar-graphs

Đếm giảm từ #SAT xuống #HornSAT?

Có thể tìm cách giảm đếm từ #SAT xuống #HornSAT không? Tôi chưa tìm thấy câu hỏi này được đăng ở đây, vì vậy quyết định kiểm tra xem có ai có câu trả lời nào không. Hãy để tôi giải thích những gì tôi có nghĩa là bằng cách …

8 cc.complexity-theory complexity-classes sat counting-complexity reductions

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.

Licensed under cc by-sa 3.0 with attribution required.