电池设计问题如何解决“入口难题”？

最近看到一种把电池设计问题形式化为“约束满足问题（CSP）”的思路。

想请教：

CSP是如何破解入口难题的，又是如何解决需求之间的冲突的。

有实际做过的坛友吗？想听听它到底如何实现。

这种思路是不去预测用户会从哪个“入口”进来，而是把整个设计知识体系重构为CSP——参数是需要填写的“空格”，参数取值范围是“可选字母”，物理公式和工程规则是“横竖交叉的约束条件”，类似超高维度的“填字游戏”。

CSP在实现上，是把工业设计知识表示为一张“约束图”：参数是节点，约束是连接节点的边。用户输入任何一个参数，都会像投入湖面的石子一样，沿约束图的边“扩散”开来，逐步推导出所有相关参数的值，并检查是否存在冲突。所以入口是哪个就不重要了，任意参数都能作为起点。

有研究团队收集了近7000条真实电池设计需求，首次定量分析出两类冲突：近景冲突，输入集中在局部区域、共享大量约束、极易矛盾；远景冲突，跨区域推理时，不同需求类别之间的参数冲突。这也为算法设计提供了理论指导。