数学方程

Question

我有这样的等式：S = val.X^3 - val.X^2 + val.X -Val

知道，所有的变量是Int64类型，和S和val是已知的值，

什么是解决这个问题的最好办法，我用numpy的和Z3，但不能得到正确的答案，任何铅将是有益的

Answer 1

这里的适应你如何编码t他使用z3py，这个例子的目的，我把S是40和Val是2，但你可以很容易地在下面修改这些值在相应的线s.add：当我运行它

from z3 import * 

S = BitVec ('S', 64) 
X = BitVec ('X', 64) 
Val = BitVec ('Val', 64) 

s = Solver() 
s.add (S == 40) 
s.add (Val == 2) 
s.add (S == Val * X * X * X - Val * X * X + Val * X - Val) 

res = s.check() 

if res == sat: 
    print s.model() 
elif res == unsat: 
    print "No solution" 
else: 
    print "Solver returned: " + res 

，我得到：

$ python b.py 
[X = 4611686018427387907, Val = 2, S = 40] 

这可能看起来令人惊讶，但请记住，位向量算术是模块化的;如果你进行计算，你会发现它确实满足你的方程。

Answer 2

这是从https://docs.scipy.org/doc/numpy-1.13.0/reference/generated/numpy.roots.html

>>> import numpy as np 
>>> valA=2.1 
>>> valC=4.3 
>>> valD=5.4 
>>> valB=3.2 
>>> coeff = [valA, valB, valC, valD] 
>>> np.roots(coeff) 
array([-1.38548682+0.j  , -0.06916135+1.36058497j, 
    -0.06916135-1.36058497j]) 
>>>