Graph-R1: Unleashing LLM Reasoning with NP-Hard Graph Problems