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 địnhPvà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.

4
Giảm SAT trực tiếp xuống 3-SAT
Ở đây, mục tiêu là giảm một vấn đề SAT tùy ý xuống còn 3-SAT trong thời gian đa thức bằng cách sử dụng số lượng mệnh đề và biến số ít nhất. Câu hỏi của tôi được thúc đẩy bởi sự tò mò. Ít chính thức hơn, tôi muốn …
1
Độ sâu giảm tối thiểu cần thiết cho độ cứng NP của SAT là bao nhiêu?
Như mọi người đều biết, SAT hoàn thành cho việc giảm nhiều lần một đa thức wrt. Nó vẫn hoàn thành wrt A C 0 nhiều giảm một.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Câu hỏi của tôi là độ sâu tối thiểu cần thiết cho việc giảm là gì? Chính thức hơn, Nhất là gì …
1
Chậm nhất nhiều giảm một?
Khi chúng tôi muốn chứng minh rằng một là -complete, sau đó cách tiếp cận giữa các ý kiến để triển lãm trong một thời gian đa thức tính toán giảm nhiều-một trong những nổi tiếng vấn đề -complete để . Trong bối cảnh này, chúng tôi không cần ràng …
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.