8.4.2 Max-Cut问题的量子化