Ax.dev的SearchSpace约束是软还是硬？SOBOL采样报SearchSpaceExhausted怎么解决

问题1解答：parameter_constraints的约束类型 #

Ax.dev中SearchSpace接收的parameter_constraints属于硬约束。Ax的生成逻辑会强制输出的所有候选点满足你定义的全部约束，不会主动返回违反约束的点。如果实际使用中出现约束被违反的情况，优先排查约束定义的参数名称、参数范围、约束逻辑是否和你实际的搜索空间配置匹配。

问题2解答：SearchSpaceExhausted报错原因及解决 #

你遇到的报错是Sobol采样器的拒绝采样逻辑触发的：Sobol本身没有约束感知能力，生成候选点时采用的是「先生成无约束样本，再筛选符合约束的样本」的逻辑，当你设置的所有约束叠加后的可行域过小，甚至存在约束冲突导致可行域为空时，10万次默认采样次数都抽不到1个符合要求的样本，就会抛出这个错误。

对应的解决方法如下：

• 先校验约束合理性：检查多个约束之间是否存在逻辑冲突，比如同时设置x+y <=1、x>=0.6、y>=0.6会直接导致可行域为空，自然采样不到有效点。
• 换用约束感知模型：放弃纯Sobol采样，改用Ax内置的Models.BOTORCH这类贝叶斯优化模型，这类模型内置约束感知能力，会直接在可行域内生成候选点，不需要依赖效率极低的拒绝采样，不会因为可行域较小就报错。
• 临时调整采样参数：如果确实需要先用Sobol采集初始点，可以在调用gen方法时调大最大采样次数：

sobol.gen(1, model_gen_kwargs={"max_draws": 1000000})

这个方案仅适用于可行域不算特别小的场景，如果可行域占总搜索空间的比例低于1e-5，即使调大采样次数依然大概率报错。

• 校验约束匹配性：如果之前出现过约束被忽略的情况，优先检查约束中填写的参数名是否和SearchSpace中定义的参数名完全一致，名称不匹配的约束会被Ax直接跳过，不会生效。

内容的提问来源于stack exchange，提问作者DocMartens