- 积分
- 16256
- 明经币
- 个
- 注册时间
- 2015-8-18
- 在线时间
- 小时
- 威望
-
- 金钱
- 个
- 贡献
-
- 激情
-
|
本帖最后由 你有种再说一遍 于 2025-6-15 21:42 编辑
小学毕业的我们都知道
x+1=2:
这个一元一次方程,我们把2当作约束条件.
x^3+1=42:
这个一元三次方程,我们把42和3次方当作约束条件.
然后我们顺利跳级来到了大学,
大学无非就是把这种问题改成多解,无解,短时间内难解,
也就是约束求解从我们念书时候就始终贯穿如今,
没错,这种就叫程序就叫约束求解器.
什么?你说这样说不够吸引你去学习?
你要不要辅导孩子做作业?不要?
那么 塞尔达传说 这个游戏够不够?
想知道如何实现解密关卡的实现吗?
Z3是微软开源的一个约束求解器,
用来解方程简直一流啊,
真是念书少了要靠工具解了,嘻嘻.
https://www.cnblogs.com/JJBox/p/18927891 |
|