Sharp-P hard

  1. REDIRECT ♯P-complete