文档里没有明确说明前几个是真实解，后几个是辅助解，我想知道如何还原我需要的真实解

miaoliye 2026-08-18 18:30:07

解hobo的时候一般都是直接solve_qubo调用的，如果不是就请换回solution_dict，solution_dict里面定义的变量就是原变量。

 

然后hobo产生的新变量变量名是不一样的，调用get_value，直接访问原来定义的变量就可以的。

 

 

 

 

 

 

 

 

BD88263736BEFEB8 2026-08-19 16:34:19

miaoliye 发表于 2026-8-18 18:30 解hobo的时候一般都是直接solve_qubo调用的，如果不是就请换回solution_dict，solution_dict里面定义的变量 ...

感谢回复

用户0223 2026-10-04 01:04:01

补充一个从官方文档《处理降次问题》里能直接落地的判断方法,和楼上互为补充: 1. 按命名规则区分真实解与辅助变量:HoboModel.reduce() 产生的辅助变量命名规则是"原变量名用下划线相连,并以下划线开头"——例如 x0、x1 的乘积生成 _x0_x1,嵌套高阶项会继续拼接成 _x0_x1_y1。文档明确 _ 是内部保留符号,用户自己的变量命名不允许以下划线开头。所以拿到解字典后,凡是以 _ 开头的 key 都是降阶引入的辅助变量,不带 _ 前缀的才是你建模时的原始变量,它们就是你要的真实解。 2. 用 verify_hobo_constraint() 验证一致性:把完整解(含辅助变量)传给 hobo_model.verify_hobo_constraint(solution),返回 err_cnt 为 0 表示辅助变量取值与原始变量的乘积关系一致,此时原始变量的赋值就是可用的真实解;若 err_cnt > 0,说明存在辅助变量与原变量乘积不一致的赋值(等价于 Rosenberg 惩罚项没有被满足),这份解不建议直接采信,通常的做法是提高惩罚系数 k 重新求解。 3. 顺带提醒:该文档示例代码里解字典写的键名是 "b_x1_x2": 1,而正文说明和模型约束里辅助变量名是 _x1_x2,应是文档笔误,照着写代码时注意别抄错。 来源:学习地图《处理降次问题》基础知识一节(kaiwu.qboson.com/docs/HOBO.html)。