first-order reduction

in computer science, a very strong type of reduction between two computational problems in computational complexity theory

หมวดหมู่: