QAOA.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "\n",
    "# 量子近似优化算法 (QAOA)\n",
    "\n",
    "## 简体中文 | [English](./QAOA_En.ipynb)\n",
    "\n",
    "<em> Copyright (c) 2020 Institute for Quantum Computing, Baidu Inc. All Rights Reserved. </em>"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 准备\n",
    "\n",
    "本文档演示 Paddle Quantum 上量子近似优化算法（QAOA，Quantum Approximate Optimization Algorithm）的工作流程 [1]。\n",
    "\n",
    "开始之前完成准备工作：\n",
    "\n",
    "   - 调用飞桨 paddlepaddle\n",
    "\n",
    "   - 调用常用的库, 例如画图工具库 networkx 和 matplotlib.pyplot\n",
    "\n",
    "   - 调用自定义函数 "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [],
   "source": [
    "from paddle import fluid\n",
    "\n",
    "import os\n",
    "import numpy as np\n",
    "import matplotlib.pyplot as plt\n",
    "import networkx as nx\n",
    "\n",
    "from paddle_quantum.circuit import UAnsatz\n",
    "from paddle_quantum.utils import pauli_str_to_matrix"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 背景\n",
    "\n",
    "\n",
    "量子近似优化算法（QAOA，Quantum Approximate Optimization Algorithm）是可以在近期有噪中等规模（NISQ，Noisy Intermediate-Scale Quantum）量子计算机上运行且具有广泛应用前景的量子算法。例如，QAOA 可以用来处理压缩图信号和二次优化等领域常见的离散组合优化问题。这类优化问题通常可以归结为下面的数学模型：\n",
    "\n",
    "\n",
    " $$F=\\max_{z_i\\in\\{-1,1\\}} \\sum_{i,j} q_{ij}(1-z_iz_j)=-\\min_{z_i\\in\\{-1,1\\}} \\sum_{i,j} q_{ij}z_iz_j+ \\sum_{i,j} q_{ij}. $$\n",
    "\n",
    "\n",
    "其中, $z_i \\in \\{-1 ,1\\} $ 是待求的二元参数，系数 $q_{ij}$ 是 $z_i z_j$ 的权重 (weight)。一般地，精确求解该问题对于经典计算机是 NP-hard 的，而 QAOA 被认为对近似求解这类困难问题具有潜在速度优势。\n",
    "\n",
    "QAOA 的工作原理是把上述经典优化问题（例如组合优化问题）甚至量子优化问题（例如量子多体系统中 Ising 模型的求解）等价地转化为求解一个物理系统哈密顿量（Hamiltonian）的基态能量（对应优化问题的最优值）及其相应的基态（对应于优化问题的最优解）。接下来，我们通过图的最大割问题 （Max-Cut problem）来展示 QAOA 算法的工作流程和原理。在解决最大割问题时，QAOA 在数学形式上等价于求解一个实对角矩阵 $H$ 的最小特征值及其对应的特征向量。\n",
    "\n",
    "和另外一种常见的变分量子特征求解器(VQE, Variational Quantum Eigensolver) 一样，QAOA 也是一种量子-经典混杂算法。 然而 QAOA 参数化量子电路的实现更简单，仅需两个可以调节参数的量子电路模块组成。"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "\n",
    "# 示例\n",
    "\n",
    "##  1. Max-Cut 问题\n",
    "\n",
    "图的 Max-Cut 问题可以描述为：对于一个给定的包含 $N$ 个顶点 （nodes or vertices）和 $M$ 条边 (edges) 的无向图，找到一种分割方案将图的顶点集合分割成两个无交子集合 $S$ 和 $S^\\prime$，使得连接这两个顶点集合之间边的数目尽可能多。如图所示，我们考虑含4个顶点且具有环形结构的图： \n",
    "\n",
    " ![ring4.png](https://release-data.cdn.bcebos.com/PIC%2FMaxCut.png) \n",
    "\n",
    "Max-Cut 问题建模：在做分割时，若顶点 $i$ 属于集合 $S$ 时，赋值 $z_i=1$；若顶点 $j$ 属于 $S^\\prime$ 时，则令 $z_j=-1$。那么对于图的任意连接顶点 $(i, j)$ 的边则满足：若顶点属于同一集合 $S$ 或 $S^\\prime$ 时，$z_iz_j=1$; 若顶点分别属于不同集合时，$z_izj=-1$。于是 Max-Cut 问题转化为如下优化问题：\n",
    "\n",
    "$$ F=\\min_{z_i\\in\\{-1, 1\\}} z_1 z_2+z_2z_3+z_3z_4+z_4z_1.$$\n",
    "\n",
    "这里所有 $q_{ij}$ 均设置为 1，表示每条边的权重相等。该问题的所有可行解由比特串 $ \\boldsymbol{z}=z_1z_2z_3z_4 \\in \\{-1, 1\\}^4$ 组成，而且通常需要遍历所有比特串才能得到问题的最小值（最优解）。容易看出，比特串的数目是顶点数目 $N$ 的指数级别，即 $2^N$。因此，随着顶点数目的增加，搜索的代价也会呈指数级别增加。\n",
    "\n",
    "接下来，我们提供两种方法来预处理编码经典优化问题的图，即如何通过 Paddle Quantum 输入和可视化无权（或带权重）图：\n",
    "\n",
    "- 方法1是通过指定图的顶点和相应的边（及其权重）\n",
    "- 方法2是通过直接输入图的邻接矩阵。"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [],
   "source": [
    "def generate_graph(N, GRAPHMETHOD):\n",
    "    \"\"\"\n",
    "    It plots an N-node graph which is specified by Method 1 or 2.\n",
    "    \n",
    "    Args:\n",
    "        N: number of nodes (vertices) in the graph\n",
    "        METHOD: choose which method to generate a graph\n",
    "    Returns:\n",
    "        the specific graph and its adjacency matrix\n",
    "    \"\"\"\n",
    "    # Method 1 generates a graph by self-definition\n",
    "    if GRAPHMETHOD == 1:\n",
    "        print(\"Method 1 generates the graph from self-definition using EDGE description\")\n",
    "        graph = nx.Graph()\n",
    "        graph_nodelist=range(N)\n",
    "        graph.add_edges_from([(0, 1), (1, 2), (2, 3), (3, 0)])\n",
    "        graph_adjacency = nx.to_numpy_matrix(graph, nodelist=graph_nodelist)\n",
    "    # Method 2 generates a graph by using its adjacency matrix directly\n",
    "    elif GRAPHMETHOD == 2:\n",
    "        print(\"Method 2 generates the graph from networks using adjacency matrix\")\n",
    "        graph_adjacency = np.array([[0, 1, 0, 1], [1, 0, 1, 0], [0, 1, 0, 1], [1, 0, 1, 0]])\n",
    "        graph = nx.Graph(graph_adjacency)\n",
    "    else:\n",
    "        print(\"Method doesn't exist \")\n",
    "\n",
    "    return graph, graph_adjacency"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "这里指定方法1来预处理图：\n",
    "\n",
    "- 图的顶点数目 $N=4$\n",
    "- 图的输入方法 GRAPHMETHOD = 1 \n",
    "\n",
    "注意：上述两种方法给出的图的顶点均从 $0$ 开始计数。"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Method 1 generates the graph from self-definition using EDGE description\n",
      "[[0. 1. 0. 1.]\n",
      " [1. 0. 1. 0.]\n",
      " [0. 1. 0. 1.]\n",
      " [1. 0. 1. 0.]]\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAb4AAAEuCAYAAADx63eqAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/d3fzzAAAACXBIWXMAAAsTAAALEwEAmpwYAAAXBklEQVR4nO3df2yc9WHH8c/9sH12bNfBceJA6KAxxCUrzghCqVbyQ6yrmu4HTEFtCRIwCkPJWIdWTSihI3RBidRuYq5AqBUJ6g9oISN07Wg7aJMorYhKkyXuD0wILSVmsWM7cS52cr9vfzjn+HJ39v14nrvneb7vl1QV+R4/evjDz4f3+e7sS6fTaQEAYAh/rS8AAIBqYvgAAEZh+AAARmH4AABGYfgAAEZh+AAARmH4AABGYfgAAEZh+AAARmH4AABGCdb6AgCTjIxHtevggPoHwwpHEmoNBdXd2arbly9Se3NDrS8PMIKPz+oE7Hfk+Jie3HtM+44OS5KiidTUY6GgX2lJq5d0aMOqLvVc2VabiwQMwfABNvvWgXf1+Cv9iiSSmumnzeeTQsGANq/t1p0rrqra9QGm4alOwEaTo/emzsdTsx6bTkvn40k9/sqbksT4ATah+ACbHDk+ps98/YDOx5NTXwu/8T2N972q+Mh7UjqlD/zpZ9V28/qc722sC+i796/Q9YvaqnjFgBl4VSdgkyf3HlMkkcz6WmzwmPyhZgVa5s34vZFEUk/tPWbn5QHGYvgAG4yMR7Xv6HDO7/Tm/eU/qXP9dtUv+NCM359OS3veGtboeNTGqwTMxPABNth1cKDic/gk7TpU+XkAZGP4ABv0D4az3rJQjkgipf4TZy26IgAZDB9gg3AkYdF54pacB8BFDB9gg9aQNe8Uag3VWXIeABfxPj7ABt2dLQr6Ukqks//b8uyRHyt6/LeKDb0jSTr39gElzpxU07Ur1HTtR7OObQj61L2wpWrXDJiC4gMsNjAwoP/8yj8rHs99ujN6/Lea+PVPlAxPfnRZ/OTvNfHrnyg29LucYyORqOYM/cr26wVMwxvYAYuk02nt3LlTDz30kMLhsObdtklN16yQz1/6f1+mUymde/t1jezepjvuuEO9vb1qb2+34aoB81B8gAUGBga0du1a3XvvvQqHw5Kk8OsvKp2MlXW+dDKm8OsvSpKee+45LV26VC+//LJVlwsYjeEDKpBOp7Vjxw4tXbpUP/rRj7Ieiw2+rXnv7VND0FfSOQNK6syenYoNXvzklqGhId12221av369RkdHLbl2wFQMH1CmfJWX0dTUpN7eXv3yO0/oi5+6To11Aflm2T+fb/IzOh/76+u175mt6unpyTmG+gMqx+/4gBJd+ru8S61cuVI7duzQ4sWLp77WNzCmp/Ye0563huXT5JvTMzJ/j2/Nkg5tWN019cHUsVhM27Zt09atW5VI5L5Qht/9AeVh+IASDAwM6L777st5WlOarLzt27dr48aN8hd4QcvoeFS7Dg2o/8RZhSNxtYbq1L2wRetuKPwX2A8fPqy7775bR44cyXlswYIFevrpp3XrrbdW9O8FmIThA4pQTuVZifoDrMPwAbOotPKsRP0BlePFLUABM71iU5qsvL6+Pj344INVGT1JWrZsmX7xi19oy5YtCgazP3iJV34CxaH4gDycVHmFUH9AeSg+YBonVl4h1B9QHooPuMANlVcI9QcUz3k/wUCVuanyCqH+gOJRfDCamyuvEOoPmJl7fpoBC3mh8gqh/oCZUXwwjhcrrxDqD8jl/p9soEherrxCqD8gF8UHI5hUeYVQf8Ak7/6UAzKz8gqh/oBJFB88i8orjPqDycz7iYfnUXmzo/5gMooPnkLllY76g2n46YcnUHnlo/5gGooPrkflWYf6gwm4E8C1qDzrUX8wAcUHV6Ly7Ef9wau4K8BVqLzqof7gVRQfXIPKqx3qD17CHQKOR+XVHvUHL6H44GhUnvNQf3A77hZwJCrPuag/uB3FB8eh8tyD+oMbceeAY1B57kP9wY0oPjgCled+1B/cgrsIaorK8w7qD25B8aFmqDzvov7gZNxRUHVUnvdRf3Ayig9VReWZh/qD03B3QVVQeeai/uA0FB9sR+Uhg/qDE3CngW2oPFyK+oMTUHywBZWH2VB/qBXuOrAUlYdiUX+oFYoPlqHyUC7qD9XEHQgVo/JQKeoP1UTxoSJUHqxG/cFu3I1QFioPdqH+YDeKDyWj8lAt1B/swJ0JRaPyUG3UH+xA8aEoVB5qjfqDVbhLYUZUHpyC+oNVKD4UROXBqag/VII7FnJQeXA66g+VoPiQhcqD21B/KBV3L0ii8uBe1B9KRfGByoNnUH8oBncyg1F58BrqD8Wg+AxF5cHrqD8Uwl3NMFQeTEH9oRCKzyBUHkxF/WE67nAGoPJgOuoP01F8HkflAdmoP3C38ygqD8iP+gPF50FUHlAc6s9M3Pk8hMoDSkP9mYni8wgqD6gM9WcO7oIuR+UB1qD+zEHxuRiVB9iD+vM27oguROUB9qL+vI3icxkqD6gu6s97uDu6BJUH1Ab15z0UnwtQeYAzUH/ewJ3Swag8wFmoP2+g+ByKygOcjfpzL+6aDkPlAe5A/bkXxecgVB7gTtSfu3AHdQAqD3A36s9dKL4ao/IAb6H+nI+7aY1QeYA3UX/OR/HVAJUHmIH6cyburFVE5QFmof6cieKrEioPMBv15xzcZW1G5QGQqD8nofhsROUByIf6qy3uuDag8gDMhPqrLYrPYlQegFJQf9XH3dciVB6AclB/1UfxWYDKA2AF6q86uBNXgMoDYCXqrzoovjJReQDsRP3Zh7tyiag8ANVA/dmH4isBlQegFqg/a3GHLgKVB6CWqD9rUXyzoPIAOAn1Vznu1gVQeQCciPqrHMWXB5UHwA2ov/Jw556GygPgJtRfeSi+C6g8AG5G/RXP+Ls4lQfAC6i/4hldfFQeAC+i/mZm5B2dygPgZdTfzIwrPioPgEmov1zG3N2pPAAmov5yGVF8VB4AUH8Znr7TU3kAcBH1N8mzxUflAUBhJtef5+76VB4AzM7k+vNU8VF5AFA60+rPEwtA5QFA+UyrP9cXH5UHANYxof5cuwZUHgBYz4T6c2XxUXkAYD+v1p+rloHKA4Dq8Wr9uab4qDwAqB0v1Z/jV4LKA4Da81L9Obr4qDwAcB63158jF4PKAwDncnv9Oa74qDwAcA831p/twzcyHtWugwPqHwwrHEmoNRRUd2erbl++SO3NDVPHpdNp7dy5Uw899JDC4XDOeVauXKkdO3Zo8eLFdl4uAKBEsVhM27Zt09atW5VIJHIev+OOO9Tb26v29vacx4rdCCvZNnxHjo/pyb3HtO/osCQpmkhNPRYK+pWWtHpJhzas6lK7b5zKAwCXK6X+StmInivbLL1OW4bvWwfe1eOv9CuSSGqms/t8UlBpje3ZoZEDu3Mep/IAwF2Kqb+b/3az/mPfe0VtRCgY0Oa13bpzxVWWXaPlwzc5em/qfDw1+8EXpGIRnf7pMxo//ENJVB4AuF2h+mte9klddsvn5Ksr/mnMxjq/Nq/9sGXjZ+nwHTk+ps98/YDOx5NTXxt9pVeR93+rZHhEvkCd6i+/VnPX3KP6jquyvjcVj2jo2w9rxbWXU3kA4AGX1l995zVasH6b/HWhqWPSiZhO/3SHJvr3Kx07r/oFizX3ls+p4fIlWedqrAvou/ev0PWL2iq+Lktz6sm9xxRJJLO+Nt73P/I3zNGc61bK19CkyO8O6uQLjyqdiGUd5wvU6+YHtmrPnj2MHgB4QH19vR599FG98cYb6unpUetHb5cvUJ91zKnXvqazh36gwJw2NV6zQtH3+zX0nUeUPHcm67hIIqmn9h6z5LqCsx9SnJHxqPYdHc55vrbz7ifU0NklSUqMDen9p+9V8uyoYiPvTX1dknx+v44nWnX6XNy2V/IAAKpv2bJl+uFPf6aPfXmPktN6KzkxpvG+1ySfXws+87gCc9o04g9o4jd7dPbgD9R28/qpY9Npac9bwxodj1a8EZYV366DA3m/Pn3c0qkLv+j0+RVoviznWJ+kXYfynwcA4F7f+9VQzpvd4yPvSamEAq0dCsxpkyTVX9iM2Mnf55zDqo2wbPj6B8NZL0e9VCp2XqP//YQkqfWmWxXMM3yRREr9J85adUkAAIfItxHJidOSJH/9xd/5+S78c+ax6azaCMue6gxHcl+2mpE8d0YnX9ii2ODbau75hNpW3zPDeeJWXRIAwCHybURgzlxJk6/sz0hf+OfMY7nnqXwjLBu+1lD+UyXOnNTQd7+oxKn31frR2zV31V2znKfOqksCADhEvo2om3el5A8qGR5WcuK0AnPmKnriqCSpfv7VBc5T+UZYNnzdna1qCA7mpOzgN7+g5PgpBVo7lI5Hdeq1r0mS5ly3KuflqqGgX90LW6y6JACAQzScH5USMSl48VWdgTlz1fyRWzR+5Mcaen6z6jr+SOfe/Jl89Y1qWf4XOeewaiMs+x3fuuWL8n49OX5q8v/Dwzr7y/+a+l985HjOsZFoVB9uOJPzdQCAO01MTOjzn/+8/u3vb1e+N43P/bP71XzDp5ScGNO5owfUcMUSLfj0lxRo+kDOsWlJ627IvzWlsPQN7Pd/85d69c2hGT+CppB0KqVzb7+use9/WY888og2bdqkujqe9gQAt9q/f7/uuecevfPOO5KkebdtUtM1K+Qr4xO5fD7pE9ct0NN33ljxdVn6BvaNq7sUCgbK+t50Mqbw6y8qkUhoy5Ytuummm/J+0CkAwNkylbdq1aqp0ZOk8OsvKp2MzfCdhYWCAW1Y3TX7gUWwdPh6rmzT5rXdaqwr7bT+VEKnf/KMYoMX35V/+PBh3XjjjXrssccUj/NKTwBwg/3796unp0e9vb269AnFKxoTuusjLSVvxORndXZb8nFlkg1/gf3OFVdp89oPq7EuIJ9v5mN9vsnPX/vSbT36xr/cp/nz52c9Tv0BgDsUqryMjRs3qq+vT/9615+XvBFWfkC1ZOPf4+sbGNNTe49pz1vD8mnyjYcZmb+1tGZJhzas7ppa8dHRUT344IN6/vnnc84XDAb53R8AONClv8ub7uqrr9YzzzyjNWvWZH29nI2wiu1/gX10PKpdhwbUf+KswpG4WkN16l7YonU3FP7rurt379YDDzygkydP5jy2bNkyPfvss+rp6bHzsgEAs5iYmNCmTZv01a9+NedpTWmy8rZv367m5uaC5yhnIypl+/CVi/oDAOcqp/KcwrHDl0H9AYBzWFF5teb44ZOoPwBwAjdX3nSuGL4M6g8Aqs8LlTedq4ZPov4AoJq8UnnTuW74Mqg/ALCP1ypvOtcOn0T9AYAdvFh507l6+DKoPwConJcrbzpPDJ9E/QFAJbxeedN5ZvgyqD8AKJ4plTed54ZPov4AoBgmVd50nhy+DOoPAHKZWHnTeXr4JOoPAKYztfKm8/zwZVB/AExmeuVNZ8zwSdQfADNRedmMGr4M6g+ACai8/IwcPon6A+BtVF5hxg5fBvUHwEuovNkZP3wS9QfAG6i84jB801B/ANyIyisNw3cJ6g+Am1B5pWP4CqD+ADgZlVc+hm8G1B8AJ6LyKsPwFYH6A+AEVJ41GL4iUX8AaonKsw7DVyLqD0A1UXnWY/jKQP0BqAYqzx4MXwWoPwB2oPLsxfBViPoDYCUqz34Mn0WoPwCVoPKqh+GzEPUHoBxUXnUxfDag/gAUg8qrDYbPJtQfgJlQebXD8NmM+gMwHZVXewxfFVB/ACQqzykYviqi/gAzUXnOwvBVGfUHmIXKcx6Gr0aoP8DbqDznYvhqiPoDvInKczaGzwGoP8AbqDx3YPgcgvoD3I3Kcw+Gz2GoP8BdqDz3YfgciPoD3IHKcyeGz8GoP8CZqDx3Y/gcjvoDnIXKcz+GzyWoP6C2qDzvYPhchPoDaoPK8xaGz4WoP6A6qDxvYvhcivoD7EXleRfD53LUH2AtKs/7GD4PoP4Aa1B5ZmD4PIT6A8pD5ZmF4fMY6g8oDZVnHobPo6g/YGZUnrkYPg+j/oD8qDyzMXwGoP6ASVQeJIbPGNQfTEflIYPhMwz1B9NQebgUw2cg6g+moPKQD8NnMOoPXkXlYSYMn+GoP3gNlYfZMHyQRP3B/ag8FIvhwxTqD25F5aEUDB9yUH9wCyoP5WD4kBf1B6ej8lAuhg8zov7gNFQeKsXwYVbUH5yCyoMVGD4UjfpDrVB5sBLDh5JQf6g2Kg9WY/hQFuoPdqPyYBeGD2Wj/mAXKg92YvhQMeoPVqHyUA0MHyxB/aFSVB6qheGDpag/lIrKQ7UxfLAc9YdiUXmoBYYPtqH+UAiVh1pi+GAr6g+XovJQawwfqoL6A5UHp2D4UDXUn7moPDgJw4eqo/7MQeXBiRg+1AT1531UHpyK4UNNUX/eQ+XB6Rg+1Bz15x1UHtyA4YNjUH/uReXBTRg+OAr15z5UHtyG4YMjUX/OR+XBrRg+OBb151xUHtyM4YPjUX/OQeXBCxg+uAL1V3tUHryC4YOrUH/VR+XBaxg+uA71Vz1UHryI4YNrUX/2ofLgZQwfXI36sx6VB69j+OAJ1F/lqDyYguGDZ1B/5aPyYBKGD55D/RWPyoOJGD54EvU3OyoPpmL44GnUXy4qD6Zj+OB51N9FVB7A8MEgJtcflQdcxPDBKCbWH5UHZGP4YCQT6o/KA/Jj+GAsL9cflQcUxvDBeF6qPyoPmB3DB8gb9UflAcVh+IBp3Fh/VB5QGoYPuISb6o/KA0rH8AEFOLn+qDygfAwfMAMn1h+VB1SG4QOK4IT6o/IAazB8QJFqWX9UHmAdhg8oUTXrj8oDrMfwAWUot/5GxqPadXBA/YNhhSMJtYaC6u5s1e3LF6m9uSHrWCoPsAfDB1Sg2Po7cnxMT+49pn1HhyVJ0URq6rhQ0K+0pNVLOrRhVZe6Lquj8gAbMXxAhWarv3UPP6H/9X1I0URKM/20+XxSnU+Kv/GC3n31GzmPU3mANfy1vgDA7drb2/Xcc8/ppZde0vz587MeC/3xx/Xz852KxGcePUlKp6VYSkp+5K/UvOyTWY9t3LhRfX19jB5gAYoPsND0+qvvvEYL1m+Tvy6UdczID/5dkXcPK3k+LH99k+o7uzR31V2q71w8dUwqHtHQtx/WFY1JKg+wGMMH2GD37t36hxd+Jf8H/0Q+f/YTK4PffliBlnb5G5oU+UOfEqfeV6C1Q4s27Jw6Jp1KaWHypF7b8ml+lwdYLFjrCwC86OaPr1XjwQbFkrn/Xdm5fvvUP0cHj2nw2X9U8uyo0smEfIHJH0mf36/T9Zcrqjoxe4C1GD7ABrsODsjn80nK/4RK+OD3FR85rsgfjkiSWm+6dWr0MnySdh0a0N+tXJznDADKxfABNugfDGe9ZeFS5/p/rujxX0uSAi3z1HDFdTnHRBIp9Z84a9s1AqbiVZ2ADcKRxIyPd67frg9+4SV1/M0jSo6f0vDL25Q4k/tewHAkbtclAsZi+AAbtIbyP5mSikeVTiUlSb5gvRo/tFy++pCUSioxNpjnPLX/m3+A1/BUJ2CD7s5WNQQHc57ujP3fWxr5/lfUcOVS+UPNih7/jdLRc/I3fUD1C7J/lxcK+tW9sKWalw0YgeIDbLBu+aK8Xw+0tCs493JFfn9Y40deVSoyrqbuj2nBZx+XPzQn69i0pHU35D8PgPJRfIAN5jU3aNW1HXr1zaGsT2ypu+yKrLczFOLzSWuWdOR8cDWAylF8gE02ru5SKBgo63tDwYA2rO6y+IoASAwfYJueK9u0eW23GutK+zFrrPNr89puXb+ozZ4LAwzHU52Aje5ccZUk6fFX+hVJJGf96wyhYECb13ZPfR8A6/FZnUAV9A2M6am9x7TnrWH5NPnm9IzM3+Nbs6RDG1Z3UXqAzRg+oIpGx6PadWhA/SfOKhyJqzVUp+6FLVp3Q+5fYAdgD4YPAGAUXtwCADAKwwcAMArDBwAwCsMHADAKwwcAMArDBwAwCsMHADAKwwcAMArDBwAwyv8DNCq8HtksmZQAAAAASUVORK5CYII=\n",
      "text/plain": [
       "<Figure size 432x288 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "# number of qubits or number of nodes in the graph\n",
    "N=4  \n",
    "classical_graph, classical_graph_adjacency= generate_graph(N, GRAPHMETHOD=1)\n",
    "print(classical_graph_adjacency)\n",
    "\n",
    "pos = nx.circular_layout(classical_graph)\n",
    "nx.draw(classical_graph, pos, width=4, with_labels=True, font_weight='bold')\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## 2. 编码量子优化问题\n",
    "\n",
    "接下来需要把上述经典优化问题映射为量子优化问题。利用替代关系 $z=1\\rightarrow |0\\rangle = \\begin{bmatrix}1 \\\\ 0\\end{bmatrix}$ 和 $z=-1\\rightarrow |1\\rangle = \\begin{bmatrix}0 \\\\ 1\\end{bmatrix}$, 我们把二元参数 $z_i\\in\\{-1, 1\\}$ 对应为描述量子比特的 Pauli-Z 算符 $Z_i=\\begin{bmatrix} 1 & 0\\\\ 0 & -1\\end{bmatrix}$ 的两个本征值。于是经典优化问题里的目标函数相应地编码为一个描述系统哈密顿量的矩阵\n",
    "\n",
    "$$H_{c}= Z_1Z_2+Z_2Z_3+Z_3Z_4+Z_4Z_1.$$\n",
    "\n",
    "其中 $Z_iZ_{j}$ 是 tensor product 运算，表示 Pauli-Z 算符分别作用在量子比特 $i$ 和 $j$ 上，而其余的量子比特上作用单位算符 $I=\\begin{bmatrix} 1 & 0\\\\ 0 & 1\\end{bmatrix}$ ，例如 $Z_1Z_2 =Z_1\\otimes Z_2\\otimes I_3\\otimes I_4$。经过上述操作，我们把经典优化问题转化为求解矩阵 $H_{c}$ 的最小特征值 $F$ 及其对应的向量 $|\\psi\\rangle$, 即\n",
    "\n",
    "$$ F=\\min_{|\\psi\\rangle} \\langle \\psi| H_c |\\psi\\rangle.$$\n",
    "\n",
    "这里，$|\\psi\\rangle$ 记为一个模长为1的 $2^4=16$ 维复向量，$\\langle \\psi|$ 是其共轭转置。\n",
    "\n",
    "Paddle Quantum 中通过函数 H_generator 完成编码任务："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "pycharm": {
     "is_executing": false,
     "name": "#%%\n"
    }
   },
   "outputs": [],
   "source": [
    "def H_generator(N, adjacency_matrix):\n",
    "    \"\"\"\n",
    "    This function maps the given graph via its adjacency matrix to the corresponding Hamiltiona H_c.\n",
    "    \n",
    "    Args:\n",
    "        N: number of qubits, or number of nodes in the graph, or number of parameters in the classical problem\n",
    "        adjacency_matrix:  the adjacency matrix generated from the graph encoding the classical problem\n",
    "    Returns:\n",
    "        the problem-based Hmiltonian H's list form generated from the graph_adjacency matrix for the given graph\n",
    "    \"\"\"\n",
    "    H_list = []\n",
    "    # Generate the Hamiltonian H_c from the graph via its adjacency matrix\n",
    "    for row in range(N):\n",
    "        for col in range(N):\n",
    "            if adjacency_matrix[row, col] and row < col:\n",
    "                # Construct the Hamiltonian in the list form for the calculation of expectation value\n",
    "                H_list.append([1.0, 'z'+str(row) + ',z' + str(col)])\n",
    "\n",
    "    return H_list"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "我们可以查看生成矩阵 $H_c $ 的具体形式，并且获取它的特征值信息："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[ 4.  0.  0.  0.  0. -4.  0.  0.  0.  0. -4.  0.  0.  0.  0.  4.]\n",
      "H_max: 4.0   H_min: -4.0\n"
     ]
    }
   ],
   "source": [
    "# Convert the Hamiltonian's list form to matrix form\n",
    "H_matrix = pauli_str_to_matrix(H_generator(N, classical_graph_adjacency), N)\n",
    "\n",
    "H_diag = np.diag(H_matrix).real\n",
    "H_max = np.max(H_diag)\n",
    "H_min = np.min(H_diag)\n",
    "\n",
    "print(H_diag)\n",
    "print('H_max:', H_max, '  H_min:', H_min)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## 3. 搭建 QAOA 电路\n",
    "\n",
    "通过交替地摆放两个参数可调的电路模块，我们得以搭建QAOA电路\n",
    "\n",
    "$$U_x(\\beta_P)U_c(\\gamma_P)\\dots U_x(\\beta_1)U_c(\\gamma_1),$$\n",
    "\n",
    "其中放置的次数记为 $P$。具体地，模块一是由描述问题哈密顿量的矩阵生成，即\n",
    "\n",
    "$$U_c(\\gamma)=e^{-i \\gamma H_c },$$\n",
    "\n",
    "其中 $i= \\sqrt{-1}$ 是虚数单位， $\\gamma\\in [0, \\pi]$ 是可以调节的参数。模块二是\n",
    "\n",
    "$$U_x(\\beta)=e^{-i \\beta H_x },$$\n",
    "\n",
    "由描述驱动哈密顿量的另一个矩阵生成 \n",
    "\n",
    "$$H_x =X_1+X_2+X_3+X_4. $$\n",
    "\n",
    "$\\beta\\in [0, \\pi]$ 也是一个可调参数，算符 $X=\\begin{bmatrix} 0 & 1\\\\ 1 & 0\\end{bmatrix}$ 是作用在量子比特上的 Pauli-X 门，例如 $X_1$ 实际数学表达式为 $X_1\\otimes I_2\\otimes I_3\\otimes I_4$。\n",
    "\n",
    "QAOA 电路的每一模块可以进一步分解为若干个作用在单比特和两比特上的含参的量子门，如图所示:\n",
    "\n",
    "\n",
    "<!--\n",
    "![QAOA.png](https://release-data.cdn.bcebos.com/PIC%2FQAOACir.png) \n",
    "-->\n",
    "\n",
    "<img src=\"./figures/QAOAcircuit.png\" width=\"600\" >\n",
    "\n",
    "其中，模块 $U_x(\\beta)$ 可以分解为在每个量子比特上作用绕 $X$ 方向转动的量子门 $R_x(\\beta)= e^{-i\\beta X}$，而模块 $U_c(\\gamma)$ 则可分解为作用在两比特上的 $ZZ$ 门 $R_{zz}(\\gamma)= e^{-i\\gamma Z\\otimes Z}$。\n",
    "\n",
    "此外，我们可以设置交叉放置两个模块的次数，记为 QAOA 电路的层数 $P$。于是输入\n",
    "\n",
    "- 量子电路的初始状态\n",
    "- 经典问题的邻接矩阵\n",
    "- 电路比特数目\n",
    "- 电路层数\n",
    "\n",
    "构建标准的 QAOA 量子电路："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [],
   "source": [
    "def circuit_QAOA(theta, adjacency_matrix, N, P):\n",
    "    \"\"\"\n",
    "    This function constructs the parameterized QAOA circuit which is composed of P layers of two blocks:\n",
    "    one block is based on the problem Hamiltonian H which encodes the classical problem,\n",
    "    and the other is constructed from the driving Hamiltonian describing the rotation around Pauli X\n",
    "    acting on each qubit. It outputs the final state of the QAOA circuit.\n",
    "    \n",
    "    Args:\n",
    "        theta: parameters to be optimized in the QAOA circuit\n",
    "        adjacency_matrix:  the adjacency matrix of the graph encoding the classical problem\n",
    "        N: number of qubits, or equivalently, the number of parameters in the original classical problem\n",
    "        P: number of layers of two blocks in the QAOA circuit\n",
    "    Returns:\n",
    "        the QAOA circuit\n",
    "    \"\"\"\n",
    "\n",
    "    cir = UAnsatz(N)\n",
    "    \n",
    "    #prepare the input state in the uniform superposition of 2^N bit-strings in the computational basis\n",
    "    cir.superposition_layer()\n",
    "    # This loop defines the QAOA circuit with P layers of two blocks\n",
    "    for layer in range(P):\n",
    "        # The second and third loops construct the first block which involves two-qubit operation\n",
    "        #  e^{-i\\gamma Z_iZ_j} acting on a pair of qubits or nodes i and j in the circuit in each layer.\n",
    "        for row in range(N):\n",
    "            for col in range(N):\n",
    "                if adjacency_matrix[row, col] and row < col:\n",
    "                    cir.cnot([row, col])\n",
    "                    cir.rz(theta[layer][0], col)\n",
    "                    cir.cnot([row, col])\n",
    "        # This loop constructs the second block only involving the single-qubit operation e^{-i\\beta X}.\n",
    "        for i in range(N):\n",
    "            cir.rx(theta[layer][1], i)\n",
    "\n",
    "    return cir"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "在标准 QAOA 的基础上，我们还支持对电路结构进行扩展，进一步探索 QAOA 更多可能性。例如，可以将模块二的驱动哈密顿量 $H_x$ 中的的绕单比特 X 方向转动 $R_x(\\beta)$ 扩展为绕任意方向转动，即量桨中的$U3(\\beta_1, \\beta_2, \\beta_3)$门："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [],
   "source": [
    "def circuit_extend_QAOA(theta, adjacency_matrix, N, P):\n",
    "    \"\"\"\n",
    "    This is an extended version of the QAOA circuit, and the main difference is the block constructed\n",
    "    from the driving Hamiltonian describing the rotation around an arbitrary direction on each qubit.\n",
    "\n",
    "    Args:\n",
    "        theta: parameters to be optimized in the QAOA circuit\n",
    "        input_state: input state of the QAOA circuit which usually is the uniform superposition of 2^N bit-strings\n",
    "                     in the computational basis\n",
    "        adjacency_matrix:  the adjacency matrix of the problem graph encoding the original problem\n",
    "        N: number of qubits, or equivalently, the number of parameters in the original classical problem\n",
    "        P: number of layers of two blocks in the QAOA circuit\n",
    "    Returns:\n",
    "        the extended QAOA circuit\n",
    "\n",
    "    Note:\n",
    "        If this circuit_extend_QAOA function is used to construct QAOA circuit, then we need to change the parameter layer\n",
    "        in the Net function defined below from the Net(shape=[D, 2]) for circuit_QAOA function to Net(shape=[D, 4])\n",
    "        because the number of parameters doubles in each layer in this QAOA circuit.\n",
    "    \"\"\"\n",
    "    cir = UAnsatz(N)\n",
    "\n",
    "    #prepare the input state in the uniform superposition of 2^N bit-strings in the computational basis\n",
    "    cir.superposition_layer()\n",
    "    for layer in range(P):\n",
    "        for row in range(N):\n",
    "            for col in range(N):\n",
    "                if adjacency_matrix[row, col] and row < col:\n",
    "                    cir.cnot([row, col])\n",
    "                    cir.rz(theta[layer][0], col)\n",
    "                    cir.cnot([row, col])\n",
    "\n",
    "        for i in range(N):\n",
    "            cir.u3(*theta[layer][1:], i)\n",
    "\n",
    "    return cir"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "搭建 QAOA 量子电路的工作完成后，此时量子电路的输出状态为\n",
    "\n",
    "$$|\\psi(\\boldsymbol{\\beta},\\boldsymbol{\\gamma}, P)\\rangle=U_x(\\beta_P)U_c(\\gamma_P)\\dots U_x(\\beta_1)U_c(\\gamma_1)|+\\rangle_1\\dots|+\\rangle_N.$$\n",
    "\n",
    "其中每个量子比特的初始状态处于量子叠加态 $|+\\rangle=\\frac{1}{\\sqrt{2}}\\left(|0\\rangle+|1\\rangle\\right)$ 。最终，我们得到量子优化问题的损失函数\n",
    "\n",
    "$$F_P=\\min_{\\boldsymbol{\\beta},\\boldsymbol{\\gamma}} \\langle \\psi(\\boldsymbol{\\beta},\\boldsymbol{\\gamma}, P)| H_c|\\psi(\\boldsymbol{\\beta},\\boldsymbol{\\gamma}, P)\\rangle.$$\n",
    "\n",
    "因为 QAOA 是一个量子-经典混杂算法，所以搭建完成 QAOA 电路且得到相应的损失函数后，我们可以进一步利用经典的优化算法寻找最优参数 $\\boldsymbol{\\beta},\\boldsymbol{\\gamma}$，从而形成一个完整的闭环网络。\n",
    "\n",
    "下面的函数给出了通过 Paddle Quantum 搭建的完整 QAOA 网络："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [],
   "source": [
    "class Net(fluid.dygraph.Layer):\n",
    "    \"\"\"\n",
    "    It constructs the net for QAOA which combines the  QAOA circuit with the classical optimizer which sets rules\n",
    "    to update parameters described by theta introduced in the QAOA circuit.\n",
    "\n",
    "    \"\"\"\n",
    "    def __init__(\n",
    "        self,\n",
    "        shape,\n",
    "        param_attr=fluid.initializer.Uniform(low=0.0, high=np.pi, seed=1024),\n",
    "        dtype=\"float64\",\n",
    "    ):\n",
    "        super(Net, self).__init__()\n",
    "\n",
    "        self.theta = self.create_parameter(\n",
    "            shape=shape, attr=param_attr, dtype=dtype, is_bias=False\n",
    "        )\n",
    "\n",
    "    def forward(self, adjacency_matrix, N, P, METHOD):\n",
    "        \"\"\"\n",
    "        This function constructs the loss function for the QAOA circuit.\n",
    "\n",
    "        Args:\n",
    "            adjacency_matrix: the adjacency matrix generated from the graph encoding the classical problem\n",
    "            N: number of qubits\n",
    "            P: number of layers\n",
    "            METHOD: which version of QAOA is chosen to solve the problem, i.e., standard version labeled by 1 or\n",
    "            extended version by 2.\n",
    "        Returns:\n",
    "            the loss function for the parameterized QAOA circuit and the circuit itself\n",
    "        \"\"\"\n",
    "        \n",
    "        # Generate the problem_based quantum Hamiltonian H_problem based on the classical problem in paddle\n",
    "        H_problem = H_generator(N, adjacency_matrix)\n",
    "\n",
    "        # The standard QAOA circuit: the function circuit_QAOA is used to construct the circuit, indexed by METHOD 1.\n",
    "        if METHOD == 1:\n",
    "            cir = circuit_QAOA(self.theta, adjacency_matrix, N, P)\n",
    "        # The extended QAOA circuit: the function circuit_extend_QAOA is used to construct the net, indexed by METHOD 2.\n",
    "        elif METHOD == 2:\n",
    "            cir = circuit_extend_QAOA(self.theta, adjacency_matrix, N, P)\n",
    "        else:\n",
    "            raise ValueError(\"Wrong method called!\")\n",
    "\n",
    "        cir.run_state_vector()\n",
    "        loss = cir.expecval(H_problem)\n",
    "\n",
    "        return loss, cir"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## 4. 训练网络\n",
    "\n",
    "我们开始训练整个 QAOA 网络，即通过优化参数向量 $\\boldsymbol{\\beta}=(\\beta_1,\\beta_2,\\beta_3,\\beta_4)$ 和 $\\boldsymbol{\\gamma}=(\\gamma_1,\\gamma_2,\\gamma_3, \\gamma_4)$ 来达到求解 $H_c$ 最小特征值的目的。\n",
    "\n",
    "与经典机器学习算法一样，首先设置 QAOA 网络里的超参数:\n",
    "\n",
    "- 电路比特数目 N\n",
    "- 电路的层数 P\n",
    "- 迭代次数 ITR\n",
    "- 学习步长 LR"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [],
   "source": [
    "N = 4 # number of qubits, or number of nodes in the graph\n",
    "P = 4 # number of layers \n",
    "ITR = 120  # number of iteration steps\n",
    "LR = 0.1  # learning rate"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "然后，灵活调用：\n",
    "\n",
    "- 量子电路初始状态：通过调用`superposition_layer()`使每个量子比特处于相干叠加态 $\\frac{1}{\\sqrt{2}}\\left(|0\\rangle+|1\\rangle\\right)$\n",
    "- 采用标准 QAOA （记为 METHOD=1）或者扩展 QAOA （记为 METHOD = 2）\n",
    "- 经典优化器 Adam optimizer \n",
    "\n",
    "最后，训练模型并保存结果："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [],
   "source": [
    "def Paddle_QAOA(classical_graph_adjacency, N, P, METHOD, ITR, LR):\n",
    "    \"\"\"\n",
    "    This is the core function to run QAOA.\n",
    "\n",
    "     Args:\n",
    "         classical_graph_adjacency: adjacency matrix to describe the graph which encodes the classical problem\n",
    "         N: number of qubits (default value N=4)\n",
    "         P: number of layers of blocks in the QAOA circuit (default value P=4)\n",
    "         METHOD: which version of the QAOA circuit is used: 1, standard circuit (default); 2, extended circuit\n",
    "         ITR: number of iteration steps for QAOA (default value ITR=120)\n",
    "         LR: learning rate for the gradient-based optimization method (default value LR=0.1)\n",
    "     Returns:\n",
    "         the optimized QAOA circuit\n",
    "    \"\"\"\n",
    "    with fluid.dygraph.guard():\n",
    "        # Construct the net or QAOA circuits based on the standard modules\n",
    "        if METHOD == 1:\n",
    "            net = Net(shape=[P, 2])\n",
    "        # Construct the net or QAOA circuits based on the extended modules\n",
    "        elif METHOD == 2:\n",
    "            net = Net(shape=[P, 4])\n",
    "        else:\n",
    "            raise ValueError(\"Wrong method called!\")\n",
    "\n",
    "        # Classical optimizer\n",
    "        opt = fluid.optimizer.AdamOptimizer(learning_rate=LR, parameter_list=net.parameters())\n",
    "\n",
    "        # Gradient descent loop\n",
    "        summary_iter, summary_loss = [], []\n",
    "        for itr in range(1, ITR + 1):\n",
    "            loss, cir = net(\n",
    "                classical_graph_adjacency, N, P, METHOD\n",
    "            )\n",
    "            loss.backward()\n",
    "            opt.minimize(loss)\n",
    "            net.clear_gradients()\n",
    "\n",
    "            if itr % 10 == 0:\n",
    "                print(\"iter:\", itr, \"  loss:\", \"%.4f\" % loss.numpy())\n",
    "            summary_loss.append(loss[0][0].numpy())\n",
    "            summary_iter.append(itr)\n",
    "\n",
    "        theta_opt = net.parameters()[0].numpy()\n",
    "        print(\"Optmized parameters theta:\\n\", theta_opt)\n",
    "        \n",
    "        os.makedirs(\"output\", exist_ok=True)\n",
    "        np.savez(\"./output/summary_data\", iter=summary_iter, energy=summary_loss)\n",
    "\n",
    "    return cir"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "调用模型训练结果，输出得到的最优参数向量 $\\boldsymbol{\\beta}^*$ 和 $\\boldsymbol{\\gamma}^*$，并且将 QAOA 的输出结果和真实结果进行比较："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Method 1 generates the graph from self-definition using EDGE description\n",
      "iter: 10   loss: -3.8531\n",
      "iter: 20   loss: -3.9626\n",
      "iter: 30   loss: -3.9845\n",
      "iter: 40   loss: -3.9944\n",
      "iter: 50   loss: -3.9984\n",
      "iter: 60   loss: -3.9996\n",
      "iter: 70   loss: -3.9999\n",
      "iter: 80   loss: -4.0000\n",
      "iter: 90   loss: -4.0000\n",
      "iter: 100   loss: -4.0000\n",
      "iter: 110   loss: -4.0000\n",
      "iter: 120   loss: -4.0000\n",
      "Optmized parameters theta:\n",
      " [[0.24726127 0.53087308]\n",
      " [0.94954664 1.9974811 ]\n",
      " [1.14545257 2.27267827]\n",
      " [2.98845718 2.84445401]]\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYoAAAEGCAYAAAB7DNKzAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/d3fzzAAAACXBIWXMAAAsTAAALEwEAmpwYAAA2HklEQVR4nO3deXxU5b348c93ZrITSAibEJaAgOwBAmorRdCLWK2o1VbFIr9ea221VVutCwqttrcLtra2Uveder0uFbWKqAWX63UJiCwKIpsEZEtYErIn398f52SYJJPJZJmcJHzfr9e8yDlzlu+TM8w353nO8zyiqhhjjDEN8XkdgDHGmPbNEoUxxpiILFEYY4yJyBKFMcaYiCxRGGOMiSjgdQCtrUePHjpo0CCvwzDGmA5l5cqV+1W1Z7j3Ol2iGDRoELm5uV6HYYwxHYqIbG/oPU+qnkTkDhFZIyKrRWSZiPRtYLvLRGST+7qsreM0xhjjXRvFQlUdq6rZwMvA/LobiEh3YAFwIjAZWCAi6W0apTHGGG8ShaoeDllMAcJ1Dz8DeF1VC1T1APA6MLMt4jPGGHOUZ20UIvIbYA5wCJgWZpN+wI6Q5Tx3XbhjXQFcATBgwIDWDdSYKFVUVJCXl0dpaanXoRjToMTERDIzM4mLi4t6n5glChF5A+gT5q15qrpEVecB80TkZuBqnGqmZlHV+4H7AXJycmzwKuOJvLw8UlNTGTRoECLidTjG1KOq5Ofnk5eXR1ZWVtT7xSxRqOrpUW66GHiF+oliJ3BqyHImsKLFgRkTI6WlpZYkTLsmImRkZLBv374m7efVU09DQxZnARvCbPYaMENE0t1G7BnuOmPaLUsSpr1rzmfUqzaK34nIcKAa2A5cCSAiOcCVqnq5qhaIyB3AR+4+t6tqgTfhGmPMscuTRKGq325gfS5wecjyw8DDbRFT0boi9i7eS/LIZPp8L1zTijHGHJs6Xc/s5qoqquLIuiP4Umz4K2OMCWXfii7xu/V2Vd7GYUxLdenSJebnuPvuuxkxYgSzZ89uleMdPHiQRYsW1Vr3ta99rVWOXWP69OlUVlZG3KakpISpU6dSVeV8ETz55JNkZWWRkJDAxIkTWbVqFQDl5eV84xvfqHW8U089lW3btgFw33338aMf/ajWsUePHs1nn31Wb9tYxHPgwAHOO++8Ro8fLUsUrppEoZX2dK0xjVm0aBGvv/46ixcvbpXjhUsU7733XqscG2D9+vVkZGQQCESuRHn44Yc5//zz8fv97Nixg7lz55KamsrChQvZvHkzl1xyCQDx8fGcdtppPP3002GPs3btWiZMmBBcLi0tZdu2bQwbNqxJcTc3nvT0dAoKCsjPz2/S+RpiicIlATdRVFuiMK1j7bfWNvjKX3r0P3D+0vyI27aGP/3pT4wePZrRo0fz5z//GYAjR45w1llnMW7cOEaPHs3TTz8ddl1dV155JVu2bOHMM8/krrvuYvTo0cH37rzzTn75y18CsG3bNkaMGMEPfvADRo0axYwZMygpKQHg8ccfZ+zYsYwbN47vfe973HTTTWzevJns7GxuuOEGoPadUbj4Ix2/riVLlnDuuecGl8ePH8/u3bu59dZbefTRR3nrrbe46KKLWLx4MbNmzQLgmWeeoaqqiltuuYVLLrmEOXPmsHHjxuBf8eeee26DiXLNmjW1EsXatWsZNmwYfr+/3rYNxQK0KJ6zzjqLl156KWx8TWVtFDXclGl3FKazWblyJY888ggffPABqsqJJ57I1KlT2bJlC3379uVf//oXAIcOHWLp0qX11tV17733snTpUpYvX05RUREPPfRQg+fetGkTTz31FA888ADf+c53eO655xg/fjy//vWvee+99+jRowcFBQUcPnyYdevWsXr16qjjT09PD3v8Sy+9tN4xXnnlFV5++WUAKisrKSgooE+fPnzyySdccMEFvP3224wYMYIVK1ZQM01BTdXQxRdfXOtY27dvZ8KECYwePZqPPvqIcNavX8/5558ffBS1qKiIs88+u952DcUybtw4ysvL2bJlS7PjmTVrFjfeeCNz584NG2NTWKJwBe8oqixRmNYx5qUxUW2XMTODjJkZMYvj3Xff5bzzziMlJQWA888/n3feeYeZM2fy85//nBtvvJGzzz6bKVOmMGbMmHrrWiIrK4vs7GwAJk6cyLZt2zhw4AAXXnghPXr0AKB79+4cPny4wWM0FP8555wT9vh1FRcXU15eTlpaGgAbNmzghBNOAODTTz9l5MiR/PWvf2X69OnBbcDpxQzwl7/8hZEjR/KPf/yDRx55JLje7/cTHx9PYWEhqampwf127NhBz5492bDhaPewq6++OmxP6IZiOf/889m/f3+L4hk+fDgbN25s8PfaFFb15Ap0C9DtG91IHZ/a+MbGdALDhg1j1apVjBkzhltvvZXbb7897LpIAoEA1dXVweW641wlJCQEf/b7/Y02JjdVNMdPTk5GRCgqKgJg48aNDB8+nIKCArp06UJ8fDy5ubmcfvrpteKv+Us+PT2d008/OtDEwIEDgz+XlZWRmJhY63xr165l1KhRtdZ9+umnjB07tl5sDcUyadIkkpKSWhTP9u3bmzRMRySWKFwJxyUw4IYB9J7d2+tQjGlVU6ZM4YUXXqC4uJgjR47wz3/+kylTprBr1y6Sk5O59NJLueGGG1i1alXYdZH07t2bvXv3kp+fT1lZWbB6J5Lp06fzzDPPBBtaCwoKSE1NpbCwsEnxN8UZZ5zB0qVLAafhd8OGDeTm5jJu3DiefPJJBg0aRO/evamqqgp+OV944YX4/X7mzZvHb3/7W5544gmGDRsWbHvIz8+nR48e9QbXW7NmDSNHjqy1bv369YwZU/8Os6FYevXqRXp6eoviWbJkSbB9o6UsURjTyRQXF5OZmRl8rVixgrlz5zJ58mROPPFELr/8csaPH8/atWuZPHky2dnZ/OpXv+LWW28Nuy6SuLg45s+fz+TJk/mP//iPYDVKJKNGjWLevHlMnTqVcePG8bOf/YyMjAy+/vWvM3r06GBjdo0JEyaEjb8pZs2axQsvvADAzJkzOeGEE5g9ezYrVqwgNzeXxx9/HIAZM2bw7rvvAs5I1I888gg+n48FCxYwbtw4nnrqqWC7w/LlyznrrLPqnWvt2rW1EkVBQQGqSp8+9TvyRoqlpfG89NJLrZYoUNVO9Zo4caI2R1VFlZbsKNHSvNJm7W/Mp59+6nUIJoIxY8ZoRUVFcHnu3Lm6bNmyWtusXLlSL7300qiOd9555+nGjRuDy1OnTtWtW7dGtW/dbcPF0pJ4CgoKdMqUKQ1uG+6zCuRqA9+rdkfhqthXwaYfbWLrgq1eh2KMiYE1a9bU6kexZs2aeu0GEyZMYNq0acEObg0pLy/n3HPPbXK/iEixhWvDaG486enpvP32260SG9hTT0E1Tz1Zz2xjjg0rV64Mu/773/9+o/vGx8czZ86cWuvmzp1b6ymlSOpu21AsLYmnNVmicAV7ZtvjscaYZmhKf4XW6NvQlqzqyWVDeBhjTHiWKFw2hIcxxoRniaKGOwSL3VEYY0xtlihcNsy4McaEZ43ZLgkIWb/NOpowjDHGAHZHESQidBndhZQRKV6HYkyz5Ofnk52dTXZ2Nn369KFfv35kZ2eTlpZWb0iJpvjlL3/JnXfe2YqR1rZixYqwI6vGQltM6hTOo48+ytVXXw3ACy+8wKeffupJHM1licKYTiIjI4PVq1ezevVqrrzySq677rrgss93bP9XV9VagxfGap9oWKLo4HY/tptd9++iurz1PxzGeKmqqirsBD+bN29m5syZTJw4kSlTptQaGjvUJ598wsknn8zQoUN54IEHgusXLlzIpEmTGDt2LAsWLAAiTyj0xRdfcPrppzNu3DgmTJjA5s2bAWe+hgsuuCA47pG6Q2cPGjSIm2++mezsbHJycli1ahVnnHEGQ4YM4d577w3ue9pppzFhwgTGjBnDkiVLgnEMHz6cOXPmMHr0aHbs2BGMe//+/Zx88snBeTdqhNsnXBkbmuBp0KBB7N+/H4Dc3FxOPfXUWsd/7733ePHFF7nhhhvIzs4Olr/da2hsj476au5YT6qq6767TtecvUYrCisa39iYOuqOn3P22c4r1K9+5az74IOj61591Vn3178eXZef76ybM6d5sSxYsEAXLlyoqqpbt25Vv9+vH3/8saqqXnjhhfrEE0+oqur06dP1888/V1XV999/X6dNmxb2WGPHjtXi4mLdt2+fZmZm6s6dO/W1117TH/zgB1pdXa1VVVV61lln6VtvvRXxfJMnT9bnn39eVVVLSkr0yJEjunz5cu3atavu2LFDq6qq9KSTTtJ33nlHVVUHDhyoixYtUlXVa6+9VseMGaOHDx/WvXv3aq9evVRVtaKiQg8dOqSqqvv27dMhQ4ZodXW1bt26VUVE/+///i9YlpSUFN29e7dOnjw57NhKdfdpqIzPPvusXn755cH9Dh48GIx33759qqr60Ucf6dSpU1VV9ZFHHtGrrrpKVVUvu+wyfeaZZ6K4irHT1LGerDE7hPjsySfTOYWb4KeoqIj33nuPCy+8MLhdWVlZ2P1nzZpFUlISSUlJTJs2jQ8//JB3332XZcuWBUdyLSoqYtOmTQwYMCDs+QoLC9m5cyfnnXceQK15HCZPnkxmZiYA2dnZbNu2jVNOOQWAc845B4AxY8ZQVFREamoqqampJCQkcPDgQVJSUrjlllt4++238fl87Ny5kz179gDOXA0nnXRS8DwVFRWcdtpp3HPPPUydOjVsWUP3WbZsWdgyTpkypVUneGrvLFGEsFnuTGsKN13x/Pn1182c6bxCde8efv/mqjvBT0lJCdXV1aSlpYWdfrSumqGsQ5dVlZtvvpkf/vCHtd7btm1b2PM1Jb7QCYhq3vP5fLW28/l8VFZWsnjxYvbt28fKlSuJi4tj0KBBwTkcambFqxEIBJg4cSKvvfZag4kidJ+GygiwatUqXnnlFW699VZOO+005s+fX2sip7qTOHVk1kYRwsZ7MseSrl27kpWVxTPPPAM4X4qffPJJ2G2XLFlCaWkp+fn5rFixgkmTJnHGGWfw8MMPB2eO27lzJ3v37m3wfKmpqWRmZgbnhSgrK6O4uLjF5Th06BC9evUiLi6O5cuXs3379ga3FREefvhhNmzYwO9///tGj91QGRua4GnQoEHBAf6ee+65sMeMNElTe2WJIlRN72xLFOYYsXjxYh566CHGjRvHqFGjgg3BdY0dO5Zp06Zx0kkncdttt9G3b19mzJjBJZdcwsknn8yYMWO44IILGv0CfOKJJ7j77rsZO3YsX/va19i9e3eLyzB79mxyc3MZM2YMjz/+eKOTJ/n9fp566in+/e9/s2jRoojbNlTGhiZ4WrBgAddccw05OTn4/f6wx7zoootYuHAh48eP7zCN2aLaub4Uc3JyNDc3t1n7bvzhRsp3lTPs3mEk9EtofAdjQnz22WeMGDHC6zCMaVS4z6qIrFTVnHDbWxtFiIS+CU71k91nGWNMkCWKEIMWDPI6BGOMaXfsb2djWlFnq8o1nU9zPqOWKIxpJYmJieTn51uyMO2WqpKfn1+rD0s0PKl6EpE7gFlANbAXmKuqu+pskw38HeiK0wXuN6r6dCzj2jp/K0fWHSHrjixSRtnggKZpMjMzycvLY9++fV6HYkyDEhMTg50bo+VVG8VCVb0NQER+CswHrqyzTTEwR1U3iUhfYKWIvKaqB2MVlFYpWqE2eZFplri4OLKysrwOw5hW50miUNXDIYspQL1vZlX9POTnXSKyF+gJHIxVXDVDeFg/CmOMOcqzp55E5DfAHOAQMK2RbScD8UDY3ikicgVwBcCAAQOaH5MN4WGMMfXErDFbRN4QkXVhXrMAVHWeqvYHFgNXRzjOccATwP9T1bDjf6vq/aqao6o5PXv2bH7Q1jPbGGPqidkdhaqeHuWmi4FXgAV13xCRrsC/gHmq+n4rhhdWcKwna6MwxpggTx6PFZGhIYuzgHqzpYhIPPBP4HFVfbZN4grYMOPGGFOXV20UvxOR4TiPx27HfeJJRHKAK1X1cuA7wDeADBGZ6+43V1VXxyqotGlpJA9PJnFI054xNsaYzswGBTTGGBNxUEDrmW2MMSYiGxQwRPGmYsp2lJE0NInE/lb9ZIwx0MQ7ChFJEZHvici/YhWQlw4uP0jeXXkUrSryOhRjjGk3Gk0UIhIvIueJyDPAV8B04N6YR+aBYIe76s7VbmOMMS3RYNWTiMwALgZmAMuBx4FJqvr/2ii2Nmf9KIwxpr5IdxRLgcHAKap6qaq+hPM4a+dlPbONMaaeSI3ZE4CLgDdEZAvw3wS/SjunmjsK63BnjDFHNXhHoaqrVfUmVR2CM7xGNhAnIq+6g/B1Olb1ZIwx9UX11JOqvqeqPwEygbuAk2IalUds9FhjjKkvYj8KEekFXAWMcletBxap6rJYB+aFjHMyyDg742gVlDHGmIbvKETk68BH7uLj7gvgA/e9TscX8OGL91miMMaYEJHuKP4InKuqH4ese1FE/gncB5wY08iMMca0C5HaKLrWSRKA08gNpMYsIg8dzj3M5l9sZu/Te70OxRhj2o1IiUJEJD3Myu6N7NdhVR2uovizYsp2lnkdijHGtBuRvvDvApaJyFQRSXVfpwKvAn9ug9jaXPDxWHvqyRhjghpso1DV+0VkF3AHzlNPCnwK/Nrtpd35WM9sY4ypJ+Ljsar6MvBy6DoRSRSRC1X1mZhG5gHrcGeMMfVF1dYgIn4R+aaIPIEzdel3YxuWN4JzZnfuEa2MMaZJGutwNxW4BPgm8CHwdSBLVYvbILY2Jz67ozDGmLoiDTOeB3wJ/B24XlULRWRrZ00SAHE94kiblkbiQJvdzhhjakS6o3gWOBenmqlKRJbgNGh3WokDE+n/s/5eh2GMMe1KpNFjrwWycHponwpsBHqKyHdEpEubRGeMMcZzERuz1bFcVa/ASRqXALOAbW0QW5urLq+mdEcpZbusw50xxtSI2JgNICLJwPHu4jJVfUlEkmIbljfK8sr44povSMxKZOjdQ70Oxxhj2oVIo8fGicifgTzgEeBRYIuI3KSqJSKS3SYRtiHrR2GMMfU1NnpsMjBQVQsBRKQrcKeI/B2YiVMd1XnU9MyutkRhjDE1IiWKbwJDVTX4ramqh0XkR8B+4MxYB9fW7I7CGGPqi9SYXR2aJGqoahWwT1Xfj11Y3gj2zK7yNg5jjGlPIiWKT0VkTt2VInIp8FnsQvKOjR5rjDH1Rap6ugp4XkS+D6x01+UAScB5sQ7MC1b1ZIwx9UUaZnwncKKITMcZZhzgFVV9s00i84Avxcfg3w1G4mzObGOMqdFoPwpV/Tfw7zaIxXO+gI+UUSleh2GMMe2KJ1OaisgdIrJGRFaLyDIR6Rth264ikicif2vLGI0xxji8mvt6oaqOVdVsnImR5kfY9g7g7bYISlXZ9cAudt23qy1OZ4wxHULEROFOWLS8tU+qqodDFlNoYFRaEZkI9AaWtXYMDcl/MZ/8l/MJ82SwMcYckxobFLAKqBaRbq19YhH5jYjsAGYT5o5CRHw4vcOvj+JYV4hIrojk7tu3ryUxBftS2COyxhjjiKbqqQhYKyIPicjdNa/GdhKRN0RkXZjXLABVnaeq/YHFwNVhDvFjnKes8ho7l6rer6o5qprTs2fPKIoUgfsbsUdkjTHG0ehTT8Dz7qtJVPX0KDddDLwCLKiz/mRgioj8GOgCxItIkare1NRYmkICgpar9c42xhhXNI/HPiYi8cAwd9VGVa1oyUlFZKiqbnIXZwEbwpx3dsj2c4GcWCcJsN7ZxhhTVzTzUZwKPIYzWZEA/UXkMlVtyZNIvxOR4UA1sB240j1XDnClql7egmO3iPXONsaY2qKpevojMENVNwKIyDDgKWBic0+qqt9uYH0uUC9JqOqjOPNhxFxC/wT83fxOSjTGGBNVooirSRIAqvq5iMTFMCZPDf6vwV6HYIwx7Uo0iSJXRB4EnnSXZwO5sQvJGGNMexJNovgRzkiyP3WX3wEWxSwiY4wx7UqDiUJE3lTV04DbVfVG4E9tF5Z3vrj+C0q+KOH4u44nKSvJ63CMMcZzke4ojhORrwHniMh/U6d5V1VXxTQyr1Q5L3vqyRhjHJESxXzgNiCT+ncTCkyPVVCe8rv/VnsahTHGtBuRJi56FnhWRG5T1TvaMCZPWT8KY4yprdGxno6lJAHWM9sYY+ryaj6KdssShTHG1GaJoi63jcKqnowxxhFNPwpExI8zgVBwe1X9MlZBeSnjzAxSc1JJHJDodSjGGNMuRDMo4E9whgDfw9FngRQYG8O4PNP1xK5eh2CMMe1KNHcU1wDDVTU/1sEYY4xpf6Jpo9gBHIp1IO3Fkc+OUPBGAWW7yrwOxRhj2oVo7ii2ACtE5F9A8NtTVTvlkB4FrxVw8M2D9PtpPxL6JngdjjHGeC6aRPGl+4p3X52aBOzxWGOMCRXNVKi/AhCRLu5yUayD8lJNPwqbM9sYYxyNtlGIyGgR+RhYD6wXkZUiMir2oXnDOtwZY0xt0TRm3w/8TFUHqupA4OfAA7ENyztW9WSMMbVFkyhSVHV5zYKqrgBSYhaRx+yOwhhjaovqqScRuQ14wl2+FOdJqM6pZphxa6MwxhggukTxfeBXwPPu8jvuuk6p10W96PXdXsEqKGOMOdZF89TTAY7Ol93p+QI2TqIxxoSKNGf2n1X1WhF5CWdsp1pU9ZyYRmaMMaZdiHRHUdMmcWdbBNJeHHz3IPlL8ul2Sjd6zOrhdTjGGOO5SFOhrnR/zFbVv4S+JyLXAG/FMjCvVB6opHhDMYlDbJhxY4yB6B6PvSzMurmtHEe7EWzEtqeejDEGiNxGcTFwCZAlIi+GvJUKFMQ6MK9YPwpjjKktUhvFe8BXQA/gjyHrC4E1sQzKS8FEYVOhGmMMELmNYjuwXURmA7tUtRRARJKATGBbm0TY1mrmzLY7CmOMAaJro/gfjk6BCk7t/TOxCcd7NtaTMcbUFk3P7ICqltcsqGq5iHTaeSnie8eTNj2NpKFJXodijDHtQjSJYp+InKOqLwKIyCxgf0tOKiJ3ALNw7lT2AnNVdVeY7QYADwL9cTr9fVNVt7Xk3I1JHppM8nXJsTyFMcZ0KNFUPV0J3CIiX4rIDuBG4IctPO9CVR2rqtnAy8D8BrZ73N12BDAZJ6kYY4xpQ9GM9bQZOKk1Z7hT1cMhiymEGSJEREbiVHu93lrnjUZVaRUVeyqQeCHhOJsz2xhjGk0UIpIAfBsYBARE3MZe1dtbcmIR+Q0wBzgETAuzyTDgoIg8D2QBbwA3qWq9rnAicgVwBcCAAQNaEhYlm0rYestWUkanMPi3g1t0LGOM6QyiqXpagtOeUAkcCXlFJCJviMi6MK9ZAKo6T1X7A4uBq8McIgBMAa4HJgGDaaBHuKrer6o5qprTs2fPKIoUIe6A9aMwxphQ0TRmZ6rqzKYeWFVPj3LTxcArwII66/OA1aq6BUBEXgBOAh5qaixNIT57PNYYY0JFc0fxnoiMac2TisjQkMVZwIYwm30EpIlIzS3CdODT1owjbGzWj8IYY2qJ5o7iFGCuiGwFygABVFXHtuC8vxOR4TiPx27HebIKEckBrlTVy1W1SkSuB94Up2FkJfBAC84ZHeuZbYwxtUSTKM5s7ZOq6rcbWJ8LXB6y/DrQkoTUZDbWkzHG1BZNojimvjFtmHFjjKktmkTxL5xkIUAizqOqG4FRMYzLM3EZcQz+w2B8CTZ3tjHGQHQd7mo1ZIvIBODHMYvIY754HykjUrwOwxhj2o0m/9msqquAE2MQizHGmHYomp7ZPwtZ9AETgHoD+HUW1eXV7H50N+IXjvvP47wOxxhjPBfNHUVqyCsBp81iViyD8pJWKfkv5VOwtNPO9mqMMU0Sac7sJ1T1e8BBVf1LG8bkKZsz2xhjaot0RzFRRPoC3xeRdBHpHvpqqwDbmvWjMMaY2iK1UdwLvIkzGN9KnMdja6i7vvOpSZ0KqkrNaLnGGHOsavCOQlXvdicMelhVB6tqVsircyYJcBKDDeNhjDFBjTZmq+qP2iKQ9qSm+sl6ZxtjTHQ9s485iYMS0QpF1e4ojDHGEkUYx//xeK9DMMaYdqPRqicRSRERn/vzMBE5R0TiYh+aMcaY9iCaDndvA4ki0g9YBnwPeDSWQRljjGk/okkUoqrFwPnAIlW9kE46cmyNjVduZO05aynfU+51KMYY47moEoWInAzMxhm+A4IPkHZS1Tj9KOzxWGOMiSpRXAvcDPxTVdeLyGBgeUyj8pgN42GMMUdFMx/FW8BbAG6j9n5V/WmsA/NSzSx3liiMMSa6p57+ISJdRSQFWAd8KiI3xD40D9X0zLbxnowxJqqqp5Gqehg4F3gVZyrU78UyKK/ZwIDGGHNUNIkizu03cS7woqpW4AwK2GkF0p0auYr9FR5HYowx3oumZ/Z9wDbgE+BtERkIHI5lUF7rfkZ3uk7qSvKwZK9DMcYYz0XTmH03cHfIqu0iMi12IXmv66SuXodgjDHtRjSN2d1E5E8ikuu+/giktEFsxhhj2oFo2igeBgqB77ivw8AjsQyqPTiw/AC7H9tNdWW116EYY4ynommjGKKq3w5Z/pWIrI5RPO3Gnif3ULG3grTT0kjMTPQ6HGOM8Uw0dxQlInJKzYKIfB0oiV1I7UNC/wQAyr4s8zgSY4zxVjR3FFcCj4tIN3f5AHBZ7EJqHxIHJFK0soiyHZYojDHHtmieevoEGCciXd3lwyJyLbAmxrF5quaOonRHqceRGGOMt6KpegKcBOH20Ab4WYziaTcSBzjtEnZHYYw51kWdKOqQlpxURO4QkTUislpElolI3wa2+4OIrBeRz0TkbhFp0XmbIiHTbaPIK0OrO3VHdGOMiai5iaKl35wLVXWsqmYDLwPz624gIl8Dvg6MBUYDk4CpLTxv1PwpfuKPiychM4Gqwqq2Oq0xxrQ7DbZRiEgh4ROCAEktOWlIFRY4nffCnUeBRCDePWccsKcl522qYfcNow1vYowxpl1qMFGoamosTywivwHmAIeAekOCqOr/ichy4CucRPE3Vf2sgWNdAVwBMGDAgNaMsdWOZYwxHVVzq54aJSJviMi6MK9ZAKo6T1X7A4uBq8PsfzwwAsgE+gHTRWRKuHOp6v2qmqOqOT179mzVcqgqVUes6skYc+yKph9Fs6jq6VFuuhh4BVhQZ/15wPuqWgQgIq8CJwPvtFqQjSjZWsKWX2whrlccw+4Z1lanNcaYdiVmdxSRiMjQkMVZwIYwm30JTBWRgDsfxlQgbNVTrCT0TwBxemeX7y1vy1MbY0y74UmiAH7nVkOtAWYA1wCISI6IPOhu8yywGViLMxfGJ6r6UlsG6Qv4SJ3oNNUc/qBTT8FhjDENilnVUyR1BhkMXZ8LXO7+XAX8sC3jCid1ciqH3j1E4YeF9PhWD6/DMcaYNufVHUWHkZqTCj4oWltkjdrGmGOSJYpGBFIDpIxMgSooXFXodTjGGNPmLFFEIXWy005xZO2RJu1XUVBByZZOPyK7MaaT86SNoqNJOzWNlDEpJA2JvkO6qrJ1/lbKtpeRmpNKn7l9SBxoEyAZYzoeu6OIQlx6HMnHJzepp7aI0O/qfgAU5hay6SebKHitIFYhGmNMzFiiaKLqivBzaB989yDbfr2Nz3/8OarO0FUpJ6Qw4skRdD+zOyjs+cceG4nWGNPhWKKIUsWBCjbftJlNV20KJoIaReuK2PH7HRR+UEjZjjLKdx3tnBfoFqDvj/oSf1w8lQWVFH1S1NahG2NMi1iiiFKgW4CyvDLKvyqndPvRWe+qy6rZefdOALqf1Z2hfx9K/HHxtfYVEdKmpwFw4M0DbRazMca0BksUURKf0HVyVwAKPzj6mOyexXso/6qchIEJHHf5cSRmJiK++m0Z6dPTSRqWRJexXdosZmOMaQ2WKJqg64lOoqgZzqN4YzH7X9gPApnXZOILNPzrjO8Vz/F/PJ7uM7q3SazGGNNa7PHYJuiS3QWJF0o2lVCRX0HF/grEL2R8K4Pkocleh2eMMTFhiaIJfAk+Uiekcvj9wxz+4DAZ38wgrmcciVnR948o/bKUA28eIOOsDOJ7xTe+gzHGeMyqnpqo60ldSRiQEGzQTh6WjC8u+l/jnn/sYf/z+yn62J5+MsZ0DJYomih1cipVR6roenLXZu3fZYzTmH1kXdOGAzHGGK9Y1VMTBVIDHH/X8fgSmpdjU0anAM5otKpq83IbY9o9u6Nohrj0OPzJ/mbtmzAgAX+qn8r8Ssp326x5xpj2zxJFGxMRUsY4dxVW/WSM6QgsUXigpvqpqcOWG2OMFyxReCBldApxPeIIpFkTkTGm/bNvKg8kDkpk+MPDrSHbGNMhWKLwgCUIY0xHYlVPHqosrKRks02Vaoxp3yxReKR0RymfXfIZ2+7YVm9+C2OMaU8sUXgkITOBQPcAlfmVlG4tbXyHEBUHKsh/NZ99/9xHRUFFjCI0xhiHtVF4RERInZjKgdcPUJhbSNLgpEb3KdtZxs5FO53Hat2bkKJPisj6ZVaMozXGHMvsjsJDqZNTATj84eFGty3ZVsLmGzdzZM0RxC+kTkql69e60uNbPYLbVJVWWTWWMabV2R2Fh7pkd0ECQsnnJVQeqiTQLfzlKM0rZestW6kqrKJLdhcG3DQAf0rtIURUlby78qg6UkX/6/sTlxbXFkUwxhwD7I7CQ/5Ev9NLW6FwZWGD28X3iidpSBKpk1IZeNvAekkCoCK/giPrj3DkkyNsvm4zxZuKYxm6MeYYYonCY6mTU0Gc9oeG+OJ9DLx1IANuGYAvPvwli+8Rz9C/DiV5RDIV+yvYcuMWDiw/EKuwjTHHEEsUHkufns6IJ0fQ53t9aq1XVQpeK6C6shpwZteLNCc3OKPaZv1XFt1ndkcrlLw/5bH36b3WbmGMaRFro/BYuGokgD1P7GHfM/s4/P5hBi0YFPXxfAEf/a7qR8KABL564Cv2PLmHQFqA7md0b1JcJdtKOPjvgxz630NUF7vJKtFHypgUes/pTXwPm8bVmGOFJYp2QlX56sGv6DK+C6WbS9n3zD7wQfezmvYFX6PHt3oQ3yue/FfySZuW1qR9D75zkB1/2FFvfVVRFQffOkjfH/YNrivZUkJ8n/hmz89hjGn/PE0UIvJz4E6gp6ruD/P+ZcCt7uKvVfWxtoyvLR3630Pkv5hP/sv5UA0I9L++P11zmjflKkDXE7uSOjk1OLZUxYEKtt+xnaQhSSQNTyLQLYA/2U/lwUoqCiqCj9p2PbErCf0TSBmTQtq0NBL6JQBQWVBJ6bbS4F2QVinbfrmNqsIqkkcmkzImhYTMBBIyE4jrEYc/xd+sca2qy6upyK+g8lAlWqlQDb4kH/G94/GnNu+Yxpjm8yxRiEh/YAbwZQPvdwcWADk43ctWisiLqtopW2i7fb0bxd8qJv+lfAAyr8kkbUpai48b+qW673/2UbKphJJNJbC0znbxQvczu+ML+PDF+xh6z9B6X8iB1ACJAxODyxUHKog/Lp7ig8UcWXOEI2tqz6/R/xf9g2UoWlNE0cdF+FKc41eXVVNdWk1VURX+ZD99LnPaaKorq1l/wfpgh8K6el/Wm14X9AKcu5nCVYUEUgNIgiAB9+UXxOd0aKxRsq0ELVe0Sqkuq0bLNRhDQmYCKSOcOUIqCio49M4h8IHEOcfzJfjwJfrwJfhIGpaEP9FJlOX7y6k+Ug0CCIhPwO/8K/ESfERZVSnLK0OrnKSn1VqrfPF94gmkOv8VKwsrqTxY6RzL5x7TPT5CrSq/ykOVzjFDqXM+X6KPQBfnmNXl1VQerKxzwd0XEEgLBNu/qo5UUV1WfXSbkH8lIMFjqiqVB+ocM4S/iz/44EVVaRXVJdX1z4/z+Qx9LLyysNL5Q8k9Ryhfgg9/kvO7r66sdn73Ec4vfgmWSSsb+ED5qVWmqsNVDR7Tl+QLlqnms9OQhspUl8RL88pUXIVW1C+Tv2ts/pDy8o7iLuAXwJIG3j8DeF1VCwBE5HVgJvBULIP61recf1966ei622+Hjz6C226DyZOddUuXwj33wBlnwNVXO+sKCuCyy6B7d3gs5N7n2mth82a46y44/nhn3T/+AU89BRdfDJdc4vyHOTLtOG54pAeDs2DRaUe/EC67zDn2Y485xwb429/gtdfgqqtg5kxn3Ycfwh13wKRJMH9+/TItea4P3U7pRvGGYn53Xxyrt8dz1eQCxg+uIHl4Mq/+S7n3wZoySRRliueuu4YwonclRR8XsXix8vyKBM7MPMiZGQcIpAf44gu47jroUyr8NHFfcP95qzM5VO7nN9l59Ojvo89lfdwy+TinNI0pA44QSAuwZl8i97yXzuiMUq4YtJu4HnHBMpXv8XNn7z3BY977eS/WHUzih0P3MrZnKaP/OTp4ncYfKuTCbs62h8r9zFudSbd45TfZO8n4VgYpI1K49lr4fLVwlS+fASnONLX/2tmNV3emcWa/g5zV7xDH//V4dlYmcd110OtQGdd22xa2TMeNS2DIH4bwt7/B0lfhrP1fcUqvIgDWHkjivk29GJ1WwpXD9pL5s0zSp6U7ZdpdzZ19NoUvU+9SRj8XUqaDBVyYVrdMVfwmO4+MWRn0vbyvW6ZqrvJtbbBMQxcNJa8s0S1TccNlyk5gyO9Dy5QXZZmquLPPxpaX6ZwM+v4gtEybY1CmHVGWqbJdlmn5ji5IfCdJFCIyC9ipqp9EyH79gNCK8jx3XbjjXQFcATBgwIBWjLRtiQhxPeKJ7xWb4/vifaSMSiFlVArd1kNyAmT+JJksN/n5l0bevyGB1ABp30gjPQ+Sd0Hfi5MZdUlf5y/Czc42cb3i6D2rN1VFVVSXV5NYkEBpqZ/ec3vTa2Dtj2HmzzI54Uw3UX0IyQcgY1IKo+Zn1Por05/so8f5PagqdI6ZUJpAQAIkj0ymy4Daxwx0D5A0OAnxCxVVfgLbAsR38ZF+ejrJJyQHt5N4IW1qGt0zKqEKUt5PJK4kjqSsJFKGVeLv4oeD7u8z0UdCf6daTqsV30YfPvERyAjUnpRKIC4jQMKABMQvxCfH49/lJ5ARIOn4JPypR9t3JADx/eKDdx6+nT58xT4CaQHiMmp3opREIZAeAAV/uQ9fvOCLF6faL7TNyCcEMgLEpTq/u8DhAL54H/4ufgLdA8G/Up3zHz0muHdVKvi6+uo9eOHv4ne2BfxVfnxxgi/JRyA9gMSF/L/2Uev3IYmCxAm+Lr56nUwlQfB3c87jK/M5549z1vkSQ576E8GX6gv+7nwFzra+JB/+bn7nTiykTDXHbKxMvhTf0fNXuOdPdPavWyZ/N//R35N7R+tL8RHo2oIydalTpoBbpq5hytS1TpmqY1clK7F6dFJE3gD6hHlrHnALMENVD4nINiCnbhuFiFwPJKrqr93l24ASVb0z0nlzcnI0Nze3NYpgjDHHDBFZqao54d6L2R2Fqp7eQDBjgCyg5m4iE1glIpNVdXfIpjuBU0OWM4EVMQnWGGNMg9q8w52qrlXVXqo6SFUH4VQpTaiTJABeA2aISLqIpOM0fL/WxuEaY8wxr131zBaRHBF5EMBtxL4D+Mh93V7TsG2MMabteN7hzr2rqPk5F7g8ZPlh4GEPwjLGGONqV3cUxhhj2h9LFMYYYyKyRGGMMSYiSxTGGGMiilmHO6+IyD5gexN36wHUG5Swg7KytF+dqTxWlvapJWUZqKo9w73R6RJFc4hIbkM9EjsaK0v71ZnKY2Vpn2JVFqt6MsYYE5ElCmOMMRFZonDc73UArcjK0n51pvJYWdqnmJTF2iiMMcZEZHcUxhhjIrJEYYwxJqJjPlGIyEwR2SgiX4jITV7H0xQi0l9ElovIpyKyXkSucdd3F5HXRWST+2+617FGS0T8IvKxiLzsLmeJyAfu9XlaROIbO0Z7ICJpIvKsiGwQkc9E5OSOel1E5Dr387VORJ4SkcSOdF1E5GER2Ssi60LWhb0W4rjbLdcaEZngXeT1NVCWhe7nbI2I/FNE0kLeu9kty0YROaO55z2mE4WI+IF7gDOBkcDFIjLS26iapBL4uaqOBE4CrnLjvwl4U1WHAm+6yx3FNcBnIcu/B+5S1eOBA8B/ehJV0/0FWKqqJwDjcMrU4a6LiPQDfoozC+VowA9cRMe6Lo8CM+usa+hanAkMdV9XAH9voxij9Sj1y/I6MFpVxwKfAzcDuN8FFwGj3H0Wud95TXZMJwpgMvCFqm5R1XLgv4FZHscUNVX9SlVXuT8X4nwZ9cMpw2PuZo8B53oSYBOJSCZwFvCguyzAdOBZd5MOURYR6QZ8A3gIQFXLVfUgHfS64ExHkCQiASAZ+IoOdF1U9W2g7lw2DV2LWcDj6ngfSBOR49ok0CiEK4uqLlPVSnfxfZzZQMEpy3+rapmqbgW+wPnOa7JjPVH0A3aELOe56zocERkEjAc+AHqr6lfuW7uB3l7F1UR/Bn4BVLvLGcDBkP8EHeX6ZAH7gEfcarQHRSSFDnhdVHUncCfwJU6COASspGNel1ANXYuO/p3wfeBV9+dWK8uxnig6BRHpAjwHXKuqh0PfU+f553b/DLSInA3sVdWVXsfSCgLABODvqjoeOEKdaqYOdF3Scf4yzQL6AinUr/ro0DrKtWiMiMzDqY5e3NrHPtYTxU6gf8hypruuwxCROJwksVhVn3dX76m5XXb/3etVfE3wdeAcEdmGUwU4HaeeP82t8oCOc33ygDxV/cBdfhYncXTE63I6sFVV96lqBfA8zrXqiNclVEPXokN+J4jIXOBsYLYe7RzXamU51hPFR8BQ9wmOeJyGnxc9jilqbh3+Q8BnqvqnkLdeBC5zf74MWNLWsTWVqt6sqpnu1LgXAf9W1dnAcuACd7OOUpbdwA4RGe6uOg34lA54XXCqnE4SkWT381ZTlg53Xepo6Fq8CMxxn346CTgUUkXVLonITJwq23NUtTjkrReBi0QkQUSycBroP2zWSVT1mH4B38R5UmAzMM/reJoY+yk4t8xrgNXu65s4dftvApuAN4DuXsfaxHKdCrzs/jzY/XB/ATwDJHgdX5RlyAZy3WvzApDeUa8L8CtgA7AOeAJI6EjXBXgKp32lAudu7z8buhaA4DwJuRlYi/O0l+dlaKQsX+C0RdR8B9wbsv08tywbgTObe14bwsMYY0xEx3rVkzHGmEZYojDGGBORJQpjjDERWaIwxhgTkSUKY4wxEVmiMO2eiKiI/DFk+XoR+WUrHftREbmg8S1bfJ4L3VFkl9dZ31dEnnV/zhaRb7biOdNE5MfhzmVMU1iiMB1BGXC+iPTwOpBQIT2To/GfwA9UdVroSlXdpao1iSobpx9Ma8WQBgQTRZ1zGRM1SxSmI6jEmQv4urpv1L0jEJEi999TReQtEVkiIltE5HciMltEPhSRtSIyJOQwp4tIroh87o45VTMvxkIR+cgd5/+HIcd9R0RexOmhXDeei93jrxOR37vr5uN0jnxIRBbW2X6Qu208cDvwXRFZLSLfFZEUd/6BD93BBWe5+8wVkRdF5N/AmyLSRUTeFJFV7rlrRkD+HTDEPd7CmnO5x0gUkUfc7T8WkWkhx35eRJaKM1fDH0J+H4+6sa4VkXrXwnReTfmLyBgv3QOsqfniitI4YATOsMxbgAdVdbI4Ezz9BLjW3W4QzvDLQ4DlInI8MAdn+IZJIpIA/K+ILHO3n4Az/v/W0JOJSF+ceRom4szRsExEzlXV20VkOnC9quaGC1RVy92EkqOqV7vH+y+coUy+L85kNB+KyBshMYxV1QL3ruI8VT3s3nW97yaym9w4s93jDQo55VXOaXWMiJzgxjrMfS8bZyTiMmCjiPwV6AX0U2dOCiRkchzT+dkdhekQ1BkV93GcSXSi9ZE6c3aU4QxjUPNFvxYnOdT4H1WtVtVNOAnlBGAGzpg/q3GGbs/AGSsH4MO6ScI1CVihzgB6NaN4fqMJ8dY1A7jJjWEFkAgMcN97XVVr5iUQ4L9EZA3OcBT9aHwI81OAJwFUdQOwHahJFG+q6iFVLcW5axqI83sZLCJ/dccWOhzmmKaTsjsK05H8GVgFPBKyrhL3Dx4R8QGhU3KWhfxcHbJcTe3Pft1xbBTny/cnqvpa6BsicirOsOFtQYBvq+rGOjGcWCeG2UBPYKKqVogzAm9iC84b+nurAgKqekBExgFnAFcC38GZ+8AcA+yOwnQY7l/Q/0PtaTe34VT1AJwDxDXj0BeKiM9ttxiMM4Daa8CPxBnGHREZJs7kQ5F8CEwVkR7iTDl5MfBWE+IoBFJDll8DfiIi4sYwvoH9uuHM5VHhtjUMbOB4od7BSTC4VU4DcModllul5VPV54Bbcaq+zDHCEoXpaP4IhD799ADOl/MnwMk076/9L3G+5F8FrnSrXB7EqXZZ5TYA30cjd+DqDEd9E84Q3J8AK1W1KcNvLwdG1jRmA3fgJL41IrLeXQ5nMZAjImtx2lY2uPHk47StrKvbiA4sAnzuPk8Dc90quob0A1a41WBP4s7LbI4NNnqsMcaYiOyOwhhjTESWKIwxxkRkicIYY0xEliiMMcZEZInCGGNMRJYojDHGRGSJwhhjTET/H4PHImkhifUHAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "<Figure size 432x288 with 1 Axes>"
      ]
     },
     "metadata": {
      "needs_background": "light"
     },
     "output_type": "display_data"
    }
   ],
   "source": [
    "classical_graph, classical_graph_adjacency = generate_graph(N, 1)\n",
    "\n",
    "opt_cir = Paddle_QAOA(classical_graph_adjacency, N =4, P=4, METHOD=1, ITR=120, LR=0.1)\n",
    "\n",
    "# Load the data of QAOA\n",
    "x1 = np.load('./output/summary_data.npz')\n",
    "\n",
    "H_min = np.ones([len(x1['iter'])]) * H_min\n",
    "\n",
    "# Plot loss\n",
    "loss_QAOA, = plt.plot(x1['iter'], x1['energy'], \\\n",
    "                                        alpha=0.7, marker='', linestyle=\"--\", linewidth=2, color='m')\n",
    "benchmark, = plt.plot(x1['iter'], H_min, alpha=0.7, marker='', linestyle=\":\", linewidth=2, color='b')\n",
    "plt.xlabel('Number of iterations')\n",
    "plt.ylabel('Loss function for QAOA')\n",
    "\n",
    "plt.legend(handles=[\n",
    "    loss_QAOA,\n",
    "    benchmark\n",
    "],\n",
    "    labels=[\n",
    "            r'Loss function $\\left\\langle {\\psi \\left( {\\bf{\\theta }} \\right)} '\n",
    "            r'\\right|H\\left| {\\psi \\left( {\\bf{\\theta }} \\right)} \\right\\rangle $',\n",
    "            'The benchmark result',\n",
    "    ], loc='best')\n",
    "\n",
    "# Show the plot\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "\n",
    "## 5. 解码量子答案\n",
    "\n",
    "当求得损失函数 $\\langle \\psi(\\boldsymbol{\\beta},\\boldsymbol{\\gamma}, P)| H_{\\rm Cut}|\\psi(\\boldsymbol{\\beta},\\boldsymbol{\\gamma}, P)\\rangle$ 的最小值以及相对应的一组参数 $(\\boldsymbol{\\beta}^*,\\boldsymbol{\\gamma}^*)$ 后，我们的任务还没有完成。为了进一步求得 Max-Cut 问题的解，需要从 QAOA 输出的量子态 \n",
    "\n",
    "$$|\\psi(\\boldsymbol{\\beta}^*,\\boldsymbol{\\gamma}^*, P)\\rangle=\\sum_{i=1}^{2^4}\\lambda_i |\\boldsymbol{x}_i\\rangle$$\n",
    "\n",
    "中解码出经典优化问题的答案。上式中  $\\boldsymbol{x}_i=x_1x_2x_3 x_4\\in \\{0, 1\\}^4$，对应着经典问题的一个可行解。物理上，解码量子态需要对量子态进行测量，然后统计测量结果的概率分布：\n",
    "                 \n",
    "$$ p(\\boldsymbol{x})=|\\langle \\boldsymbol{x}|\\psi(\\boldsymbol{\\beta}^*,\\boldsymbol{\\gamma}^*,P)\\rangle|^2.$$\n",
    "              \n",
    "\n",
    "多数情况下，某个比特串出现的概率越大，意味着其对应的 Max-Cut 问题最优解的可能性越大。\n",
    "\n",
    "此外，Paddle Quantum 提供了查看 QAOA 量子电路输出状态的测量结果概率分布的函数："
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {
    "pycharm": {
     "is_executing": false,
     "name": "#%%\n"
    },
    "scrolled": true
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYIAAAEWCAYAAABrDZDcAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/d3fzzAAAACXBIWXMAAAsTAAALEwEAmpwYAAAbM0lEQVR4nO3de9hcZX3u8e+dcBRQQRAtCYbWUMUDqAHZtdsDgg1bDVBROSkqNraSCpe2CluLgnZv1MqubAI1ioh2S/BsqhGwKnZrt5iAKASMpAgSFI0iB2UDRu7+sVZgmMw775r3XWtm8q77c11zZdbpt34TwvxmPetZzyPbREREe80adQIRETFaKQQRES2XQhAR0XIpBBERLZdCEBHRcikEEREtt9WoExjUrrvu6nnz5o06jYiILcqVV175S9u79dq2xRWCefPmsXr16lGnERGxRZF080Tb0jQUEdFyKQQRES2XQhAR0XIpBBERLZdCEBHRcikEEREtl0IQEdFyKQQRES23xT1QFlu2ead8ecrH3nTmi2vMJCI2yRVBRETLpRBERLRco4VA0kJJayWtk3RKj+2vkbRB0tXl6/VN5hMREZtr7B6BpNnAUuAQYD2wStIK29d17Xqx7SVN5REREf01eUVwALDO9o227weWA4c1eL6IiJiCJgvBHsAtHcvry3XdXibpB5I+I2lur0CSFktaLWn1hg0bmsg1IqK1Rn2z+F+AebafDnwVuLDXTraX2V5ge8Fuu/WcVyEiIqaoyUJwK9D5C39Oue5Btn9l+75y8SPAsxrMJyIiemiyEKwC5kvaS9I2wFHAis4dJD2+Y3ERcH2D+URERA+N9RqyvVHSEuBSYDbwUdtrJJ0BrLa9AniTpEXARuB24DVN5RMREb01OsSE7ZXAyq51p3W8PxU4tckcIiKiv1HfLI6IiBHLoHMRLZJB/6KXXBFERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES03KSFQNJzJO1Qvj9O0lmSnlAluKSFktZKWifplD77vUySJS2onnpERNShyhXBecA9kvYF3gL8B/DxyQ6SNBtYChwK7AMcLWmfHvvtBJwEXDFA3hERUZMqhWCjbQOHAefYXgrsVOG4A4B1tm+0fT+wvIzR7d3Ae4F7K+YcERE1qlII7pZ0KvAq4MuSZgFbVzhuD+CWjuX15boHSXomMNf2lyvmGxERNatSCF4J3Ae8zvZtwBzg/dM9cVlQzqJobpps38WSVktavWHDhumeOiIiOkxaCMov/88C25arfgl8vkLsW4G5HctzynWb7AQ8Fbhc0k3AgcCKXjeMbS+zvcD2gt12263CqSMioqoqvYb+AvgM8KFy1R7AFyrEXgXMl7SXpG2Ao4AVmzbavtP2rrbn2Z4HfAdYZHv1YB8hIiKmo0rT0InAc4C7AGzfADx2soNsbwSWAJcC1wOfsr1G0hmSFk095YiIqNNWFfa5z/b9kgCQtBXgKsFtrwRWdq07bYJ9n18lZkRE1KvKFcE3Jf13YHtJhwCfBv6l2bQiImJYqhSCU4ANwDXAGyh+4b+jyaQiImJ4Jm0asv0A8OHyFRERM8yEhUDSp2y/QtI19LgnYPvpjWYWERFD0e+K4KTyz5cMI5GIiBiNCe8R2P5Z+faNtm/ufAFvHE56ERHRtCo3iw/pse7QuhOJiIjR6HeP4K8ofvn/oaQfdGzaCfh204lFRMRw9LtH8EngK8D/pOhCusndtm9vNKuIiBiafoXAtm+SdGL3Bkm7pBhERMwMk10RvAS4kqL7qDq2GfjDBvOKiIghmbAQ2H5J+edew0snIiKGrd/N4mf2O9D2VfWnExERw9avaegDfbYZOKjmXCIiYgT6NQ29YJiJRETEaPRrGjrI9tcl/Xmv7bY/11xaERExLP2ahp4HfB14aY9tBlIIIiJmgH5NQ+8s/3zt8NKJiIhhqzJ5/WMknS3pKklXSvqgpMcMI7mIiGhelUHnllPMUPYy4Mjy/cVNJhUREcNTZfL6x9t+d8fyeyS9sqmEIiJiuKpcEVwm6ShJs8rXK4BLm04sIiKGo1/30bt5aIyhk4F/LjfNAn4D/E3TyUVERPP69RraaZiJRETEaFS5R4CknYH5wHab1tn+t6aSioiI4Zm0EEh6PcVE9nOAq4EDgf9HxhqKiJgRqtwsPgnYH7i5HH/oGcAdTSYVERHDU6UQ3Gv7XgBJ29r+IfDHzaYVERHDUuUewXpJjwa+AHxV0q+Bm5tMKiIihmfSQmD7iPLtuyR9A3gUcEmjWUVExNBU7TX0TOBPKZ4r+Lbt+xvNKiIihqbKoHOnARcCjwF2BS6Q9I4qwSUtlLRW0jpJp/TY/peSrpF0taRvSdpn0A8QERHTU+WK4Fhg344bxmdSdCN9T7+DJM0GlgKHAOuBVZJW2L6uY7dP2v6ncv9FwFnAwkE/RERETF2VXkM/peNBMmBb4NYKxx0ArLN9Y9mUtBw4rHMH23d1LO5A0fQUERFD1G+sof9N8cV8J7BG0lfL5UOA71aIvQdwS8fyeuDZPc5zIvBmYBvykFpExND1axpaXf55JfD5jvWX15mA7aXAUknHAO8Aju/eR9JiYDHAnnvuWefpIyJar9+gcxduei9pG2DvcnGt7d9ViH0rMLdjeQ79m5SWA+dNkMsyYBnAggUL0nwUEVGjKr2Gng/cQHHj91zgR5KeWyH2KmC+pL3KQnIUsKIr9vyOxReX54mIiCGq0mvoA8CLbK8FkLQ3cBHwrH4H2d4oaQnFJDazgY/aXiPpDGC17RXAEkkHA78Dfk2PZqGIiGhWlUKw9aYiAGD7R5K2rhLc9kpgZde60zren1Q10YiIaEaVQnClpI/w0Axlx/LQjeSIiNjCVSkEfwmcCLypXP6/FPcKIiJiBuhbCMqng79v+0kUT/1GRMQM07fXkO3fA2slpfN+RMQMVaVpaGeKJ4u/C/x200rbixrLKiIihqZKIfi7xrOIiIiR6TfW0HYUN4qfCFwDnG9747ASi4iI4eh3j+BCYAFFETiU4sGyiIiYYfo1De1j+2kAks6n2oijERGxhel3RfDgwHJpEoqImLn6XRHsK2nTxDECti+XBdj2IxvPLiIiGtdvGOrZw0wkIiJGo8pUlRERMYOlEEREtFwKQUREy6UQRES0XL8ni+8GJpwfOL2GIiJmhn69hnYCkPRu4GfAJyi6jh4LPH4o2UVEROOqNA0tsn2u7btt32X7POCwphOLiIjhqFIIfivpWEmzJc2SdCwdw1FHRMSWrUohOAZ4BfDz8vXycl1ERMwAk85HYPsm0hQUETFjTXpFIGlvSV+TdG25/HRJ72g+tYiIGIYqTUMfBk6lHI3U9g+Ao5pMKiIihqdKIXiE7e65CDIsdUTEDFGlEPxS0h9RPlwm6UiK5woiImIGqDJ5/YnAMuBJkm4FfkzxUFlERMwAfQuBpNnAG20fLGkHYJbtu4eTWkREDEPfQmD795L+tHyfh8giImagKk1D35O0Avg0HU8U2/5cY1lFRMTQVCkE2wG/Ag7qWGcghSAiYgao8mTxa6caXNJC4IPAbOAjts/s2v5m4PUU3VE3AK+zffNUzxcREYObtBBIuoAe8xLYft0kx80GlgKHAOuBVZJW2L6uY7fvAQts3yPpr4D3Aa8cIP+IiJimKk1DX+p4vx1wBPDTCscdAKyzfSOApOUUYxY9WAhsf6Nj/+8Ax1WIGxERNarSNPTZzmVJFwHfqhB7D+CWjuX1wLP77H8C8JUKcSMiokZVrgi6zQceW2cSko4DFgDPm2D7YmAxwJ577lnnqSMiWq/KPYLuuYtvA95WIfatwNyO5Tnluu74BwNvB55n+75egWwvo3i6mQULFkw4j3JERAyuStPQTlOMvQqYL2kvigJwFF0T2kh6BvAhYKHtX0zxPBERMQ1V5iN4Tjm8BJKOk3SWpCdMdpztjcAS4FLgeuBTttdIOkPSonK39wM7Ap+WdHX54FpERAxRlXsE5wH7StoXeAvwEeDjTNCe38n2SmBl17rTOt4fPFC2ERFRuyrDUG+0bYqun+fYXgpMtbkoIiLGTJUrgrslnUrRx/+5kmYBWzebVkREDEuVK4JXAvcBJ9i+jaL3z/sbzSoiIoamSq+h24CzOpZ/QnGPICIiZoAqvYYOlLRK0m8k3S/p95LuHEZyERHRvCpNQ+cARwM3ANtTjBZ6bpNJRUTE8FQpBNheB8y2/XvbFwALm00rIiKGpUqvoXskbQNcLel9wM+oWEAiImL8VflCf1W53xKKqSrnAi9rMqmIiBieKr2Gbpa0PfB426cPIaeIiBiiKr2GXgpcDVxSLu+XMYEiImaOKk1D76KYbewOANtXA3s1llFERAxVlULwO9vdzw1kToCIiBmiSq+hNZKOAWZLmg+8Cfj3ZtOKiIhhqXJF8NfAUyjGG7oIuAs4ucGcIiJiiKr0GrqHYirJtzefTkREDNuEhWCynkG2F/XbHhERW4Z+VwT/BbiFojnoCkBDySgiIoaqXyF4HHAIxYBzxwBfBi6yvWYYiUVExHBMeLO4HGDuEtvHAwcC64DLJS0ZWnYREdG4vjeLJW0LvJjiqmAecDbw+ebTioiIYel3s/jjwFOBlcDptq8dWlYRETE0/a4IjqMYbfQk4E3Sg/eKBdj2IxvOLSIihmDCQmA7cw5ERLRAvuwjIlouhSAiouVSCCIiWi6FICKi5VIIIiJaLoUgIqLlUggiIlqu0UIgaaGktZLWSTqlx/bnSrpK0kZJRzaZS0RE9NZYIZA0G1gKHArsAxwtaZ+u3X4CvAb4ZFN5REREf1XmLJ6qA4B1tm8EkLQcOAy4btMOtm8qtz3QYB4REdFHk01De1BMbLPJ+nJdRESMkS3iZrGkxZJWS1q9YcOGUacTETGjNFkIbgXmdizPKdcNzPYy2wtsL9htt91qSS4iIgpNFoJVwHxJe0naBjgKWNHg+SIiYgoaKwS2NwJLgEuB64FP2V4j6QxJiwAk7S9pPfBy4EOSMh9yRMSQNdlrCNsrKWY461x3Wsf7VRRNRhERMSJbxM3iiIhoTgpBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMulEEREtFwKQUREy6UQRES0XApBRETLNVoIJC2UtFbSOkmn9Ni+raSLy+1XSJrXZD4REbG5xgqBpNnAUuBQYB/gaEn7dO12AvBr208E/hfw3qbyiYiI3pq8IjgAWGf7Rtv3A8uBw7r2OQy4sHz/GeCFktRgThER0WWrBmPvAdzSsbweePZE+9jeKOlO4DHALzt3krQYWFwu/kbS2kYyhl27zz0mseqOt0XG0uDXi1vk5xxhrL7x8vc/lHh159bpCRNtaLIQ1Mb2MmBZ0+eRtNr2gnGLVXe8NsSqO14bYtUdrw2x6o5Xd25VNdk0dCswt2N5Trmu5z6StgIeBfyqwZwiIqJLk4VgFTBf0l6StgGOAlZ07bMCOL58fyTwddtuMKeIiOjSWNNQ2ea/BLgUmA181PYaSWcAq22vAM4HPiFpHXA7RbEYpTqbn+puyhrX3MY1Vt3x2hCr7nhtiFV3vMabwHtRfoBHRLRbniyOiGi5FIKIiJZLIYiIaLkUgoiIltsiHihrSjmcxQEUTzhD8VzDd+vswirpSbZ/OOAxjwIWduV1qe07aszrENtfncJxY5mbpCdRDFnSmdcK29fXmNdrbV9QV7yIcdHaXkOSXgScC9zAQw+6zQGeCLzR9mU1necntvccYP9XA+8ELuvK6xDgdNsfH0Ve45ybpLcBR1OMZ7W+I6+jgOW2zxxFXh3HjWXxLI8bywI6jLymkdufAYd35fZF25fUmNdpts+oK96k52txIbgeONT2TV3r9wJW2n7yALHOnmgTcLztRw4Qay3w7O4vCUk7A1fY3nuAWN0P8HXmdZDtHarGGufcJP0IeIrt33Wt3wZYY3v+ALF+0CevvW1vWzVWGW8si2d5zFgW0GHlNcXc/hHYG/h4V26vBm6wfdIo8pquNjcNbcVD/yE73QpsPWCs1wJvAe7rse3oAWMJ6FWdHyi3DeK/AscBv+lxjgMGjLXpuHHM7QHgD4Cbu9Y/vtw2iN2BPwN+3SOvfx8wFsDbgWdNVDwpvlAqmaR4PmYKuZ1A7wJ6FrAGqPyFO0kB3X1UeTWQ23/r9YNH0sXAj4DKhUDSXX3y2n7AvKalzYXgo8AqSct5aJTUuRS/Os4fMNYq4Frbm31RSHrXgLH+HrhK0mUdee1J8Qvy3QPG+g5wj+1v9shrKiO4jmtuJwNfk3RDV15PBJYMGOtLwI62r+6R1+UDxoLxLZ6bchjHAlpnXnXndq+k/W2v6lq/P3DvgLHuAPa3/fPuDZJu2Xz35rS2aQignChnEZu3Q143YJxdgHtt31NTXjtT/MPtblPu/oc8dOOam6RZbH7jf5Xt348uK5B0PHAaRdPQZsXT9scGiPUV4H22v9Fj27/Zfu6AuS0EzqG4T7ZZAR2kzVvS+cAFtr/VY9snbR8zirwayO2ZwHnATjzUojAXuBM40faVA8R6D8X3zXd7bHuv7bdVjTVdrS4Em5Rf5Ni+fZxijStJu9PxhdvrF80oYk0Qf0fb3b+ghxprXIsnjHUBHcu8NpH0OB7+7/a2UeYzXa0tBJL2BN4HHERRzQU8Evg6cEr3TeSKsV5Icbk35ViTnOca208bVSxJ+wH/RDFc+HqKzzmH4jO/0fZVA8R6BsUvq0fx8JuoA8ea5Dy13XSbTqwtqXiW5xhpAa27a/e4dhUfRqwq2nyP4GLgH4FjN/3KUDHP8sspeiscOIpYkv58ok3A4wbIqdZYpY8Bb7B9Rdd5DgQuAPYdINYFdcWS9OaJNgE7DpBTrbHKePvRo3hKuoOaiudUYlVwHUVzzNBj9evaLWngrt11x+vjMur7O6sz1qTaXAh2tX1x54ryS3y5pEFvfNYZ62Lg/9D7BuN2I4wFsEP3FzeA7e9IGqgras2x/gfwfmBjj22DPj1fZywY0+JZHjeuBfSDwMETde0GKnftrjveJF3FHz1IUnXGmq42F4IrJZ0LXMjDew0dD3xvhLF+APyD7Wu7N0g6eISxAL4i6csUXR47P+ergUEfpqkz1lXAF3rdqJP0+hHGgvEtnjC+BbTOrt11x6uzq3idsaalzYXg1RT9lU+nq9cQg3cfrTPWycBE/YuPGGEsbL9J0qFs/sTnUtsrRxWL4n+oiaY4HXT+1zpjwfgWTxjfAlpn1+6649XZVbzOWNPS2pvFEcMyQcFbMYWCV3esPwZut72hx7bdB7kJXWes8pgn0/tzDtS1u+54dXYVr7vb+bRyaWshkLQVxa/4w+kaMwQ4v/upxhHEOoLioZqxiFXhXMtsL06siC1PmwvBRRRdFS/k4WOGHA/sYvuVibVZvF0m2gR83/acxNos3qOAUyl+je5OceP+FxTF+MzuoSeGFasr3uHAY2vKbdqxJjnPV2wfWkesuuONa6wq2nyP4FnefMyQ9cB3VAxillib20Dx2H/n0Agulx+bWD19iuJ5khdseuiofBjpNeW2F40oVme853fFO34auU07Vvn0bs9NwH4D5FR7vHGNNV1tLgS3S3o58FnbD8CDTzO+nM3HJEmswo3AC23/pHuDBh8bpQ2xAObZfm/nivKL8kxJrx1hrH7x3ivpdSOMtQr4Jg8vxps8esBYdccb11jTY7uVL2AeRT/7X1CMGvij8v3FwF6J1TPeicC+E2z768TqecxlwFuB3TvW7Q68DfjXUcUa59yAa4H5E2y7ZQqfs7Z44xpruq/W3iOACXsSfNFTmPyiDbHKeLVNGNKSWDsDp5TxNjUt/Zyia/GZHmC8oTpjjXNuko4ErrG92Si0kg63/YWqseqON66xpqu1cxarmPzikxTtv1eUL4CLJJ2SWD3jvZViyAwB3y1fmmJuMz4WgO1f236b7SfZ3qV8PdnFyJKHjyrWOOdm+zO9vhxLOw8Sq+544xpr2oZ5+TFOL4pmkq17rN+GYqahxNpCchvXWBXO9ZNxjDXOueVzNvNq883iOie/aEOscc5tXGOhGmfHqjNW3fHGNVbd8cY11nS1uRCcTH2zWrUh1jjnNq6xoN7ZseqeRnNcc8vnnNrnnLLWFgLbl0jamxomv2hDrHHObVxjleqc+rLuaTTHNbd8zql9zilrda+hiIhoca+hiIgopBBERLRcCkHMaJLmSPqipBsk3SjpHEnbVjiu5xy7ks5QOamPpJMlPWKC/V4i6XuSvi/pOklvKNcfLmmfCuevtF9EHVIIYsaSJOBzFBOmzAfmA9sD75tqTNun2f7XcvFkYLNCIGlrYBnwUtv7As8ALi83Hw5U+YKvul/EtOVmccxYkl4IvNP2czvWPZLiGYG5wJHAAttLym1fopja8/LyiuDDFKNm3gYcZXuDpI9R9Pb4A+AfgLXAL22/oOMcuwA/BJ5g+/93rP+T8tg7y9fLgIOAxRQPrK0DXkUx8mT3fgBLgd2Ae4C/sP3DWv6iovVyRRAz2VOAh02daPsu4CaK5wL62QFYbfspFCNEvrMrztnATymGhH5B17bbKcbYuVnSRZKOlTTLxZSEK4C/tb2f7f8APmd7//LK4XrghAn2W0Yx6N2zgL8Bzh34byNiAq19jiBiEg9QjNIK8M8UTUyV2X69pKcBB1N8cR9CMW9At6dKeg/FsMM7Apd27yBpR+BPgE8XrV0ATHqfI6KqFIKYya6jaP55UNk09DiKJp2n8vCr4u36xBq4DdX2NcA1kj4B/JjeheBjwOG2vy/pNcDze+wzC7jD9n6D5hBRRZqGYib7GvAISa8GkDQb+ABwTtl2fxOwn6RZkuZSPE28ySweKiLHAN/qEf9uYKfulZJ2lPT8jlX78dDYRd3H7AT8rLzBfGyv2GVz1o9VTDKECvv2++ARg0ghiBnLRU+II4Ajy7GDfgU8YPvvy12+TfFL/TrgbOCqjsN/Cxwg6VqKG7pn9DjFMuASSd/oWi/grZLWSroaOJ2HrgaWA39bdi39I+DvKIYH/zbFDWYm2O9Y4ARJ3wfWUIz7H1GL9BqK1ih77VwEHGH7qsn2j2iLFIKIiJZL01BERMulEEREtFwKQUREy6UQRES0XApBRETLpRBERLRcCkFERMv9J2lfuxp4ZulDAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "<Figure size 432x288 with 1 Axes>"
      ]
     },
     "metadata": {
      "needs_background": "light"
     },
     "output_type": "display_data"
    }
   ],
   "source": [
    "with fluid.dygraph.guard():\n",
    "    # Measure the output state of the QAOA circuit for 1024 shots by default\n",
    "    prob_measure = opt_cir.measure(plot=True)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "最后，再次利用参数代换 $|x \\rangle\\rightarrow z=2x-1\\in\\{-1, 1\\}$，可以从量子答案中解码得到 Max-Cut 问题的可行解。 此时，记 $z_i=-1$ 的顶点属于集合 $S^\\prime$ 以及 $z_j=1$ 的顶点属于集合 $S$，这两个顶点集合之间存在的边就是该图的一个可能得最大割方案。 \n",
    "\n",
    "选取测量结果中出现几率最大的比特串，然后将其映射回经典解，并且画出对应的最大割方案：\n",
    "\n",
    "- 蓝色顶点属于集合 $S$\n",
    "- 红色顶点属于集合 $S^\\prime$\n",
    "- 虚线表示被割的边"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {
    "pycharm": {
     "is_executing": false
    },
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "The output bitstring: ['0101']\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAb4AAAEuCAYAAADx63eqAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/d3fzzAAAACXBIWXMAAAsTAAALEwEAmpwYAAAqN0lEQVR4nO3dfVhUdfo/8PcIM8pAaqJg9tPETDdhmfEBtlTMHqyvZutDtqW2is8kYqF5rWiG7FpqD6ZorrZfEHNTs02o1l1bCx/QvBQRBk2/66qZUisYKsqgDjjn98c4yDBnhgFm5syZ835dlxdyzhHv3St5c5/z+dxHJQiCACIiIoVoIXUBRERE3sTgIyIiRWHwERGRojD4iIhIURh8RESkKAw+IiJSFAYfEREpCoOPiIgUhcFHRESKEih1AURKc/YscPEiYDIB994L9OwJtGoldVVEysHgI/KCGzeATz8Fli8HfvwR0Ggsx81mQBCAKVOApCTgwQelrZNICVSc1UnkWf/4B/DSS5aAq6wUv0atBgICgBdeADIyLJ8TkWcw+Ig86K9/BaZPt3R8rggKAmJigF277naFROReDD4iD9m7Fxg61PXQswoKAn77W2DrVs/URaR0XNVJ5CEzZ4qF3koA0QACAKgALLb7czduAF99BRQXe7hAIoVi8BF5QEEBcO6c6BkA7QB0dvrnb90CPvjA/XUREYOPyCNWrLCEl71NAPYA0Dv987dvW1aBXrvm9tKIFI/BR+QBu3ZZwqs5NBrg0CH31ENEdzH4iDzg+vXmfw1BAK5caf7XISJbDD4iD2jhpn9ZgRwxQeR2DD4iD2jb1j1fp31793wdIrqLwUfkAePGCQgMrBE5878A4gEcvfN5zp3Pc+yubNECePRRj5RHpGgMPiI3KykpQX7+RNTUVIuc3Q9gI4ALdz433Pm8yOaqli2B3/2uFH//e7YnSyVSJAYfkZsIgoDMzExERkZi795NAA4AqN/1ZQEQRH4ttrlKpRJw4MAEjB49GuPGjUN5ebmnyydSDI4sI3KDkpISTJs2DTt37qxzNAKWDev3NuprabXAwIG78K9/PV17LCwsDOvWrcOoUaPcUi+RkjH4iJrp2rVr6Natm2hX1rv3VJw+vQ5GYwDM5oa/llYLTJlyA5mZHWA0Gu3Ojx07FqtXr0ZoaKg7SidSJN7qJGqm1q1bIyEhweaYVqtFeno6jhxZj8LCAPTrZxk+7Wh7wj33WF5Ku2oVkJ4ehAMHDkCv19tdt2XLFvTq1QvZ2Xz2R9RU7PiI3ODWrVvo168fjh8/jkGDBiEzMxMP1nur7MmTwMqVwJYtlvfytWgBqFRAnz7A/PnAc8/ZBmN1dTXefvttLFmyBDU19itE2f0RNQ2Dj6gRBEGASqUSPVdQUIADBw5g1qxZaNHADvaaGsuvVq0a/jsNBgPi4+NRVFRkd47P/ogaj8FH5AJBELBhwwZs27YNO3bsQEBAgFf/fnZ/RO7D4CNqQP0Vm++88w7mzZsnSS3Our/w8HAUFxcjLCzM+4URyQgXtxA5UHdfXt1tCosWLcLJkyclqUmn0+Hw4cNYvHgxAuutlBkyZAhDj8gFDD4iESUlJRg2bBimTJmCa/VeiteiRQscP35cosoAtVqN1NRUHDlypHblZ8eOHbFq1SrJaiKSE97qJKrD+iwvOTnZLvAAIC4uDpmZmejevbsE1dmzPvvr06cPnnvuOanLIZIFBh/RHeLTVyyCgoKwbNkyl1Zs+hJBEDBz5kw888wzGDlypNTlEPkE+fwLJvIQR8/yrAYNGoTi4mLMnj1bVqEHANu2bavd7jB+/HjO/CQCOz5SOGddnlarxbJly5CYmCi7wAOA0tJSREZG2oRdeHg41q1bx+6PFE1+/5qJ3GjRokVOu7ykpCRZhh4A5OXloaKiwuZYaWkpuz9SPHZ8pGiXLl1CZGQkLl26BED+XV59RUVFiI+Ph8FgsDvH7o+USv7/somaoUOHDli7di0A/+jy6tPr9Q73/bH7I6Vix0eKcPnyZbRr187h+R07dmDo0KF+E3hi2P0RWfjvv3Ii3F2xGRER4fRVPs8++6xfhx7A7o/Iih0f+a36KzbDwsJw4sQJDnKG8+5vxIgRyMnJ8X5RRF7i3z/ikiI52pdXVlaGpKQkCSvzHY66v5YtW2L58uUSVkbkeQw+8ivOZmxqtVo8+uij4E0OC41Gg9TUVOTn50On0wEAlixZgp49e0pcGZFn8VYn+YWGZmw6eis6WZhMJmRlZWHKlCkO3zV469YttGzZ0suVEbkfOz6SvYa6vPT0dOzevZuh54RGo8H06dMdht7hw4fRrVs3pwuEiOSCHR/JFrs877h58yb69OlT+w5Cvu2d5I4dH8kSuzzvSUtLs3nx7pYtW9CrVy92fyRbDD6SpatXryI3N9fuuD9OX5FaSEiI3b6/srIyjB49GuPGjeO+P5IdfmcgWYqKikJqamrt5+zyPGfhwoU2b3uvi90fyRGf8ZFs1dTU4JFHHkFwcDCf5XmB9W3vS5YsQU1Njd15PvsjuWDwkU+7cOECKisr8fDDD4uev3TpEkJDQ3lb04sMBgPi4+NRVFRkdy4sLKz2xbdEvorfLcgnCYKAjIwMREVF4aWXXoLJZBK9rkOHDgw9L9PpdA5nfvLZH8kBv2OQz7lw4QKGDRuGqVOn4tq1ayguLsZbb70ldVlUh1qtRmpqqtNnf4WFhd4vjMgFvNVJPsM6Y3POnDl2WxQCAwNRXFzs8JYnSUfs2d/06dOxfv16iSsjEsfgI59Q/00KdfnbW9H9lfXZ3+XLl3Hs2DG0bt1a6pKIRDH4SFKcvuJfqqurce7cOTz00EOi5y9evAi1Ws2VnyQp/vhMkuH0Ff+jVqsdhp4gCJg0aRIiIyP5vj+SFIOPvM7R+/KsOH3FP2VlZWHnzp182ztJjrc6yatMJhNGjBjBZ3kK89NPPyEyMhIVFRU2x8PDw7Fu3TqMHDlSmsJIkfjdhbxKo9GgY8eOdsfZ5fm3Dh06IDk52W7fH7s/kgI7PvK6q1evIioqCj/99BO7PIUpKipCfHw8DAaD3Tl2f+Qt/E5DXte2bVt89NFH7PIUSK/XO5z6wu6PvIUdH3lESUkJPv74Y6SkpEClUoleIwiCw3Pk/9j9kVT4Yza5Vd0VmwsXLsTmzZsdXsvQUzZXu7+qqiqJKiR/xeAjtxHbl5eUlISLFy9KXBn5Ko1Gg9TUVOTn50On09mdv3jxIlq1aiVBZeTPGHzUbM725V25cgUffvihRJWRXIh1f8HBwcjIyODzX3I7PuOjZuGMTXI367O/GTNm4JVXXpG6HPJDDD5qEs7YJE8ymUwIDAx0+APTpk2bMGzYMM78pCbhj+HUaJyxSZ6m0Wgcht6+ffswYcIE9OrVC9nZ2V6ujPwBOz5yGbs8kprRaER0dDTOnj1be2zs2LFYvXo1uz9yGTs+ctnChQvZ5ZGkVq9ebRN6gOVt7+z+qDHY8ZHLTp8+jejoaNy4caP2GLs88iaxt73Xxe6PXMGOj1zWvXt3LF26FAC7PJKGWq1Gamoqjhw5Ar1eb3ee3R+5gh0fNYrZbMbrr7+OxMREBh5Jit0fNRWDj2yUlJQgISEBCxYsQP/+/aUuh6hBBoMB8fHxKCoqsjsXFhaGdevWYdSoUd4vjHwWb3USANvpKzt27MCkSZNsnuUR+SqdTudw5mdZWRlGjx6NlJQUiaojX8TgI9F9eadOncKiRYskrozINc6e/alUKgwfPlyawsgnMfgUzNmMTQAoKCgQfXZC5KvEur/XXnsNAwYMkLgy8iV8xqdQnLFJ/s5gMGDJkiXYuHEjtFqt1OWQD2HwKQynrxBZnDlzBkuWLMF7773HlZ8Kwx/nFYQzNokszGYzJk+ejKysLERGRiInJ0fqksiLGHwK0NCzvEGDBqG4uBhJSUm8tUmKsHbtWuzbtw/A3be9jxs3DuXl5RJXRt7AW50KUFhYiD59+tgd57M8UiJBEBAXF4cDBw7YneO+P2XgdzsF6N27N2bOnGlzjF0eKZVKpUJubq7TfX/s/vwbOz6FqKysRHR0NEpLS9nlEd1hfdu7wWCwO8fuz38x+PyIIAiorKzEPffcI3o+Pz8f7dq14+IVojpMJhOWLl3KmZ8KwuDzE9Z9ebdv38bXX38NlUoldUlEssKZn8rBe10yV3/F5q5du/CXv/xF6rKIZMeVmZ979+6VqDpyJ3Z8MuZo+kpISAiOHz+OBx54QKLKiORNrPsbPnw4vvzyS95N8QPs+GSooX15ffr0AX+eIWq6+t1f27ZtsX79eoaen2DHJzMlJSWYPn06/vnPf9qd4748IvczGAy4cOGCwzc81NTU2N0aJd/G4JMJQRCQlZWF5ORkVFRU2J3njE0iaUydOhVVVVVc+SkjDD4ZYJdH5Jt27tyJoUOHAuDKTzlh8Pmwhrq8uLg4bNiwgV0ekQQqKioQFRWFkpISm+Pc9+f72CL4uK1bt9qFXlBQEFatWoU9e/Yw9IgkUl5ejvbt29sd37JlC3r16oXs7GwJqiJXsOPzcefPn0dUVBSuX78OwNLlZWZmonv37hJXRkTV1dV4++23HU59GTduHNLT09n9+Rh2fD6uS5cuWLFihU2Xx9Aj8g1qtRqpqak4cuQI9Hq93fnNmzfzfX8+iB2fDxAEAQcPHkT//v0dni8pKUHnzp29XBkRuYrdn3yw45PYhQsXMGzYMAwYMAC5ubmi16hUKoYekY9j9ycf7PgkYp2+MmfOHFy7dg0A0LVrVxw7dgwhISESV0dEzeHsjQ9RUVEoLCzkpncJseOTgLXLmzp1am3oAcC5c+ewcOFCCSsjInfQaDRITU1Ffn4+dDpd7fGAgABkZWUx9CTG4PMiQRCQkZGBqKgo0RmbgwYNwuzZsyWojIg8Qa/X28z8TElJQd++faUuS/F4q9NLHL1JAeD0FSIlOHbsGHr27AmNRiN6/syZM9yX6yX8LuthDb1JYdCgQSguLkZSUhJDj8iP/frXv3YYeidPnkRkZCTGjRuH8vJyL1emPPxO60ElJSUYNmwYpkyZYvMsD7B0eenp6di9ezd/yiNSsJqaGsTHx+PWrVuc+uIlDD4Pyc7OZpdHRA1asWIFDh8+XPu59W3v7P48h991PeS+++5DZWWlzTF2eURU3zPPPCO674/dn+cw+DzkkUcewdy5c2s/Z5dHRGLqv+29LnZ/nsFVnR508+ZNDBw4EBMnTuSKTSJqkMFgQHx8PIqKiuzO8X1/7sPgawbr+/IGDhyIhx56SPQas9nMwCMilzU085Pv+2s+Bl8T1d2XN2DAAOzduxcBAQFSl0VEfqKh7i8zMxPPPvus9wvzA2xFGklsX96BAweQnp4ucWVE5E8aevZ38+ZNiSqTP3Z8jeBs+kpoaCh+/PFHBAcHS1AZEfmz+t3fiy++iK1bt0pblIyx43OBK9NXDh06xNAjIo+o2/3df//9WL16tdQlyRo7vgZcuHAB06dP54xNIvIJVVVV0Gq1oud++eUXHDhwACNGjPByVfLC79YOuPImBe7LIyJvcxR6AJCUlISRI0dy318D2PGJYJdHRHKzfft2PP/887Wfc9+fYwy+en744Qfo9Xq7odKApcvLzMzkuDEi8ikmkwndunXDTz/9ZHeO+/7ssWWpp2vXrnjiiSdsjnHGJhH5Mo1Ggx07dnDmp4vY8Ym4ePEiIiMjcfnyZXZ5RCQbnPriGgafA9u2bUNpaSmf5RGR7HDmp3OKDD5BELBhwwYUFhZyPwwR+SV2f44pLvjqT1/56quvMHz4cImrIiLyjIa6v7179+JXv/qV9wuTkGLu4TmavjJ9+nRcuXJFwsqIiDzH2czPLl26oHv37hJVJh1FBF9JSQmGDRuGKVOm2G1TqKiowJEjRySqjIjI89RqNVJTU3HkyJHalZ8ajQZZWVl2YagEfn2r0/osLzk5mfvyiIhw99lfcHAwXn/9danLkYTfBp+zNylw+goRkWMffPABIiIiMHLkSKlL8Qi/Cz52eURETVdYWIjY2FjU1NRg3LhxSE9P97uVn34VfOzyiIiazmQyISYmBsXFxbXHwsPDsW7dOr/q/vwq+AYPHoy9e/faHWeXR0TUsD179mDIkCF+v+/Pr1qflStX2qxQ4oxNIiLXDR48GPn5+dDpdHbn/Gnmp18Fn16vx8KFCwHwfXlERE2h1+sd7vsrKyvD6NGjZf++P1ne6rxx4waCgoJEz5lMJmzduhUvv/wyA4+IqBmKiooQHx8Pg8Fgd07OMz9llQzW6SsPPPAAjh8/LnqNRqPBhAkTGHpERM2k1+uRn5/vd92fbDq++is2+/bti4MHD0KtVktcGRGR/3M287Nv377Iz8+HSqXyfmFN4PNtkaMZmwUFBXjnnXckrIyISDmczfz805/+JJvQA3w8+JzN2NRqtWjXrp1ElRERKY/YzM9JkyZh6NCh0hbWSD55q5PTV4iIfFt1dTVWrlyJadOmoW3btqLXmM1mn1xv4fngu3IFOHwYuHoVUKuB8HDgN78BHEwE5/QVIiL5++9//4snn3wSb731lvOVn2fOAP/3f8C1a0BwMPDgg0BkpGeLEzzlyBFBeOklQWjVShDatBGEe+4RhNatLR9DQwXhj38UhIsXay83m81CRkaG0Lp1awGA3a9BgwYJp0+f9li5RETkHmazWXjuuedqv3+PHTtW+OWXX+5eUF0tCNnZgvCb3whCUNDdjGjTRhC0WkHo1UsQNm4UhBs3PFKf+zu+GzeAF14Adu8Gbt4EzGbx61q1snxcuRIlzz7LLo+IyE/89a9/xe9//3ubY7X7/nQ64IkngMuXgevXHX+RkBBAowH+9S+gb1+31ufeNxDeuAHExQEnTlh+78zNm5aPc+bg2v79oqHHZ3lERPJTVlaGwMBAm5mfZWVlmD96NJ5Wq6G9fRsqR02RVWWl5eOgQZbwGzDAbfW5t+MbMQLYtavh0KtPq0V6nz54df/+O5+yyyMikrP6+/7aAjgBIAxAQGO/WOvWQFEREBHhltrclyoGg2joTQXwMIAQAKEAhgGwm7lSVYVZp08jPCyMMzaJiPxA/X1/0wC0gX3o3QSQBEsgBgEYAOBQ/S9WVQW8/bbbanNfxzdxIvDJJ8Dt27Z/AYBHAEQB+AbAOQD3AzgNoFXdC0NC8PPateg4fjwDj4jIjxgKC3F/bCzai7zuKAHAelgyIgrAp7A0SmcBtK97oVYLlJZanv01k3sS5to1YNs2u9ADgCMADgL4C4Ddd479BEvLa6OyEp02bWLoERH5GV1pKUJbtbI7XgYgE5Yg+hbAFgDjAVwHsKb+xSoVsGmTW+pxT8oYDEDLlqKn6q7FMd35GADgPrGLDx50SzlERORD8vKgsi5WqeN7ANUAusByqxMA+t35WFT/YqMR+Pprt5TjnuC7cgVo4I5pJYBJd34/Bw6Cr7GLYoiIyPeVloofvvOx7s3L4DsfL4r9ATe9BcI9wafRWNpQBy4BeBzAdwCmAVju6MKARq/1ISIiXydymxMAwu98rNsLWn/fUewPOLiz2FjuCb6OHUWf7wHAjwAGwvKsLwXAR7AseBF1771uKYeIiHxIly6WkZX19AKgBnAed7u//DsfdfUvVqksX8cN3BN8Oh3Qpo3oqf4ATsFyD7cKwGt3fh2ud11NQABu19vpT0REfuCFF3Bb5K5gOIB4AGYATwJ4CZYFLiEAZtW/WKsFJk2qf7RJ3BN8KhUwb56lsHp+vvPxPIBVdX7VX9VZc/s2hu3YIfqSQyIikiej0YhXV65Enskken4VgJmwdHw5sGx/+xeADvUvbN8eGDjQLTW5bx/f1atAp05NWqBSDctWh2cABAYG4o033kBKSgo0Go1bSiMiIu/Ly8vDpEmTcObMGfwPgM9gu5DFZVot8O67wMyZbqnLfZvm2rYFsrJEuz5nzAAqcHfFZ01NDRYvXozY2Fh2f0REMmQ0GvHqq6/isccew5kzZwAAOwH8DYCxsV+sZUsgNhaYPt1t9bn/7Qzr1gFz5rjW+QUEwNymDeY/+ije3bHD7rRWq8X58+cRGhrq1hKJiMhzJk6ciI8//tjuePeuXXGgc2eEHT1q2ZfXkKAgQK+3DKl2w8QWK/ePSUlIALKzgYcesrxUUGwSS6tWlhR/5hm0KC7GO3//O7KzsxEeHm5z2R/+8AeGHhGRzLz55pvQ1rv7l5iYiMJjxxC2dy+waJHlLuE994h/geBgy6+EBGDPHreGHuDJN7ALguXN6++9Zym8stLy1vV77wXi4y3/gzp1svkj5eXlmD17NjZv3ozevXvj0KFDUIssgSUiIt+2evVqzJ49GxEREcjIyMDjjz9ue0F1NfDFF5aMOHXKMoi6VSvLloXkZODFFxv96MxVngu+ZsjJyUG3bt0QHR0ter6mpgaBge59lSARETWOs+/FZrMZ6enpmDp1KkLc3LE1l08GnzPV1dWIi4vD0KFDufKTiEgieXl5mDp1KjIzMzHAjS+J9QbZvQph2bJlOHToEFd+EhFJoO6KzVOnTmHSpEmoqqqSuqxGkVXHV1xcjH79+qG6urr2GPf9ERF5R919eXUlJydjxYoVElXVeLLq+C5duoR27drZHOO+PyIizxLbl1dXTU0NZNRDySv4nnzySXz//fcYN26c3TmDwYCYmBikpaXZdIRERNR0eXl50Ol0SE9Ptwu3iIgI5ObmIj09HSonb+jxNbK61VlXTk4OEhISUCrynie9Xo+srCzodHbzvYmIyAVGoxELFizA6tWrRbu5xMRELFu2zOdWbLpCtsEH2O77q8/67G/BggXcC0hE1AiOnuUBcLwvT0ZkHXxWOTk5mDFjBsrKyuzOsfsjInKNP3d5dflF8AGW7i8pKQlbtmyxOzdx4kRkZWV5vygiIhnZv38/4uLi7I77Q5dXl6wWtzgTGhqKzZs3Y/v27QgLC6s93rFjR1ktsyUiksrAgQMxa5btK2ATExNRXFzsN6EH+FHHV1fd7u/LL7/Ec889J3VJRESyYDQaER0dDUEQ/KrLq8svg88qPz8fMTExoucEQcC5c+cQERHh5aqIiKRlNBpRWVlp90Ycq5MnT6Jz586yf5bniN/c6hTjKPQAYNu2bejRowfS0tJgMpm8WBURkXSs+/LGjx/vcNP5ww8/7LehB/h5x+dIWVkZevXqhfLycgCATqdDVlYW9Hq9tIUREXmI2IrNP//5z0hISJC4Mu9TZPCNGTMGn3/+uc0xzvwkIn/laF9eSEgIjh07hq5du0pTmET8+lanIy+//LLdvW3O/CQif9PQjM2JEyeiffv2ElQmLUV2fIBrU1/Y/RGRXPn79JXmUGzwWTmb+clnf0QkN0qZvtIcig8+gN0fEfmHffv2YfLkyezyGsDgq6Oh7u+TTz5BZGSkBJURETlmMpkwb948pKeni55nl2dLkYtbHBk5cqTD9/39+9//RmBgoARVERE5p1arcerUKbvjERER2L17N9asWcPQq4PBV09oaCg++eQTZGdn26z8XLJkCXr27ClhZURE4lQqFT766CO0bt269tisWbNQXFyMwYMHS1eYj+KtTiesz/7OnTuHffv2ISAgQOqSiIgcysjIwFtvvYXMzEwGnhMMPhcYjUYEBweLnissLIRKpeLKTyLyOKPRiB07duB3v/ud6HlBEHDjxg1otVovVyYvvNXpAkehd/PmTYwfPx4xMTGc+UlEHmWdsfniiy/im2++Eb1GpVIx9FzA4GuGxYsX4+TJk5z6QkQeIzZ9ZerUqbh+/brElckXg6+JTp8+jXfffdfmmMFgYPdHRG5j7fLS09NtNqP/+OOPWLp0qYSVyRuDr4m6d++Ozz//nDM/icjtGpqxmZiYiAULFkhQmX/g4pZm4tQXInInztj0PAafm3DmJxE1B2dseg+Dz43Y/RFRU7DL8y4Gnwc46/70ej2+++47BAUFSVAZEfma999/H/PmzWOX50Vc3OIBzmZ+xsbGMvSIqFZcXBxUKpXNsYiICOTm5nLGpocw+DxEbOZnly5d7LZAEJGyxcbGYt68ebWfJyYmori4mLc2PYi3Or3A+uxv0qRJeOqpp6Quh4h8zM2bNzFmzBjMnTuXgecFDD4fIAgC5s6di4kTJ0Kn00ldDhG5mdFoxJtvvokZM2agR48eUpejeLzV6QM2bNiADz74AP369UNaWhqqq6ulLomI3MQ6fWXFihWYNGkSbt++LXVJiseOT2IlJSWIjIzEtWvXao/p9XpkZWWx+yOSMUf78t5//33MmTNHwsqIHZ/EPv30U5vQA4CioiJ2f0Qy5mjGJmB5Z15NTY1ElRHA4JPc3LlzsX37doSFhdkcrzvz02AwSFQdETWGKzM2Dx06hMDAQAmqIyve6vQR5eXlSEpKwpYtW+zOWae+LFiwAGq1WoLqiKghnL4iHww+H5OdnY2EhASUlZXZneOzPyLfwxmb8sPg80Hs/ojkgV2ePDH4fJiz7i8xMRFr1qyRoCoiAoDCwkL07duXXZ4MMfh8nFj3FxISgmPHjqFr167SFUakcIIgYMyYMdi+fXvtMXZ58sBVnT4uNDQUmzdvtln5+e677zL0iCSmUqmwdu1ahIaGAuCMTTlhxycj5eXl+OijjzB//ny7ae5WZrMZLVrw5xkid3L27+qrr75CSEgIA09GGHx+ZO/evUhOTkZmZibf9k7kBtYVm1evXsXGjRulLofchMHnJ4xGI6Kjo3H27Fm+7Z3IDeqv2Pziiy/w29/+VuKqyB14T8xPpKSk4OzZswBsp74UFRVJWxiRzDiavjJjxgxcvnxZwsrIXRh8fsBsNuPKlSt2xw0GA2JiYpCWlgaTySRBZUTy4mzGZlBQEEpKSiSqjNyJwecHWrRogU2bNtm87d2KMz+JGubKjM3i4mJER0dLUB25G5/x+Rnr2943b95sd45TX4jscfqK8jD4/FROTg4SEhJQWlpqd44zP4k4Y1PJGHx+jDM/icSxy1M2Bp8COJr5qVKpcOjQIcTExEhUGZH3CYKAmJgYFBQU2J1jl6cMXNyiAKNGjcKJEycwduxYm+OvvfYaQ48UR6VSITMz0+ZlsBEREcjNzcWaNWsYegrAjk9hrN1fmzZtUFRUBK1WK3VJRJL44x//iNTUVHZ5CsTgU6Dy8nJcvHgRkZGRoucvXbqEtm3b8tkfyd7PP/+MTp06iZ6rrq5Gfn4++vfv7+WqSGq81alAoaGhDkPPbDZjzJgx3PdHsmbdl9etWzcUFxeLXqNWqxl6CsXgIxsffvgh9u3bh6KiIvTr1w9paWmorq6Wuiwil9WdvnLr1i3Ex8fzv2GyweCjWmfOnMH8+fNrP+fUF5ITR9NXCgsLsWzZMgkrI1/D4KNabdu2xYgRI+yOs/sjX+dsxmZERAQGDhwoUWXki7i4hew42vcHcOoL+RZOX6GmYPCRKFemvvB9fyQlTl+hpmLwkVPOuj+dToesrCy+7Z28il0eNReDjxrUUPe3cOFCLFq0CAEBARJUR0ry3XffYcKECezyqFm4uIUaFBoais2bN2P79u2i7/srKChAixb8T4k8r7y83On78hh65Ap2fNQo9d/317ZtW3z//fcOp2MQuduECROwadMmAOzyqGkYfNQk1vf9vfPOO5gwYYLU5ZCCXLlyBVFRURg1ahSf5VGTMPioySoqKtC6dWuoVCrR81988QWGDh3KlZ/UaHl5eejRo4fdrXWriooKtGnTxstVkb/ggxlqsjZt2jgMvZ07d2LkyJGIjY1FUVGRdwsj2ao7fWXmzJmiqzYBMPSoWdjxkdtVVFQgKioKJSUlALjvj1wjti9v69atePHFFyWsivwRg4/cLjk5GStXrrQ7zn1/JMbZvrwOHTrghx9+QHBwsETVkT/irU5yuzfeeMPube8AYDAYEBMTg7S0NJhMJgkqI1/T0IzNTz/9lKFHbseOjzyGU1/IEU5fISkx+MijOPOT6uOMTZIag4+8gt0fscsjX8HgI69pqPtbu3Ytpk2bJkFl5Gnnz5/HE088wS6PfAIXt5DX1J35GRYWZnNOEAT06dNHosrI0+6//37RzeicsUlSYPCR140aNQonTpywWfmZkpKCvn37SlgVeVJAQAAyMzPRqlUrAJYuLzc3F2vWrOGtTfI63uokSWVnZ2Pt2rXYsWMHF7gowAcffIAzZ87wWR5JisFHPu3kyZP47LPPkJKSArVaLXU51IC8vDwUFBTgtddek7oUIocYfOSzampqMGDAABw+fBh6vR5ZWVnQ6XRSl0UiqqqqsGDBAqSnp0OlUuHgwYOIjY2VuiwiUXzGRz7r/fffx+HDhwEARUVF6NevH9LS0lBdXS1xZVRXXl4eoqOjsWrVKgiCALPZjPj4eNy8eVPq0ohEseMjn3Tr1i306NED58+ftzvH7s83NLQvLycnByNGjJCgMiLn2PGRT2rZsiWOHj0qOvOT3Z/0nM3Y7Nq1K3Jzcxl65LPY8ZHPczb1hd2fdzXU5c2cORPLly/nik3yaQw+kgVXZn4uWLCAKz89iDM2yV8w+EhW2P15H2dskr9h8JHsNNT9HT9+HD179pSgMv/01FNP4dtvv7U7zi6P5IqLW0h2nM38fP755xl6bjZ//ny7Y5yxSXLGjo9krW7316FDB5w4cQLt27eXuiy/k5CQgPXr17PLI7/A4CO/kJ2dDbVajeHDh4ueFwQBKpXKy1XJi7P/j65fv47ly5dj/vz5fJZHssfgI0WYMGECHnzwQa78dCAvLw/JycnIzs5G586dpS6HyKP4jI/83ueff45NmzZh8eLFiI2NhcFgkLokn2E0GvHqq6/iscceQ0FBAaZNmya6cpPIn7DjI7/2yy+/IDIy0mb7A/f9WTjal5eRkYHJkydLVBWR57HjI792+vRpu2M1NTWK7v7qdnlim9H/85//SFAVkfcw+MivPfLII3Zve7dS4sxPZzM2rW9FX7p0qUTVEXkHb3WSYih56gunrxDdxeAjRVHizE/O2CSyxeAjRVJC98cuj0gcg48Uy1n3179/f+zfv1/Wm943btyI+Ph4u+Ps8kjpGHykePW7P41Gg6NHjyIyMlLiyprHbDZjyJAhyM3NrT3GLo+IqzqJMGrUKJuVn4sXL5Z96AFAixYtkJGRgeDg4NoVm2vWrGHokeKx4yOqY9euXXj88ccRGBgoev7SpUvo0KGDl6tyzmg0QqVSQavVip7Py8tD7969GXhEd7DjI6pjyJAhDkPv6NGjeOCBB5CWlgaTyeTlysTt27cPOp1O9NVBVnFxcQw9ojrY8RG5wGQyoV+/fjh27BgAQKfTISsrC3q9XpJ6rCs209PTa4/t2bMHjz32mCT1EMkJOz4iFyxZsqQ29ADAYDAgJiZGku7P2uXVDT0AmDx5MoxGo1drIZIjBh+RC/r27Yvw8HCbY3VnfhYVFXm8hoZmbA4bNszjNRD5A97qJHJReXk5Zs+ejc2bN9uds059SUlJgUajcfvf3dD0lczMTAwePNjtfy+RP2LwETVSTk4OEhISUFpaaneuoWd/VVXA118DFy8CJhNw771A//5A9+7if1dD01dmzZqFpUuXcvEKUSMw+IiaoLHd36lTwMqVwMaNQGAgUF0NmM2AWg3U1AC9ewN/+APw7LOW8wC7PCJPYfARNUPD3d9G7NypQ1oacPu2JfAcCQkBHnwQ+PLLKrz/fgpnbBJ5CIOPqJmcdX9jxpzGP/7xIKqqXPtaGg0QHm6GRvMIzpzJtznHGZtE7sFVnUTNFBoaik8++QTZ2dk2Kz/j4tY3KvQAy3O/0tIWUKu/BXB3QHZiYiKKi4sZekRuwI6PyI2s3d+ePftgNv+IixfFfracCOAbAL8AuAdAPwBLAfSuvSIkBBg6dC2OHHmPXR6RmzH4iDzgs8+uYvLktqisFDs7GEAnAG0A5AI4BaALgB9rr1CpgKefvo2//e0Gn+URuRmDj8gDnn4a2LXLlSuPAugLy1OHmwDuvvm9ZUvghx+A++7zSIlEiiU+jZeImqWgoKEr1gA4AeDbO5/PRd3QA4BWrQCDgcFH5G4MPiIPaHhk5t8A7L3z+/8HYIDdFWYzcPWqW8siInBVJ5FHNDy1bA+AGwByAPwMYAzqPuMDLM/5goLcXxuR0jH4iDwgLMzRmRsAbt/5fSsA/wMgBEANgLM2V5rNwP33e6hAIgVj8BF5wCuvAOIvRD8EoDOAlwC8AsvClmsAOgDoY3PlvfcCfft6tk4iJWLwEXnA5MmWjs1eJwA9AOwCkAHgCoAXYNnW0Kb2Kq0WmDfPcruTiNyL2xmIPOTll4HPPrNMY2ms4GDgp5+ANm0avpaIGocdH5GHfPih5RldYCPXTgcFAZ9+ytAj8hQGH5GHtGkD7N8PPPCAZTO6K4KCgIwMy+uJiMgzGHxEHtSpE3D0qOWZn1ZruYVZn1pt2az+6KPAN98AY8d6v04iJeEzPiIvMRqBrVuB9euB0lLLu/latwaeegp49VXgoYekrpBIGRh8RESkKLzVSUREisLgIyIiRWHwERGRojD4iIhIURh8RESkKAw+IiJSFAYfEREpCoOPiIgUhcFHRESKwuAjIiJF+f/jygxD70htaAAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 432x288 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "# Find the max value in measured probability of bitstrings\n",
    "max_prob = max(prob_measure.values())\n",
    "# Find the bitstring with max probability\n",
    "solution_list = [result[0] for result in prob_measure.items() if result[1] == max_prob]\n",
    "print(\"The output bitstring:\", solution_list)\n",
    "\n",
    "# Draw the graph representing the first bitstring in the solution_list to the MaxCut-like problem\n",
    "head_bitstring = solution_list[0]\n",
    "\n",
    "node_cut = [\"blue\" if head_bitstring[node] == \"1\" else \"red\" for node in classical_graph]\n",
    "\n",
    "edge_cut = [\n",
    "    \"solid\" if head_bitstring[node_row] == head_bitstring[node_col] else \"dashed\"\n",
    "    for node_row, node_col in classical_graph.edges()\n",
    "    ]\n",
    "nx.draw(\n",
    "        classical_graph,\n",
    "        pos,\n",
    "        node_color=node_cut,\n",
    "        style=edge_cut,\n",
    "        width=4,\n",
    "        with_labels=True,\n",
    "        font_weight=\"bold\",\n",
    ")\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "pycharm": {
     "is_executing": false
    }
   },
   "source": [
    "# 参考文献\n",
    "\n",
    "[1] [Farhi, E., Goldstone, J. & Gutmann, S. A Quantum Approximate Optimization Algorithm. arXiv:1411.4028 (2014).](https://arxiv.org/abs/1411.4028)"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.7"
  },
  "pycharm": {
   "stem_cell": {
    "cell_type": "raw",
    "metadata": {
     "collapsed": false
    },
    "source": []
   }
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}