XQVM 高级函数展开（HLF）规范解析：QUBO 罚项注入、模型增长与 ENERGY 语义

【免费下载链接】xquadA rust implementation of the Quip Networks quantum virtual machine.项目地址https://gitcode.com/gh_mirrors/xq/xquad点击查看免费下载XQVMxquad 仓库中 Rust 与 Python 双实现的量子虚拟虚拟机通过0x70–0x7F区间的高级函数High-Level FunctionsHLF指令把组合优化中常见的约束one-hot、互斥、蕴含、加权等式、至少选 k 个、高阶项降阶自动展开为 QUBO 系数增量并据此计算哈密顿量能量。本文以 spec/xqvm/HLF.md 为骨架结合 spec/xqvm/ISA.md、Rust 生产 VMxqvm/src/vm.rs、Python 参考 VMxqvm_py/xqmx.py与 conformance 一致性测试向量讲透每一条展开的数学推导、规范性的执行顺序规则、模型增长语义以及能直接落地的 XQASM 程序示例。读完本文你将能够理解为何 HLF 的“校验顺序”与“累加顺序”是规范性的规范性 决定程序是否报错独立写出 ONEHOT / EQUALITY / ATLEAST / ATLEASTW / REDUCE 的 XQASM 程序并预判其模型形态掌握 ENERGY 的项分组、对角线合法性与排序累加规则以及利用 conformance 向量来验证你的理解。一、HLF 是什么一条指令一组罚项HLF 指令全部要求目标寄存器持有MODEL 模式的 XQMXSAMPLE 模式会抛TypeMismatch。它们的共同模式是从值栈弹出参数读寄存器中的vecint然后自动计算并写入模型稀疏表的 linear一次项偏置与 quadratic二次耦合系数——程序不需要手工展开(Σx−1)²。对应的 8 条指令在 ISA.md 中定义为操作码助记符栈效果右侧为栈顶先弹语义0x70ONEHOTR[..., row, penalty]对网格第row行施加 one-hot0x71ONEHOTC[..., col, penalty]对网格第col列施加 one-hot0x72EXCLUDE[..., i, j, penalty]互斥罚项quad[i,j] penalty0x73IMPLIES[..., i, j, penalty]蕴含罚项i → j0x74EQUALITY[..., target, penalty]读indices、coeffs两 vec加权等式展开0x75ATLEAST[..., k, penalty]读indicesvecΣx ≥ k增长模型分配 slack0x76ATLEASTW[..., k, penalty]读indices、coeffs两 vecΣw·x ≥ k加权版0x77REDUCE[..., var_a, var_b, P_aux] → [..., aux]Rosenberg 降阶把辅助变量索引压栈0x7FENERGY[...] → [..., E]读 model、sample 两寄存器计算并压入哈密顿量能量注意栈弹出顺序b先弹。例如EXCLUDE弹出顺序为penalty、j、i即栈上自顶向下是[..., i, j, penalty]。Rust 端实现在 xqvm/src/vm.rs 中按该顺序pop。二、三条规范性展开规则最重要的一节HLF.md 的开篇不是公式而是三条**规范性normative**规则。规范性意味着实现一旦重排或推迟其中任何一步就会接受一组与规范不同的程序——这是双实现一致性Rust 生产 VM 与 Python 参考 VM的根基由 conformance/README.md 描述的一致性测试矩阵逐条锁定。2.1 比例因子在使用它的项之前校验每条展开会先一次性算出罚项比例因子、做范围检查再进入发射项terms的循环——无论该循环最终是否真的发射出任何项ONEHOTR/ONEHOTC在线性循环之前检查-penalty与2 × penaltyEQUALITY以及经由它路由的ATLEAST、ATLEASTW在线性循环之前检查2 × target在成对循环之前检查2 × penalty。后果也就是为什么要写下这条规则单列的ONEHOTR会因一个没有任何发射项使用的2 × penalty而报错单元素的EQUALITY会因同一个因子而在一个什么都不发射的成对循环上报错。一个超出 i64 范围的因子无论这一行或这一索引列表是否足够宽到让缺陷显形都是有缺陷的约束若惰性求值同一个约束会在一个宽度上被接受、在另一个宽度上被拒绝。在 Rust 实现中add_one_hotxqvm/src/vm.rs正是先checked(penalty.checked_neg())与checked(penalty.checked_mul(2))再写任何项Python 端expand_onehotxqvm_py/xqmx.py注释明确记录了这段历史2*penalty的惰性求值曾导致单列ONEHOTR在 Python 端正常结束、在 Rust 端报错构成跨节点一致性故障。2.2 Delta 边算边应用不暂存展开不是原子操作也不暂存 delta。每个 delta 被计算、范围检查、立即应用到模型上然后才计算下一个——按展开枚举项的顺序先完成整个线性通道按索引列表的升序位置再完成整个二次通道按k m的(k, m)升序。中途报错的展开已经应用的 delta 留在模型中。这个顺序在“同一个索引在indices向量中出现两次”时是可观察的重复索引会累积第二个 delta 叠加在第一个之上被范围检查的是累积结果而非单次 delta。文档给出了具体反例一个 size1 的模型持有linear[0] 7e18用indices [0, 0]、coeffs [3e9, 1e9]、target 1e9、penalty 1展开EQUALITY——按本顺序会报错按反序则会完成。两份实现expand_equality于 xqvm/src/vm.rs 与 xqvm_py/xqmx.py都按文档所述顺序应用 delta。2.3 “写了等于没写”的两种处理报错 vs 接受这一节解决 ISA.md 网格前置条件的“无网格”半边另半边索引超出轴范围不是“写了等于没写”的问题——它要写的变量不是程序点名的那一个所以抛IndexOutOfBounds由 ISA.md 记录。ONEHOTR/ONEHOTC在没有网格的寄存器上抛InvalidGridDimensions而不是展开成空并继续EQUALITY接受空indices向量并什么也不写。两者并不矛盾缺失的网格是程序从未建立的前置条件没有行可约束、指令无法有意义而空的indices是调用者提供的、合法为空的集合对零个变量的约束是空真vacuously满足的。Rust 端对 ONEHOT 的网格校验在 xqvm/src/vm.rsGridShape::of_model(m).row(pos, row)Python 端在 xqvm_py/xqmx.py 的grid_row_extent/grid_col_extent。三、ONEHOTR/ONEHOTC展开在变量索引集合行或列的全部变量上施加 one-hot 约束H penalty × (Σ x_i - 1)²对二元变量展开利用x² xlinear[i] -penalty 对 indices 中每个 i quad[i, j] 2 × penalty 对 indices 中每对 i jONEHOTR使用索引[row*cols, row*cols1, ..., row*colscols-1]ONEHOTC使用索引[col, colcols, col2*cols, ..., col(rows-1)*cols]实操示例等价于 penalty2 的三变量 one-hot来自 conformance/vectors/constraints/equality_basic/program.xqasm其注释明确说明“这等价于对 3 个变量执行 penalty2 的 ONEHOTR”PUSH 3 BQMX r0 ; 3 变量二元模型 PUSH 0 PUSH 2 ONEHOTR r0 ; 需要先 RESIZE这里以 EQUALITY 等价展开演示真实的一行 one-hot网格 1×3为PUSH 3 BQMX r0 PUSH 1 ; rows PUSH 3 ; cols RESIZE r0 PUSH 0 ; row PUSH 2 ; penalty ONEHOTR r0结果linear [-2, -2, -2]quad[0,1] quad[0,2] quad[1,2] 4expected.json中final_stack [-2, 4]验证了GETLINE 0 → -2与GETQUAD 0 1 → 4。越界/无网格行为由 conformance 向量锁定例如 onehotc_col_at_grid_extent/program.xqasm4×1 网格上对col2执行ONEHOTC必须报错——若实现只检查行数就会把约束写到相邻列或模型之外。Rust 端的修复史注释记录usize::try_from(row)曾把row 2^62乘成第 0 行说明为何必须用GridShape先行校验。四、EXCLUDE与IMPLIES两条最小的展开4.1 EXCLUDE两个索引都在任一 delta 应用之前、按操作数给出的顺序对model.size做范围检查任何一个超出[0, model.size)即抛IndexOutOfBounds。规则与 ISA.md 系数访问 opcode 一致理由相同这条展开写一个系数而“对分配器从未声明的变量写系数”意味着约束没有约束到任何东西。同时惩罚x_i 1且x_j 1quad[i, j] penaltyRust 实现在 xqvm/src/vm.rsbounded_index先校验i再校验j然后checked_add_quad。4.2 IMPLIES两个索引与EXCLUDE完全相同地范围检查任一 delta 之前。IMPLIES同时写线性与二次表面所以无界的i会同时触及两者。惩罚x_i 1而x_j 0蕴含x_i → x_jH penalty × x_i × (1 - x_j) penalty × x_i - penalty × x_i × x_j linear[i] penalty quad[i, j] -penaltyRust 实现在 xqvm/src/vm.rs其中-penalty通过checked_neg单独校验Python 端 xqpy 端 expand_implies 行为一致。五、模型增长Model Growth谁改model.size谁不能ATLEAST、ATLEASTW、REDUCE在执行期间分配新变量约束的 slack 变量、降阶的辅助变量。新变量总是分配在当前model.size追加语义既有变量索引在增长后保持有效。ATLEAST/ATLEASTW在分配 slack 之前把indices中的索引对模型现有 size做校验越界即报错model.size只增长到能容纳它们自己分配的 slack 变量。EQUALITY修改model.size的规则相反indices中位于或超过当前 size 的索引会把model.size增长到能容纳它而不是报错。ATLEAST、ATLEASTW、REDUCE、EQUALITY是仅有的四个修改model.size的 opcode另有 ISA.md 中尺寸前置条件的约束任何增长后的 size 都按分配器校验顺序检查——model_size在 xqvm/src/vm.rs 中按MAX_ALLOCATION_SIZEu32::MAX上界校验grow_model在 xqvm/src/vm.rs 中统一了追加路径同时增长发生在分配预算已计费之后预算不足时报MemoryLimitExceeded。一致性的关键陷阱由 equality_grows_past_the_index_width/program.xqasm 锁定EQUALITY对indices中i64::MAX这类极大索引按“增长”计费needed max_idx 1而不是把它钳位成 0 逃过计费——钳位曾导致 Rust 报IndexOutOfBounds而 Python 报MemoryLimitExceeded的分叉如今溢出向上钳位到i64::MAX两种实现都因计费超出任何可表达的预算而报MemoryLimitExceeded。六、EQUALITY展开加权等式是一切的核心把加权等式约束H P × (Σ_k(a_k × x_k) − b)²展开为 QUBO 系数。给定罚项 P从栈弹出目标 b从栈弹出索引[idx_0, idx_1, ..., idx_{N-1}]来自indices寄存器系数[a_0, a_1, ..., a_{N-1}]来自coeffs寄存器展开追加linear[idx_k] P × a_k × (a_k − 2×b) 对每个 k quad[idx_k, idx_m] P × 2 × a_k × a_m 对每对 k m常数项P × b²被丢弃它等量平移所有能量不影响哪个赋值最优。ONEHOTR/ONEHOTC是a_k 1且b 1的特例。校验与顺序细节Rustexpand_equalityxqvm/src/vm.rsindices与coeffs长度不一致 →VecLengthMismatchISA.md 明确“两份实现都如此”。先2×target即two_b随后每个线性项按a_k − 2b → a_k×(a_k−2b) → penalty×...的链式校验再2×penalty即two_p随后每个二次项按two_p×a_k → ...×a_m的链式校验增长模型到容纳最大索引见上一节然后indices_to_usizexqvm/src/vm.rs逐索引校验[0, model.size)。最小可运行示例完整程序见 conformance/vectors/constraints/equality_basic/program.xqasm3 变量、coeffs[1,1,1]、target1、penalty2→linear[k] 2·1·(1−2) −2quad[k,m] 2·2·1·1 4与 penalty2 的 one-hot 完全一致PUSH 3 BQMX r0 VECI r1 ; indices vec PUSH 0 VECPUSH r1 PUSH 1 VECPUSH r1 PUSH 2 VECPUSH r1 VECI r2 ; coeffs vec PUSH 1 VECPUSH r2 PUSH 1 VECPUSH r2 PUSH 1 VECPUSH r2 PUSH 1 ; target PUSH 2 ; penalty EQUALITY r0 r1 r2 PUSH 0 GETLINE r0 ; -2 PUSH 0 PUSH 1 GETQUAD r0 ; 4 HALT七、ATLEAST推导用二进制 slack 吸收超额选择在一组二元变量上强制Σ(x_i) ≥ k单位权重。给定罚项 P、目标 k、变量索引[idx_0, ..., idx_{N-1}]。步骤计算max_excess N − k在model.size处分配S floor(log2(max_excess)) 1个 slack 变量模型 size 增长 S构造组合系数向量[1, 1, ..., 1, −1, −2, −4, ..., −2^(S-1)]——原变量为1slack 变量为 2 的负幂以组合后的 indices/coeffs、target k应用EQUALITY展开。负的 slack 系数吸收高于 k 的多余选择Σ(x_i) − 1×s_0 − 2×s_1 − ... kRust 实现细节xqvm/src/vm.rs前置校验k 0 || k N→IndexOutOfBoundsslack 数max_excess 0时为 0此时直接以单位系数展开否则bit_length(max_excess)先校验原索引对当前model.size再grow_model(m, num_slacks)最后以all_coeffs [1,...,1, -1, -2, ..., -(1(S-1))]展开。可运行示例atleast_basic/program.xqasm4 变量、k1、penalty1→max_excess3、Sbit_length(3)2模型从 4 增长到 6组合系数[1,1,1,1,-1,-2]linear[0] 1·1·(1−2) −1而linear[4] 1·(−1)·(−1−2) 3证明了模型确实增长了PUSH 4 BQMX r0 VECI r1 PUSH 0 VECPUSH r1 PUSH 1 VECPUSH r1 PUSH 2 VECPUSH r1 PUSH 3 VECPUSH r1 PUSH 1 ; k PUSH 1 ; penalty ATLEAST r0 r1 PUSH 0 GETLINE r0 ; -1 PUSH 4 GETLINE r0 ; 3第一个 slack 变量证明模型增长 HALT八、ATLEASTW推导加权版与溢出的边界强制Σ(w_i × x_i) ≥ k任意权重。逻辑与ATLEAST相同但原变量使用coeffs寄存器提供的权重。组合系数向量为[w_0, w_1, ..., w_{N-1}, −1, −2, ..., −2^(S-1)]max_excess Σ(w_i) − k。关键差异——权重是程序控制的Σ(w_i)按索引顺序累加每一个部分和都做 i64 范围检查减去k同样检查越界抛ArithmeticOverflowSPEC.md 溢出规则而不是从回绕后的 excess 推导 slack 数。Rust 实现xqvm/src/vm.rs用try_fold(0i64, |acc, w| acc.checked_add(w))显式体现这一点。ATLEASTW还要求k 0报IndexOutOfBounds且indices/coeffs长度不一致报VecLengthMismatch两者都在模型类型检查之前顺序由向量 atleastw_length_mismatch_beats_sample_mode 锁定。可运行示例atleastw_basic/program.xqasm3 变量、权重[2,3,5]、k4、penalty1→Σw10、max_excess6、S3模型从 3 增长到 6组合系数[2,3,5,-1,-2,-4]linear[0] 1·2·(2−8) −12linear[5] 1·(−4)·(−4−8) 48。溢出向量 atleastw_weight_overflow 则验证权重和2^63不可表示时报ArithmeticOverflow。配套SLACK指令在 ISA.md 中与ATLEASTW互补但方向相反把Σ(w_i × x_i) ≤ W化为等式。给定capacityW 与start_indexS floor(log2(W)) 1向indices追加[start_index, ..., start_indexS-1]向coeffs追加[1, 2, 4, ..., 2^(S-1)]正幂。与ATLEASTW的负幂 slack 配合≤与≥两类不等式都能落入EQUALITY的统一展开。SLACK 是两趟追加先全部索引、后全部系数且允许indices/coeffs别名同一寄存器因此该顺序同样规范。示例见 vector-ops/slack_basic/program.xqasmcapacity10 → powers 1,2,4,8。九、REDUCE推导Rosenberg 降阶与高阶项链式降阶用辅助变量 w 替换乘积x_a × x_b追加惩罚项强制在能量最低点满足w x_a × x_b。这是Rosenberg reduction1975——标准的 HOBO 转 QUBO 方法。给定P_aux从栈弹出——强制约束的惩罚强度var_b从栈弹出var_a从栈弹出步骤在model.size分配辅助变量 w模型 size 增长 1追加强制项quad[var_a, var_b] P_aux quad[var_a, w] −2 × P_aux quad[var_b, w] −2 × P_aux linear[w] 3 × P_aux把 w辅助索引压栈。惩罚在w x_a × x_b时为 0否则 ≥ 1所以求解器总是偏好正确的 w。压栈使高阶项可以自然链式降阶例如四阶项x_i × x_j × x_k × x_l通过两次连续的REDUCE再ADDQUAD完成。Rust 实现在 xqvm/src/vm.rs 与expand_reducexqvm/src/vm.rsvar_a/var_b先按[0, model.size)校验分配之前−2·P_aux与3·P_aux先校验随后写 3 个二次项 1 个线性项。可运行示例reduce_chain/program.xqasm两次链式降阶——先REDUCEvar_a0, var_b1, P_aux2得 w14模型 4→5linear[4]6再以 w1 为操作数REDUCEvar_a4, var_b2, P_aux2得 w25模型 5→6linear[5]6PUSH 4 BQMX r0 PUSH 0 ; var_a PUSH 1 ; var_b PUSH 2 ; p_aux (TOS) REDUCE r0 ; 压入 w14 STOW r5 LOAD r5 ; var_a w1 PUSH 2 ; var_b PUSH 2 ; p_aux REDUCE r0 ; 压入 w25 PUSH 4 GETLINE r0 ; linear[4] 6 PUSH 5 GETLINE r0 ; linear[5] 6 HALT十、ENERGY计算能量公式与三项规范性细则E Σ_i linear_model[i] × x_sample[i] Σ_{ij} quad_model[i,j] × x_sample[i] × x_sample[j]其中x_sample[i] sample.values[i]变量赋值。model.size ! sample.size时报SizeMismatch。Rust 的checked_energy在 xqvm/src/model.rsPython 的compute_energy在 xqvm_py/xqmx.py。10.1 项分组Term grouping每个二次项按(coeff × x_i) × x_j求值不是coeff × (x_i × x_j)。两者在 checked 算术下的分组不同spin 域上coeff -2^63、x_i x_j -1时前者在coeff × x_i处报错后者全程不出界。文档明确所述分组即两份实现所做的且同样是规范性的——分组决定程序是否报错。10.2 对角线是合法的The diagonal二次表的键满足i j而非i j对角线合法。SETQUAD、ADDQUAD、GETQUAD在i j时交换归一化且不施加进一步限制——所以PUSH 2 / BQMX r0 / PUSH 1 / PUSH 1 / PUSH 7 / SETQUAD r0存储quadratic[(1,1)] 7ENERGY像其他项一样把它求值为7 × x_1 × x_1。两份实现都存储并求值自耦合项。自耦合项的意义取决于域VM 不做解释二元变量x² x对角项等价于经二次表写入的线性偏置spin 变量x² 1等价于常数能量偏移整数域两者都不是。写对角项是 VM 允许但不赋予含义的行为。IDXTRIU不受影响它枚举严格上三角对i j所以对角单元在该枚举中没有自己的索引——IDXTRIU以i j调用得到的是某个非对角对的索引。10.3 累加顺序Accumulation order两个和都按排序后的键序累加线性项按 i 升序二次项按(i, j)升序i j。线性和在二次和开始前完整累加。这也是规范性的而非实现细节若实现的稀疏表保留插入顺序程序SETLINE/ADDLINE/SETQUAD/ADDQUAD恰好执行的顺序则必须先排序再累加——因为插入顺序是程序历史属性而非模型属性两条以不同路径构建同一模型的程序必须得到同一结果。顺序可观察是因为溢出会报错部分和在一个顺序下可以离开 i64 范围、在另一个顺序下留在范围内两种顺序会对“程序是否报错”给出不同答案。每个部分和都被检查不只是总和。该规则适用于对模型稀疏表的任何归约。作为对照不需要排序规则的两类归约ROWSUM/COLSUM不是稀疏表归约它们按RESIZE建立的网格范围、沿各自轴以升序 flat-index 顺序折叠ROWSUM按列序、COLSUM按行序在范围的每个单元读取linear表面无论该处是否存在条目——见 xqvm_py/xqmx.pyATLEASTW的权重和按程序提供的coeffs向量顺序累加——那是程序自己的顺序同样无需排序规则。两者仍受逐步检查约束每个部分和都做范围检查所以程序构建列表的顺序通过“归约是否报错”可观察。10.4 被否决的方案order-freeENERGY曾经考虑过并否决的方案逐个检查项的乘积、把总和累加在比值类型更宽的类型中Rust 用i128、Python 用原生无界整数、只检查最终总和。它会让累加顺序不可观察ENERGY会返回所有可表示的总和而非对其中一些报错。否决的理由逐步检查是 VM 其余部分赖以建立的算术安全范式且它把实现契约保持在 checked 64 位算术上——按此规范写第三个实现不需要比值类型更宽的中间类型宽累加器出错的失败模式是静默错误的能量而非伪报错。代价也明确记载累加顺序因此是规范性的且ENERGY会对某些恰好可表示的总和报错。可运行示例energy/bqmx_quadratic/program.xqasmSETQUAD(0,1)7后对全零二元样本求能量得 0溢出向量 energy/energy_overflow/program.xqasm 用 spin 样本默认值-1与linear[0] i64::MIN制造不可表示乘积i64::MIN × -1强制ENERGY报错而非回绕。十一、双实现一致性从规范到 conformance 向量整个 HLF 规范之所以把上述顺序写进规范是为了让两份独立实现Rust 生产 VM xqvm 与 Python 参考 VM xqvm_py接受完全相同的程序集合。验证机制是 conformance每个向量目录含program.xqasm汇编源、inputs.jsoncalldata 等输入、expected.json输出/最终栈或错误身份经 conformance/src 在cargo build时生成为两份#[test]由make -k check-parity运行见 conformance/README.md。与 HLF 相关的向量分布节选约束族constraints/ 覆盖equality_basic、equality_weighted、equality_penalty_overflow、atleast_basic、atleastw_basic、atleastw_weight_overflow、onehotc_without_grid、exclude_index_out_of_range、implies_index_out_of_range、reduce_basic、reduce_chain、slack_bad_coeffs_leaves_indices_unmutated等能量族energy/ 覆盖bqmx_linear、bqmx_quadratic、energy_overflow、energy_partial_overflow计量族metering/ 的onehot_expansion断言equality_expansion_steps(cols)计费xqvm_py/metering.py(n n(n-1)/2) × 13步equality_grows_past_the_index_width锁定极大索引的增长计费语义vecpush_charge_before_type_check锁定计费先于类型检查的顺序。这些向量正是读者验证自己理解的最佳工具读懂一个program.xqasm的注释推导例如atleast_basic中linear[4] 3如何证明模型增长再对照expected.json即可把本文的公式落到可执行事实。十二、小结把规范读成实现契约HLF.md 的技术核心可以浓缩为三条实现契约先校验比例因子再发射项——即使该项永远不会被发射单列 ONEHOTR、单元素 EQUALITYdelta 按规范顺序边算边应用——线性通道按索引升序、二次通道按(k,m)升序重复索引的累积结果被检查一切归约按排序键序逐步检查——ENERGY的线性/二次和、ATLEASTW的权重和、ROWSUM/COLSUM的网格折叠每个部分和都过 i64 范围检查。在此基础上EQUALITY是通用加权等式原语ONEHOT/ATLEAST/ATLEASTW都是它的特例或经由 slack/辅助变量规约到它REDUCE用 Rosenberg 方法把高阶乘积降为辅助变量并借压栈天然支持链式降阶ENERGY以排序累加和(coeff×x_i)×x_j分组定义了可复现、可比较的能量求值。全部细节由 conformance 向量以“同一字节码、同一错误身份、同一最终栈”的形式钉死这就是“规范性”在 xquad 仓库中的真实含义。赞分享【免费下载链接】xquadA rust implementation of the Quip Networks quantum virtual machine.项目地址https://gitcode.com/gh_mirrors/xq/xquad点击查看免费下载相关推荐掌握Uber Go语言规范函数选项模式与高级设计技巧掌握Uber Go语言规范函数选项模式与高级设计技巧 Uber Go语言规范中文版是Go开发者必备的权威指南其中函数选项模式作为一种优雅处理可选参数的设计技文档Sass 规范解读function 用户自定义函数的语法、语义与作用域规则Sass 规范解读 function 用户自定义函数的语法、语义与作用域规则 function 是 Sass 中用于定义可复用函数的核心语句它允许用户编前端XQuad 二次模型Quadratic Models深入指南从 QUBO/Ising 哈密顿量到约束折叠与罚权重设计XQuad 二次模型Quadratic Models深入指南从 QUBO/Ising 哈密顿量到约束折叠与罚权重设计 XQuad 是一条一个问题描述 →上一篇Pixi3D模型加载完全指南从glTF到自定义几何体的完整教程下一篇agent-skills中的设计模式应用提升代码质量和可扩展性的实用方法创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考