On NP-hard graph properties characterized by the spectrum