有没有有趣的方程(系统)示例,已知比验证提供的解决方案的正确性更难找到解决方案(就问题大小的缩放而言)?
非专家可能会惊讶于 Stein、Riccati、Sylvester 矩阵方程与d×dd×d矩阵都有相同的O(d3)O(d3)解决和验证的复杂性,想知道这是否是更普遍的规则。
您的第一段本质上是数字密码学领域的基础。在那里,您希望破解加密非常困难(找到解决方案),但您希望为持有私钥的人轻松解密消息(验证解决方案)。本质上,您可以查看现代加密背后的所有数学问题(椭圆曲线、RSA等)
就拿一个线性系统Ax=bAx=b给定AA和bb: 如果我给你一个解决方案xx, 它需要O(N2)O(N2)验证左右手边是否相等的操作。但是对于一般矩阵,它需要O(N3)O(N3)操作以找到解决方案。