文档反馈

问题文档片段

问题文档片段包含公式时，显示为空格。

提交类型

issue

有点复杂...

找人问问吧。

PR

小问题，全程线上修改...

一键搞定！

请选择提交类型

问题类型

规范和低错类

- 规范和低错类：

- 错别字或拼写错误，标点符号使用错误、公式错误或显示异常。

- 链接错误、空单元格、格式错误。

- 英文中包含中文字符。

- 界面和描述不一致，但不影响操作。

- 表述不通顺，但不影响理解。

- 版本号不匹配：如软件包名称、界面版本号。

易用性

- 易用性：

- 关键步骤错误或缺失，无法指导用户完成任务。

- 缺少主要功能描述、关键词解释、必要前提条件、注意事项等。

- 描述内容存在歧义指代不明、上下文矛盾。

- 逻辑不清晰，该分类、分项、分步骤的没有给出。

正确性

- 正确性：

- 技术原理、功能、支持平台、参数类型、异常报错等描述和软件实现不一致。

- 原理图、架构图等存在错误。

- 命令、命令参数等错误。

- 代码片段错误。

- 命令无法完成对应功能。

- 界面错误，无法指导操作。

- 代码样例运行报错、运行结果不符。

风险提示

- 风险提示：

- 对重要数据或系统存在风险的操作，缺少安全提示。

内容合规

- 内容合规：

- 违反法律法规，涉及政治、领土主权等敏感词。

- 内容侵权。

请选择问题类型

问题描述

点击输入详细问题描述，以帮助我们快速定位问题。

提交

文档反馈

mindquantum.algorithm.nisq.Max2SATAnsatz

class mindquantum.algorithm.nisq.Max2SATAnsatz(clauses, depth=1)

Max-2-SAT ansatz。了解更多详细信息，请参考 Reachability Deficits in Quantum Approximate Optimization。

$$U(\beta ,\gamma )=e^{-{\beta }_p{H}_b}{e}^{-{\gamma }_p{H}_c}\cdots e^{-{\beta }_0{H}_b}{e}^{-{\gamma }_0{H}_c}{H}^{\otimes n}$$

$$H_b=\sum _{i\in n}{X}_i,H_c=\sum _{l\in m}P(l)$$

$n$ 是布尔变量的数量， $m$ 是总子句的数量， $P(l)$ 是第一级投影。

参数：

• clauses (list[tuple[int]]) - Max-2-SAT结构。列表的每个元素都是一个由长度为2的元组表示的子句。元组的元素必须是非零整数。例如，（2,-3）代表子句： $x_2\vee \mathrm{\neg }{x}_3$。

• depth (int) - Max-2-SAT的深度。默认值： 1。

样例：

>>> import numpy as np
>>> from mindquantum.algorithm.nisq import Max2SATAnsatz
>>> clauses = [(2, -3)]
>>> max2sat = Max2SATAnsatz(clauses, 1)
>>> max2sat.circuit
      ┏━━━┓ ┏━━━━━━━━━━━━━━━━┓                                  ┏━━━━━━━━━━━━━┓
q1: ──┨ H ┠─┨ RZ(1/2*beta_0) ┠────■─────────────────────────■───┨ RX(alpha_0) ┠───
      ┗━━━┛ ┗━━━━━━━━━━━━━━━━┛    ┃                         ┃   ┗━━━━━━━━━━━━━┛
      ┏━━━┓ ┏━━━━━━━━━━━━━━━━━┓ ┏━┻━┓ ┏━━━━━━━━━━━━━━━━━┓ ┏━┻━┓ ┏━━━━━━━━━━━━━┓
q2: ──┨ H ┠─┨ RZ(-1/2*beta_0) ┠─┨╺╋╸┠─┨ RZ(-1/2*beta_0) ┠─┨╺╋╸┠─┨ RX(alpha_0) ┠───
      ┗━━━┛ ┗━━━━━━━━━━━━━━━━━┛ ┗━━━┛ ┗━━━━━━━━━━━━━━━━━┛ ┗━━━┛ ┗━━━━━━━━━━━━━┛
>>> max2sat.hamiltonian
1/4 [] +
1/4 [Z1] +
-1/4 [Z1 Z2] +
-1/4 [Z2]
>>> sats = max2sat.get_sat(4, np.array([4, 1]))
>>> sats
['001', '000', '011', '010']
>>> for i in sats:
...     print(f'sat value: {max2sat.get_sat_value(i)}')
sat value: 1
sat value: 0
sat value: 2
sat value: 1

get_sat(max_n, weight)

获取Max-2-SAT问题的字符串。

参数：

• max_n (int) - 需要的字符串数量。

• weight (Union[ParameterResolver, dict, numpy.ndarray, list, numbers.Number]) - Max-2-SAT Ansatz的参数值。

返回：

list，字符串列表。

get_sat_value(string)

获取给定字符串的 sat 值。 字符串是满足给定Max-2-SAT问题的所有子句的str。

参数：

• string (str) - Max-2-SAT问题的字符串。

返回：

int，给定字符串下的sat值。

property hamiltonian

获取Max-2-SAT问题的哈密顿量。

返回：

QubitOperator，Max-2-SAT问题的哈密顿量。