比求解更容易验证的方程?

计算科学 线性代数
2021-12-22 01:05:01

有没有有趣的方程(系统)示例,已知比验证提供的解决方案的正确性更难找到解决方案(就问题大小的缩放而言)?

非专家可能会惊讶于 Stein、Riccati、Sylvester 矩阵方程与d×d矩阵都有相同的O(d3)解决和验证的复杂性,想知道这是否是更普遍的规则。

2个回答

您的第一段本质上是数字密码学领域的基础。在那里,您希望破解加密非常困难(找到解决方案),但您希望为持有私钥的人轻松解密消息(验证解决方案)。本质上,您可以查看现代加密背后的所有数学问题(椭圆曲线RSA等)

就拿一个线性系统Ax=b给定Ab: 如果我给你一个解决方案x, 它需要O(N2)验证左右手边是否相等的操作。但是对于一般矩阵,它需要O(N3)操作以找到解决方案。