以下の方程式を制約プログラミング言語で表現して解きたいです。
変数 t があり、目的関数を最小化する最適な乗数 k を見つけようとしています。
時間: t1、t2、t3... 入力で指定
乗算器 k1、k2、k3... (これは見つける必要がある連続変数です)
c1、c2、.. cN は定数です
主方程式 k1*sin(c1*x)+k2*sin(c2*x)+k3*sin(c3*x)+k4*cos(c1*x)...
問題は、(k1、k2、k3..) の可能な限り最良の値を使用して、以下のすべての方程式の結果を最小化することです。また、問題に対する正確な解決策がないことも知られています。したがって、
x が t1 の場合 --> P1-k1*sin(c1*t1)-k2*sin(c2*t1)-k3*sin(c3*t1)-k4*cos(c1*t1)
... x は t2 --> P2-k1*sin(c1*t2)-k2*sin(c2*t2)-k3*sin(c3*t2)-k4*cos(c1*t2)...
x が t3 の場合--> P3-k1*sin(c1*t3)-k2*sin(c2*t3)-k3*sin(c3*t3)-k4*cos(c1*t3)...
P1 は、時間変数のバインドされた値です。しかし、P(t) は分析関数ではありません。t1 = 5 P1=0.7 t2= 6 P2= 0.3 などの場合のように、値を持っているだけです。
これを minizinc または他の CP システムで解決することは可能ですか?