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

Trong khả năng tính toán và độ phức tạp, việc tìm ra ánh xạ giữa các vấn đề cho phép giải quyết một vấn đề bằng cách sử dụng giải pháp của một vấn đề khác. Để giảm lý thuyết ngôn ngữ lập trình (ví dụ: giảm beta), hãy xem [lambda-tính toán] hoặc [viết lại thuật ngữ].

2
NP Hidoku đã hoàn thành chưa?
Một Hidoku là một n×nn×nn \times n lưới với một số nguyên điền sẵn từ 1 đến n2n2n^2 . Mục tiêu là tìm một đường dẫn các số nguyên liên tiếp (từ 1 đến n2n2n^2 ) trong lưới. Cụ thể hơn, mỗi tế bào của lưới điện phải chứa một …
3
Nếu P = NP, tại sao không
Rõ ràng, nếu , tất cả các ngôn ngữ trong ngoại trừ và sẽ là -complete.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Tại sao hai ngôn ngữ nói riêng? Chúng ta không thể giảm bất kỳ ngôn ngữ nào khác trong cho họ bằng cách xuất chúng khi chấp nhận hay không …
1
Điều kiện phẳng cho SAT 1 trong 3 SAT
Planar 3SAT là NP-đầy đủ. Một thể hiện 3SAT phẳng là một thể hiện 3SAT mà đồ thị được xây dựng bằng các quy tắc sau là phẳng: thêm một đỉnh cho mọi và ¯ x ixTôixTôix_ixTôi¯xTôi¯\bar{x_i} thêm một đỉnh cho mọi mệnh đềCjCjC_j thêm một cạnh cho mỗi cặp( …
1
Giảm trực tiếp từ
Chúng ta biết rằng là trong N L bởi Immerman-Szelepcsényi lý lý và vì s t - c o n n đ c t i v i t y là N L - h a r d do đó s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} là nhiều không gian log có …
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.