Rigetti Maps a Hard Optimization Problem Onto Fewer Qubits Than It Should Need — type0 | type0