sharpp_hard (107B)
1 # SharpP-hard 2 3 depends on the notion of [reduction]: [sharpP_Hard_reductions] 4 5 Up: [hardness] for [sharpp]