不正确的MIP最优

我有两个原始MIP模型。lp和修改。lp,只有modified.lp两个附加约束条件的不同。因此,修改后的客观价值。lp应该更大或等于original.lp。然而,这并非如此。此外,通过求解一个对称的MIP,我可以确认修改的价值。lp是正确的。为什么选择(modified.lp) = -0.0609 < -0.05505 =选择(original.lp)尽管Gurobi宣称发现这两种情况下的最优解?

original.lp

浏览\ LP格式——模型。使用议员格式捕获完整的模型细节。
最小化
pixel_13_22 + 0 abs_v_x_13_22 pixel_12_22 + 0 abs_v_y_13_22 + 0
+ 0 abs_v_x_12_22 + 0 abs_v_y_12_22 abs_v_x_14_22 + 0 pixel_14_22 + 0
+ 0 abs_v_y_14_22 abs_v_y_13_21 - abs_v_x_13_21 pixel_13_21 + 0 + 0
+ 0 pixel_13_23 abs_v_y_13_23 + 0 abs_v_x_13_23 + 0
受
interpolation_13_22: top_left_13_22 + top_right_13_22 + bottom_left_13_22
+ bottom_right_13_22 = 1
interpolation_12_22: top_left_12_22 + top_right_12_22 + bottom_left_12_22
+ bottom_right_12_22 = 1
interpolation_14_22: top_left_14_22 + top_right_14_22 + bottom_left_14_22
+ bottom_right_14_22 = 1
interpolation_13_21: top_left_13_21 + top_right_13_21 + bottom_left_13_21
+ bottom_right_13_21 = 1
interpolation_13_23: top_left_13_23 + top_right_13_23 + bottom_left_13_23
+ bottom_right_13_23 = 1
flow_p_x_12_22: v_x_13_22 - v_x_12_22 < = 0.01
flow_n_x_12_22: v_x_13_22 + v_x_12_22 < = 0.01
flow_p_y_12_22: v_y_13_22 - v_y_12_22 < = 0.01
flow_n_y_12_22: v_y_13_22 + v_y_12_22 < = 0.01
flow_p_x_14_22: v_x_13_22 - v_x_14_22 < = 0.01
flow_n_x_14_22: v_x_13_22 + v_x_14_22 < = 0.01
flow_p_y_14_22: v_y_13_22 - v_y_14_22 < = 0.01
flow_n_y_14_22: v_y_13_22 + v_y_14_22 < = 0.01
flow_p_x_13_21: v_x_13_22 - v_x_13_21 < = 0.01
flow_n_x_13_21: v_x_13_22 + v_x_13_21 < = 0.01
flow_p_y_13_21: v_y_13_22 - v_y_13_21 < = 0.01
flow_n_y_13_21: v_y_13_22 + v_y_13_21 < = 0.01
flow_p_x_13_23: v_x_13_22 - v_x_13_23 < = 0.01
flow_n_x_13_23: v_x_13_22 + v_x_13_23 < = 0.01
flow_p_y_13_23: v_y_13_22 - v_y_13_23 < = 0.01
flow_n_y_13_23: v_y_13_22 + v_y_13_23 < = 0.01
v_x_top_left_min_13_22: top_left_13_22 = 1 - > - v_x_13_22 < = 0.1
v_x_top_left_max_13_22: top_left_13_22 = 1 - > v_x_13_22 < = 0
v_y_top_left_min_13_22: top_left_13_22 = 1 - > - v_y_13_22 < = 0.1
v_y_top_left_max_13_22: top_left_13_22 = 1 - > v_y_13_22 < = 0
v_x_top_right_min_13_22: top_right_13_22 v_x_13_22 < = 1 - > = 0
v_x_top_right_max_13_22: top_right_13_22 = 1 - > v_x_13_22 < = 0.1
v_y_top_right_min_13_22: top_right_13_22 = 1 - > - v_y_13_22 < = 0.1
v_y_top_right_max_13_22: top_right_13_22 = 1 - > v_y_13_22 < = 0
v_x_bottom_left_min_13_22: bottom_left_13_22 = 1 - > - v_x_13_22 < = 0.1
v_x_bottom_left_max_13_22: bottom_left_13_22 = 1 - > v_x_13_22 < = 0
v_y_bottom_left_min_13_22: bottom_left_13_22 v_y_13_22 < = 1 - > = 0
v_y_bottom_left_max_13_22: bottom_left_13_22 = 1 - > v_y_13_22 < = 0.1
v_x_bottom_right_min_13_22: bottom_right_13_22 v_x_13_22 < = 1 - > = 0
v_x_bottom_right_max_13_22: bottom_right_13_22 = 1 - > v_x_13_22 < = 0.1
v_y_bottom_right_min_13_22: bottom_right_13_22 v_y_13_22 < = 1 - > = 0
v_y_bottom_right_max_13_22: bottom_right_13_22 = 1 - > v_y_13_22 < = 0.1
v_x_top_left_min_12_22: top_left_12_22 = 1 - > - v_x_12_22 < = 0.1
v_x_top_left_max_12_22: top_left_12_22 = 1 - > v_x_12_22 < = 0
v_y_top_left_min_12_22: top_left_12_22 = 1 - > - v_y_12_22 < = 0.1
v_y_top_left_max_12_22: top_left_12_22 = 1 - > v_y_12_22 < = 0
v_x_top_right_min_12_22: top_right_12_22 v_x_12_22 < = 1 - > = 0
v_x_top_right_max_12_22: top_right_12_22 = 1 - > v_x_12_22 < = 0.1
v_y_top_right_min_12_22: top_right_12_22 = 1 - > - v_y_12_22 < = 0.1
v_y_top_right_max_12_22: top_right_12_22 = 1 - > v_y_12_22 < = 0
v_x_bottom_left_min_12_22: bottom_left_12_22 = 1 - > - v_x_12_22 < = 0.1
v_x_bottom_left_max_12_22: bottom_left_12_22 = 1 - > v_x_12_22 < = 0
v_y_bottom_left_min_12_22: bottom_left_12_22 v_y_12_22 < = 1 - > = 0
v_y_bottom_left_max_12_22: bottom_left_12_22 = 1 - > v_y_12_22 < = 0.1
v_x_bottom_right_min_12_22: bottom_right_12_22 v_x_12_22 < = 1 - > = 0
v_x_bottom_right_max_12_22: bottom_right_12_22 = 1 - > v_x_12_22 < = 0.1
v_y_bottom_right_min_12_22: bottom_right_12_22 v_y_12_22 < = 1 - > = 0
v_y_bottom_right_max_12_22: bottom_right_12_22 = 1 - > v_y_12_22 < = 0.1
v_x_top_left_min_14_22: top_left_14_22 = 1 - > - v_x_14_22 < = 0.1
v_x_top_left_max_14_22: top_left_14_22 = 1 - > v_x_14_22 < = 0
v_y_top_left_min_14_22: top_left_14_22 = 1 - > - v_y_14_22 < = 0.1
v_y_top_left_max_14_22: top_left_14_22 = 1 - > v_y_14_22 < = 0
v_x_top_right_min_14_22: top_right_14_22 v_x_14_22 < = 1 - > = 0
v_x_top_right_max_14_22: top_right_14_22 = 1 - > v_x_14_22 < = 0.1
v_y_top_right_min_14_22: top_right_14_22 = 1 - > - v_y_14_22 < = 0.1
v_y_top_right_max_14_22: top_right_14_22 = 1 - > v_y_14_22 < = 0
v_x_bottom_left_min_14_22: bottom_left_14_22 = 1 - > - v_x_14_22 < = 0.1
v_x_bottom_left_max_14_22: bottom_left_14_22 = 1 - > v_x_14_22 < = 0
v_y_bottom_left_min_14_22: bottom_left_14_22 v_y_14_22 < = 1 - > = 0
v_y_bottom_left_max_14_22: bottom_left_14_22 = 1 - > v_y_14_22 < = 0.1
v_x_bottom_right_min_14_22: bottom_right_14_22 v_x_14_22 < = 1 - > = 0
v_x_bottom_right_max_14_22: bottom_right_14_22 = 1 - > v_x_14_22 < = 0.1
v_y_bottom_right_min_14_22: bottom_right_14_22 v_y_14_22 < = 1 - > = 0
v_y_bottom_right_max_14_22: bottom_right_14_22 = 1 - > v_y_14_22 < = 0.1
v_x_top_left_min_13_21: top_left_13_21 = 1 - > - v_x_13_21 < = 0.1
v_x_top_left_max_13_21: top_left_13_21 = 1 - > v_x_13_21 < = 0
v_y_top_left_min_13_21: top_left_13_21 = 1 - > - v_y_13_21 < = 0.1
v_y_top_left_max_13_21: top_left_13_21 = 1 - > v_y_13_21 < = 0
v_x_top_right_min_13_21: top_right_13_21 v_x_13_21 < = 1 - > = 0
v_x_top_right_max_13_21: top_right_13_21 = 1 - > v_x_13_21 < = 0.1
v_y_top_right_min_13_21: top_right_13_21 = 1 - > - v_y_13_21 < = 0.1
v_y_top_right_max_13_21: top_right_13_21 = 1 - > v_y_13_21 < = 0
v_x_bottom_left_min_13_21: bottom_left_13_21 = 1 - > - v_x_13_21 < = 0.1
v_x_bottom_left_max_13_21: bottom_left_13_21 = 1 - > v_x_13_21 < = 0
v_y_bottom_left_min_13_21: bottom_left_13_21 v_y_13_21 < = 1 - > = 0
v_y_bottom_left_max_13_21: bottom_left_13_21 = 1 - > v_y_13_21 < = 0.1
v_x_bottom_right_min_13_21: bottom_right_13_21 v_x_13_21 < = 1 - > = 0
v_x_bottom_right_max_13_21: bottom_right_13_21 = 1 - > v_x_13_21 < = 0.1
v_y_bottom_right_min_13_21: bottom_right_13_21 v_y_13_21 < = 1 - > = 0
v_y_bottom_right_max_13_21: bottom_right_13_21 = 1 - > v_y_13_21 < = 0.1
v_x_top_left_min_13_23: top_left_13_23 = 1 - > - v_x_13_23 < = 0.1
v_x_top_left_max_13_23: top_left_13_23 = 1 - > v_x_13_23 < = 0
v_y_top_left_min_13_23: top_left_13_23 = 1 - > - v_y_13_23 < = 0.1
v_y_top_left_max_13_23: top_left_13_23 = 1 - > v_y_13_23 < = 0
v_x_top_right_min_13_23: top_right_13_23 v_x_13_23 < = 1 - > = 0
v_x_top_right_max_13_23: top_right_13_23 = 1 - > v_x_13_23 < = 0.1
v_y_top_right_min_13_23: top_right_13_23 = 1 - > - v_y_13_23 < = 0.1
v_y_top_right_max_13_23: top_right_13_23 = 1 - > v_y_13_23 < = 0
v_x_bottom_left_min_13_23: bottom_left_13_23 = 1 - > - v_x_13_23 < = 0.1
v_x_bottom_left_max_13_23: bottom_left_13_23 = 1 - > v_x_13_23 < = 0
v_y_bottom_left_min_13_23: bottom_left_13_23 v_y_13_23 < = 1 - > = 0
v_y_bottom_left_max_13_23: bottom_left_13_23 = 1 - > v_y_13_23 < = 0.1
v_x_bottom_right_min_13_23: bottom_right_13_23 v_x_13_23 < = 1 - > = 0
v_x_bottom_right_max_13_23: bottom_right_13_23 = 1 - > v_x_13_23 < = 0.1
v_y_bottom_right_min_13_23: bottom_right_13_23 v_y_13_23 < = 1 - > = 0
v_y_bottom_right_max_13_23: bottom_right_13_23 = 1 - > v_y_13_23 < = 0.1
v_x_13_22 top_left_min_v_x_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 - 0.0729411765933037 abs_v_x_13_22 pixel_13_22
< = -0.9960784316062927
v_x_13_22 top_left_max_v_x_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 + 0.0729411765933037 abs_v_x_13_22 pixel_13_22
> = -0.9960784316062927
v_x_13_22 top_left_min_v_y_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 - 0.0729411765933037 abs_v_y_13_22 pixel_13_22
< = -0.9960784316062927
v_x_13_22 top_left_max_v_y_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 + 0.0729411765933037 abs_v_y_13_22 pixel_13_22
> = -0.9960784316062927
top_right_min_v_x_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0545098036527634 abs_v_x_13_22 pixel_13_22 < =
top_right_max_v_x_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_x_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0545098036527634
top_right_min_v_y_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0545098036527634 abs_v_y_13_22 pixel_13_22 < =
top_right_max_v_y_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_y_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0545098036527634
bottom_left_min_v_x_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0117647051811218 abs_v_x_13_22 pixel_13_22 < =
bottom_left_max_v_x_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
abs_v_x_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0117647051811218
bottom_left_min_v_y_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0117647051811218 abs_v_y_13_22 pixel_13_22 < =
bottom_left_max_v_y_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
abs_v_y_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0117647051811218
bottom_right_min_v_x_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.024705882370472 abs_v_x_13_22 pixel_13_22 < =
bottom_right_max_v_x_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_x_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.024705882370472
bottom_right_min_v_y_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.024705882370472 abs_v_y_13_22 pixel_13_22 < =
bottom_right_max_v_y_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_y_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.024705882370472
v_x_12_22 top_left_min_v_x_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 - 0.0607843138277531 abs_v_x_12_22
——pixel_12_22 < = -0.8784313797950745
v_x_12_22 top_left_max_v_x_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 abs_v_x_12_22 + 0.0607843138277531
- pixel_12_22 > = -0.8784313797950745
v_x_12_22 top_left_min_v_y_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 - 0.0607843138277531 abs_v_y_12_22
——pixel_12_22 < = -0.8784313797950745
v_x_12_22 top_left_max_v_y_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 abs_v_y_12_22 + 0.0607843138277531
- pixel_12_22 > = -0.8784313797950745
top_right_min_v_x_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
-0.8784313797950745 - 0.0729411765933037 abs_v_x_12_22 pixel_12_22 < =
top_right_max_v_x_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
abs_v_x_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0729411765933037
top_right_min_v_y_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
-0.8784313797950745 - 0.0729411765933037 abs_v_y_12_22 pixel_12_22 < =
top_right_max_v_y_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
abs_v_y_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0729411765933037
bottom_left_min_v_x_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0282352976500988 abs_v_x_12_22 pixel_12_22 < =
bottom_left_max_v_x_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_x_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0282352976500988
bottom_left_min_v_y_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0282352976500988 abs_v_y_12_22 pixel_12_22 < =
bottom_left_max_v_y_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_y_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0282352976500988
bottom_right_min_v_x_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0117647051811218 abs_v_x_12_22 pixel_12_22 < =
bottom_right_max_v_x_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_x_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0117647051811218
bottom_right_min_v_y_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0117647051811218 abs_v_y_12_22 pixel_12_22 < =
bottom_right_max_v_y_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_y_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0117647051811218
top_left_min_v_x_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0545098036527634 abs_v_x_14_22 pixel_14_22 < =
top_left_max_v_x_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0545098036527634
top_left_min_v_y_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0545098036527634 abs_v_y_14_22 pixel_14_22 < =
top_left_max_v_y_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0545098036527634
top_right_min_v_x_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705880926922 abs_v_x_14_22 pixel_14_22 < =
top_right_max_v_x_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705880926922
top_right_min_v_y_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705880926922 abs_v_y_14_22 pixel_14_22 < =
top_right_max_v_y_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705880926922
bottom_left_min_v_x_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705882370472 abs_v_x_14_22 pixel_14_22 < =
bottom_left_max_v_x_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705882370472
bottom_left_min_v_y_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705882370472 abs_v_y_14_22 pixel_14_22 < =
bottom_left_max_v_y_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705882370472
bottom_right_min_v_x_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0243137254845351 abs_v_x_14_22 pixel_14_22 < =
bottom_right_max_v_x_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0243137254845351
bottom_right_min_v_y_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0243137254845351 abs_v_y_14_22 pixel_14_22 < =
bottom_right_max_v_y_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0243137254845351
v_x_13_21 top_left_min_v_x_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 - 0.00627450803294778 abs_v_x_13_21
——pixel_13_21 < = -0.9960784316062927
v_x_13_21 top_left_max_v_x_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 abs_v_x_13_21 + 0.00627450803294778
- pixel_13_21 > = -0.9960784316062927
v_x_13_21 top_left_min_v_y_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 - 0.00627450803294778 abs_v_y_13_21
——pixel_13_21 < = -0.9960784316062927
v_x_13_21 top_left_max_v_y_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 abs_v_y_13_21 + 0.00627450803294778
- pixel_13_21 > = -0.9960784316062927
top_right_min_v_x_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 - 0.0199999988079071 abs_v_x_13_21
——pixel_13_21 < = -0.9960784316062927
top_right_max_v_x_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 abs_v_x_13_21 + 0.0199999988079071
- pixel_13_21 > = -0.9960784316062927
top_right_min_v_y_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 - 0.0199999988079071 abs_v_y_13_21
——pixel_13_21 < = -0.9960784316062927
top_right_max_v_y_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 abs_v_y_13_21 + 0.0199999988079071
- pixel_13_21 > = -0.9960784316062927
bottom_left_min_v_x_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
-0.9960784316062927 - 0.0729411765933037 abs_v_x_13_21 pixel_13_21 < =
bottom_left_max_v_x_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
abs_v_x_13_21 - pixel_13_21 > = -0.9960784316062927 + 0.0729411765933037
bottom_left_min_v_y_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
-0.9960784316062927 - 0.0729411765933037 abs_v_y_13_21 pixel_13_21 < =
bottom_left_max_v_y_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
abs_v_y_13_21 - pixel_13_21 > = -0.9960784316062927 + 0.0729411765933037
bottom_right_min_v_x_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 - 0.0545098036527634 abs_v_x_13_21 pixel_13_21
< = -0.9960784316062927
bottom_right_max_v_x_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 + 0.0545098036527634 abs_v_x_13_21 pixel_13_21
> = -0.9960784316062927
bottom_right_min_v_y_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 - 0.0545098036527634 abs_v_y_13_21 pixel_13_21
< = -0.9960784316062927
bottom_right_max_v_y_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 + 0.0545098036527634 abs_v_y_13_21 pixel_13_21
> = -0.9960784316062927
top_left_min_v_x_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.0117647051811218 abs_v_x_13_23 pixel_13_23 < =
top_left_max_v_x_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
abs_v_x_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.0117647051811218
top_left_min_v_y_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.0117647051811218 abs_v_y_13_23 pixel_13_23 < =
top_left_max_v_y_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
abs_v_y_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.0117647051811218
top_right_min_v_x_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.024705882370472 abs_v_x_13_23 pixel_13_23 < =
top_right_max_v_x_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
abs_v_x_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.024705882370472
top_right_min_v_y_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.024705882370472 abs_v_y_13_23 pixel_13_23 < =
top_right_max_v_y_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
abs_v_y_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.024705882370472
bottom_left_min_v_x_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_x_13_23 pixel_13_23 < = -0.9960784316062927
bottom_left_max_v_x_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_x_13_23 pixel_13_23 > = -0.9960784316062927
bottom_left_min_v_y_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_y_13_23 pixel_13_23 < = -0.9960784316062927
bottom_left_max_v_y_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_y_13_23 pixel_13_23 > = -0.9960784316062927
bottom_right_min_v_x_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_x_13_23 0 v_y_13_23 - 0
——pixel_13_23 < = -0.9960784316062927
bottom_right_max_v_x_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_x_13_23 0 v_y_13_23 - 0
- pixel_13_23 > = -0.9960784316062927
bottom_right_min_v_y_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_y_13_23 0 v_y_13_23 - 0
——pixel_13_23 < = -0.9960784316062927
bottom_right_max_v_y_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_y_13_23 0 v_y_13_23 - 0
- pixel_13_23 > = -0.9960784316062927
界限
pixel_13_22 < = 1
-0.1 < = v_x_13_22 < = 0.1
-0.1 < = v_y_13_22 < = 0.1
pixel_12_22 < = 1
-0.1 < = v_x_12_22 < = 0.1
-0.1 < = v_y_12_22 < = 0.1
pixel_14_22 < = 1
-0.1 < = v_x_14_22 < = 0.1
-0.1 < = v_y_14_22 < = 0.1
pixel_13_21 < = 1
-0.1 < = v_x_13_21 < = 0.1
-0.1 < = v_y_13_21 < = 0.1
pixel_13_23 < = 1
-0.1 < = v_x_13_23 < = 0.1
-0.1 < = v_y_13_23 < = 0.1
二进制文件
top_left_13_22 top_right_13_22 bottom_left_13_22 bottom_right_13_22
top_left_12_22 top_right_12_22 bottom_left_12_22 bottom_right_12_22
top_left_14_22 top_right_14_22 bottom_left_14_22 bottom_right_14_22
top_left_13_21 top_right_13_21 bottom_left_13_21 bottom_right_13_21
top_left_13_23 top_right_13_23 bottom_left_13_23 bottom_right_13_23
一般的约束
abs_v_x_13_22: abs_v_x_13_22 = ABS (v_x_13_22)
abs_v_y_13_22: abs_v_y_13_22 = ABS (v_y_13_22)
abs_v_x_12_22: abs_v_x_12_22 = ABS (v_x_12_22)
abs_v_y_12_22: abs_v_y_12_22 = ABS (v_y_12_22)
abs_v_x_14_22: abs_v_x_14_22 = ABS (v_x_14_22)
abs_v_y_14_22: abs_v_y_14_22 = ABS (v_y_14_22)
abs_v_x_13_21: abs_v_x_13_21 = ABS (v_x_13_21)
abs_v_y_13_21: abs_v_y_13_21 = ABS (v_y_13_21)
abs_v_x_13_23: abs_v_x_13_23 = ABS (v_x_13_23)
abs_v_y_13_23: abs_v_y_13_23 = ABS (v_y_13_23)
结束

modified.lp

浏览\ LP格式——模型。使用议员格式捕获完整的模型细节。
最小化
pixel_13_22 + 0 abs_v_x_13_22 pixel_12_22 + 0 abs_v_y_13_22 + 0
+ 0 abs_v_x_12_22 + 0 abs_v_y_12_22 abs_v_x_14_22 + 0 pixel_14_22 + 0
+ 0 abs_v_y_14_22 abs_v_y_13_21 - abs_v_x_13_21 pixel_13_21 + 0 + 0
+ 0 pixel_13_23 abs_v_y_13_23 + 0 abs_v_x_13_23 + 0
受
manual_1: v_x_13_21 = 0.08999999999999989
manual_2: v_y_13_21 = 0.1
interpolation_13_22: top_left_13_22 + top_right_13_22 + bottom_left_13_22
+ bottom_right_13_22 = 1
interpolation_12_22: top_left_12_22 + top_right_12_22 + bottom_left_12_22
+ bottom_right_12_22 = 1
interpolation_14_22: top_left_14_22 + top_right_14_22 + bottom_left_14_22
+ bottom_right_14_22 = 1
interpolation_13_21: top_left_13_21 + top_right_13_21 + bottom_left_13_21
+ bottom_right_13_21 = 1
interpolation_13_23: top_left_13_23 + top_right_13_23 + bottom_left_13_23
+ bottom_right_13_23 = 1
flow_p_x_12_22: v_x_13_22 - v_x_12_22 < = 0.01
flow_n_x_12_22: v_x_13_22 + v_x_12_22 < = 0.01
flow_p_y_12_22: v_y_13_22 - v_y_12_22 < = 0.01
flow_n_y_12_22: v_y_13_22 + v_y_12_22 < = 0.01
flow_p_x_14_22: v_x_13_22 - v_x_14_22 < = 0.01
flow_n_x_14_22: v_x_13_22 + v_x_14_22 < = 0.01
flow_p_y_14_22: v_y_13_22 - v_y_14_22 < = 0.01
flow_n_y_14_22: v_y_13_22 + v_y_14_22 < = 0.01
flow_p_x_13_21: v_x_13_22 - v_x_13_21 < = 0.01
flow_n_x_13_21: v_x_13_22 + v_x_13_21 < = 0.01
flow_p_y_13_21: v_y_13_22 - v_y_13_21 < = 0.01
flow_n_y_13_21: v_y_13_22 + v_y_13_21 < = 0.01
flow_p_x_13_23: v_x_13_22 - v_x_13_23 < = 0.01
flow_n_x_13_23: v_x_13_22 + v_x_13_23 < = 0.01
flow_p_y_13_23: v_y_13_22 - v_y_13_23 < = 0.01
flow_n_y_13_23: v_y_13_22 + v_y_13_23 < = 0.01
v_x_top_left_min_13_22: top_left_13_22 = 1 - > - v_x_13_22 < = 0.1
v_x_top_left_max_13_22: top_left_13_22 = 1 - > v_x_13_22 < = 0
v_y_top_left_min_13_22: top_left_13_22 = 1 - > - v_y_13_22 < = 0.1
v_y_top_left_max_13_22: top_left_13_22 = 1 - > v_y_13_22 < = 0
v_x_top_right_min_13_22: top_right_13_22 v_x_13_22 < = 1 - > = 0
v_x_top_right_max_13_22: top_right_13_22 = 1 - > v_x_13_22 < = 0.1
v_y_top_right_min_13_22: top_right_13_22 = 1 - > - v_y_13_22 < = 0.1
v_y_top_right_max_13_22: top_right_13_22 = 1 - > v_y_13_22 < = 0
v_x_bottom_left_min_13_22: bottom_left_13_22 = 1 - > - v_x_13_22 < = 0.1
v_x_bottom_left_max_13_22: bottom_left_13_22 = 1 - > v_x_13_22 < = 0
v_y_bottom_left_min_13_22: bottom_left_13_22 v_y_13_22 < = 1 - > = 0
v_y_bottom_left_max_13_22: bottom_left_13_22 = 1 - > v_y_13_22 < = 0.1
v_x_bottom_right_min_13_22: bottom_right_13_22 v_x_13_22 < = 1 - > = 0
v_x_bottom_right_max_13_22: bottom_right_13_22 = 1 - > v_x_13_22 < = 0.1
v_y_bottom_right_min_13_22: bottom_right_13_22 v_y_13_22 < = 1 - > = 0
v_y_bottom_right_max_13_22: bottom_right_13_22 = 1 - > v_y_13_22 < = 0.1
v_x_top_left_min_12_22: top_left_12_22 = 1 - > - v_x_12_22 < = 0.1
v_x_top_left_max_12_22: top_left_12_22 = 1 - > v_x_12_22 < = 0
v_y_top_left_min_12_22: top_left_12_22 = 1 - > - v_y_12_22 < = 0.1
v_y_top_left_max_12_22: top_left_12_22 = 1 - > v_y_12_22 < = 0
v_x_top_right_min_12_22: top_right_12_22 v_x_12_22 < = 1 - > = 0
v_x_top_right_max_12_22: top_right_12_22 = 1 - > v_x_12_22 < = 0.1
v_y_top_right_min_12_22: top_right_12_22 = 1 - > - v_y_12_22 < = 0.1
v_y_top_right_max_12_22: top_right_12_22 = 1 - > v_y_12_22 < = 0
v_x_bottom_left_min_12_22: bottom_left_12_22 = 1 - > - v_x_12_22 < = 0.1
v_x_bottom_left_max_12_22: bottom_left_12_22 = 1 - > v_x_12_22 < = 0
v_y_bottom_left_min_12_22: bottom_left_12_22 v_y_12_22 < = 1 - > = 0
v_y_bottom_left_max_12_22: bottom_left_12_22 = 1 - > v_y_12_22 < = 0.1
v_x_bottom_right_min_12_22: bottom_right_12_22 v_x_12_22 < = 1 - > = 0
v_x_bottom_right_max_12_22: bottom_right_12_22 = 1 - > v_x_12_22 < = 0.1
v_y_bottom_right_min_12_22: bottom_right_12_22 v_y_12_22 < = 1 - > = 0
v_y_bottom_right_max_12_22: bottom_right_12_22 = 1 - > v_y_12_22 < = 0.1
v_x_top_left_min_14_22: top_left_14_22 = 1 - > - v_x_14_22 < = 0.1
v_x_top_left_max_14_22: top_left_14_22 = 1 - > v_x_14_22 < = 0
v_y_top_left_min_14_22: top_left_14_22 = 1 - > - v_y_14_22 < = 0.1
v_y_top_left_max_14_22: top_left_14_22 = 1 - > v_y_14_22 < = 0
v_x_top_right_min_14_22: top_right_14_22 v_x_14_22 < = 1 - > = 0
v_x_top_right_max_14_22: top_right_14_22 = 1 - > v_x_14_22 < = 0.1
v_y_top_right_min_14_22: top_right_14_22 = 1 - > - v_y_14_22 < = 0.1
v_y_top_right_max_14_22: top_right_14_22 = 1 - > v_y_14_22 < = 0
v_x_bottom_left_min_14_22: bottom_left_14_22 = 1 - > - v_x_14_22 < = 0.1
v_x_bottom_left_max_14_22: bottom_left_14_22 = 1 - > v_x_14_22 < = 0
v_y_bottom_left_min_14_22: bottom_left_14_22 v_y_14_22 < = 1 - > = 0
v_y_bottom_left_max_14_22: bottom_left_14_22 = 1 - > v_y_14_22 < = 0.1
v_x_bottom_right_min_14_22: bottom_right_14_22 v_x_14_22 < = 1 - > = 0
v_x_bottom_right_max_14_22: bottom_right_14_22 = 1 - > v_x_14_22 < = 0.1
v_y_bottom_right_min_14_22: bottom_right_14_22 v_y_14_22 < = 1 - > = 0
v_y_bottom_right_max_14_22: bottom_right_14_22 = 1 - > v_y_14_22 < = 0.1
v_x_top_left_min_13_21: top_left_13_21 = 1 - > - v_x_13_21 < = 0.1
v_x_top_left_max_13_21: top_left_13_21 = 1 - > v_x_13_21 < = 0
v_y_top_left_min_13_21: top_left_13_21 = 1 - > - v_y_13_21 < = 0.1
v_y_top_left_max_13_21: top_left_13_21 = 1 - > v_y_13_21 < = 0
v_x_top_right_min_13_21: top_right_13_21 v_x_13_21 < = 1 - > = 0
v_x_top_right_max_13_21: top_right_13_21 = 1 - > v_x_13_21 < = 0.1
v_y_top_right_min_13_21: top_right_13_21 = 1 - > - v_y_13_21 < = 0.1
v_y_top_right_max_13_21: top_right_13_21 = 1 - > v_y_13_21 < = 0
v_x_bottom_left_min_13_21: bottom_left_13_21 = 1 - > - v_x_13_21 < = 0.1
v_x_bottom_left_max_13_21: bottom_left_13_21 = 1 - > v_x_13_21 < = 0
v_y_bottom_left_min_13_21: bottom_left_13_21 v_y_13_21 < = 1 - > = 0
v_y_bottom_left_max_13_21: bottom_left_13_21 = 1 - > v_y_13_21 < = 0.1
v_x_bottom_right_min_13_21: bottom_right_13_21 v_x_13_21 < = 1 - > = 0
v_x_bottom_right_max_13_21: bottom_right_13_21 = 1 - > v_x_13_21 < = 0.1
v_y_bottom_right_min_13_21: bottom_right_13_21 v_y_13_21 < = 1 - > = 0
v_y_bottom_right_max_13_21: bottom_right_13_21 = 1 - > v_y_13_21 < = 0.1
v_x_top_left_min_13_23: top_left_13_23 = 1 - > - v_x_13_23 < = 0.1
v_x_top_left_max_13_23: top_left_13_23 = 1 - > v_x_13_23 < = 0
v_y_top_left_min_13_23: top_left_13_23 = 1 - > - v_y_13_23 < = 0.1
v_y_top_left_max_13_23: top_left_13_23 = 1 - > v_y_13_23 < = 0
v_x_top_right_min_13_23: top_right_13_23 v_x_13_23 < = 1 - > = 0
v_x_top_right_max_13_23: top_right_13_23 = 1 - > v_x_13_23 < = 0.1
v_y_top_right_min_13_23: top_right_13_23 = 1 - > - v_y_13_23 < = 0.1
v_y_top_right_max_13_23: top_right_13_23 = 1 - > v_y_13_23 < = 0
v_x_bottom_left_min_13_23: bottom_left_13_23 = 1 - > - v_x_13_23 < = 0.1
v_x_bottom_left_max_13_23: bottom_left_13_23 = 1 - > v_x_13_23 < = 0
v_y_bottom_left_min_13_23: bottom_left_13_23 v_y_13_23 < = 1 - > = 0
v_y_bottom_left_max_13_23: bottom_left_13_23 = 1 - > v_y_13_23 < = 0.1
v_x_bottom_right_min_13_23: bottom_right_13_23 v_x_13_23 < = 1 - > = 0
v_x_bottom_right_max_13_23: bottom_right_13_23 = 1 - > v_x_13_23 < = 0.1
v_y_bottom_right_min_13_23: bottom_right_13_23 v_y_13_23 < = 1 - > = 0
v_y_bottom_right_max_13_23: bottom_right_13_23 = 1 - > v_y_13_23 < = 0.1
v_x_13_22 top_left_min_v_x_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 - 0.0729411765933037 abs_v_x_13_22 pixel_13_22
< = -0.9960784316062927
v_x_13_22 top_left_max_v_x_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 + 0.0729411765933037 abs_v_x_13_22 pixel_13_22
> = -0.9960784316062927
v_x_13_22 top_left_min_v_y_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 - 0.0729411765933037 abs_v_y_13_22 pixel_13_22
< = -0.9960784316062927
v_x_13_22 top_left_max_v_y_13_22: top_left_13_22 = 1 - > 0.1176470518112183
- 0 v_y_13_22 + 0.0729411765933037 abs_v_y_13_22 pixel_13_22
> = -0.9960784316062927
top_right_min_v_x_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0545098036527634 abs_v_x_13_22 pixel_13_22 < =
top_right_max_v_x_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_x_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0545098036527634
top_right_min_v_y_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0545098036527634 abs_v_y_13_22 pixel_13_22 < =
top_right_max_v_y_13_22: top_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_y_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0545098036527634
bottom_left_min_v_x_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0117647051811218 abs_v_x_13_22 pixel_13_22 < =
bottom_left_max_v_x_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
abs_v_x_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0117647051811218
bottom_left_min_v_y_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.0117647051811218 abs_v_y_13_22 pixel_13_22 < =
bottom_left_max_v_y_13_22: bottom_left_13_22 = 1 - >
0.1176470518112183 v_x_13_22 - 0 v_y_13_22
abs_v_y_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.0117647051811218
bottom_right_min_v_x_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.024705882370472 abs_v_x_13_22 pixel_13_22 < =
bottom_right_max_v_x_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_x_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.024705882370472
bottom_right_min_v_y_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
-0.9960784316062927 - 0.024705882370472 abs_v_y_13_22 pixel_13_22 < =
bottom_right_max_v_y_13_22: bottom_right_13_22 = 1 - >
- 0.5450980365276337 v_x_13_22 - 0 v_y_13_22
abs_v_y_13_22 - pixel_13_22 > = -0.9960784316062927 + 0.024705882370472
v_x_12_22 top_left_min_v_x_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 - 0.0607843138277531 abs_v_x_12_22
——pixel_12_22 < = -0.8784313797950745
v_x_12_22 top_left_max_v_x_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 abs_v_x_12_22 + 0.0607843138277531
- pixel_12_22 > = -0.8784313797950745
v_x_12_22 top_left_min_v_y_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 - 0.0607843138277531 abs_v_y_12_22
——pixel_12_22 < = -0.8784313797950745
v_x_12_22 top_left_max_v_y_12_22: top_left_12_22 = 1 - > 0.7568627521395683
+ 0.7294117659330368 v_y_12_22 abs_v_y_12_22 + 0.0607843138277531
- pixel_12_22 > = -0.8784313797950745
top_right_min_v_x_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
-0.8784313797950745 - 0.0729411765933037 abs_v_x_12_22 pixel_12_22 < =
top_right_max_v_x_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
abs_v_x_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0729411765933037
top_right_min_v_y_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
-0.8784313797950745 - 0.0729411765933037 abs_v_y_12_22 pixel_12_22 < =
top_right_max_v_y_12_22: top_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.7294117659330368 v_y_12_22
abs_v_y_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0729411765933037
bottom_left_min_v_x_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0282352976500988 abs_v_x_12_22 pixel_12_22 < =
bottom_left_max_v_x_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_x_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0282352976500988
bottom_left_min_v_y_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0282352976500988 abs_v_y_12_22 pixel_12_22 < =
bottom_left_max_v_y_12_22: bottom_left_12_22 = 1 - >
0.7568627521395683 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_y_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0282352976500988
bottom_right_min_v_x_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0117647051811218 abs_v_x_12_22 pixel_12_22 < =
bottom_right_max_v_x_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_x_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0117647051811218
bottom_right_min_v_y_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
-0.8784313797950745 - 0.0117647051811218 abs_v_y_12_22 pixel_12_22 < =
bottom_right_max_v_y_12_22: bottom_right_12_22 = 1 - >
0.1176470518112183 v_x_12_22 + 0.1176470518112183 v_y_12_22
abs_v_y_12_22 - pixel_12_22 > = -0.8784313797950745 + 0.0117647051811218
top_left_min_v_x_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0545098036527634 abs_v_x_14_22 pixel_14_22 < =
top_left_max_v_x_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0545098036527634
top_left_min_v_y_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0545098036527634 abs_v_y_14_22 pixel_14_22 < =
top_left_max_v_y_14_22: top_left_14_22 = 1 - >
0.5450980365276337 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0545098036527634
top_right_min_v_x_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705880926922 abs_v_x_14_22 pixel_14_22 < =
top_right_max_v_x_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705880926922
top_right_min_v_y_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705880926922 abs_v_y_14_22 pixel_14_22 < =
top_right_max_v_y_14_22: top_right_14_22 = 1 - >
0.5450980365276337 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705880926922
bottom_left_min_v_x_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705882370472 abs_v_x_14_22 pixel_14_22 < =
bottom_left_max_v_x_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705882370472
bottom_left_min_v_y_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.024705882370472 abs_v_y_14_22 pixel_14_22 < =
bottom_left_max_v_y_14_22: bottom_left_14_22 = 1 - >
0.2470588237047195 - 0.5450980365276337 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.024705882370472
bottom_right_min_v_x_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0243137254845351 abs_v_x_14_22 pixel_14_22 < =
bottom_right_max_v_x_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_x_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0243137254845351
bottom_right_min_v_y_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
-0.4509803950786591 - 0.0243137254845351 abs_v_y_14_22 pixel_14_22 < =
bottom_right_max_v_y_14_22: bottom_right_14_22 = 1 - >
0.2470588237047195 - 0.4470588262192905 v_x_14_22 v_y_14_22
abs_v_y_14_22 - pixel_14_22 > = -0.4509803950786591 + 0.0243137254845351
v_x_13_21 top_left_min_v_x_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 - 0.00627450803294778 abs_v_x_13_21
——pixel_13_21 < = -0.9960784316062927
v_x_13_21 top_left_max_v_x_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 abs_v_x_13_21 + 0.00627450803294778
- pixel_13_21 > = -0.9960784316062927
v_x_13_21 top_left_min_v_y_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 - 0.00627450803294778 abs_v_y_13_21
——pixel_13_21 < = -0.9960784316062927
v_x_13_21 top_left_max_v_y_13_21: top_left_13_21 = 1 - > 0.8470588177442551
+ 0.199999988079071 v_y_13_21 abs_v_y_13_21 + 0.00627450803294778
- pixel_13_21 > = -0.9960784316062927
top_right_min_v_x_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 - 0.0199999988079071 abs_v_x_13_21
——pixel_13_21 < = -0.9960784316062927
top_right_max_v_x_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 abs_v_x_13_21 + 0.0199999988079071
- pixel_13_21 > = -0.9960784316062927
top_right_min_v_y_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 - 0.0199999988079071 abs_v_y_13_21
——pixel_13_21 < = -0.9960784316062927
top_right_max_v_y_13_21: top_right_13_21 = 1 - > 0 v_x_13_21
+ 0.199999988079071 v_y_13_21 abs_v_y_13_21 + 0.0199999988079071
- pixel_13_21 > = -0.9960784316062927
bottom_left_min_v_x_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
-0.9960784316062927 - 0.0729411765933037 abs_v_x_13_21 pixel_13_21 < =
bottom_left_max_v_x_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
abs_v_x_13_21 - pixel_13_21 > = -0.9960784316062927 + 0.0729411765933037
bottom_left_min_v_y_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
-0.9960784316062927 - 0.0729411765933037 abs_v_y_13_21 pixel_13_21 < =
bottom_left_max_v_y_13_21: bottom_left_13_21 = 1 - >
0.8470588177442551 v_x_13_21 - 0 v_y_13_21
abs_v_y_13_21 - pixel_13_21 > = -0.9960784316062927 + 0.0729411765933037
bottom_right_min_v_x_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 - 0.0545098036527634 abs_v_x_13_21 pixel_13_21
< = -0.9960784316062927
bottom_right_max_v_x_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 + 0.0545098036527634 abs_v_x_13_21 pixel_13_21
> = -0.9960784316062927
bottom_right_min_v_y_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 - 0.0545098036527634 abs_v_y_13_21 pixel_13_21
< = -0.9960784316062927
bottom_right_max_v_y_13_21: bottom_right_13_21 = 1 - > 0 v_x_13_21
- 0 v_y_13_21 + 0.0545098036527634 abs_v_y_13_21 pixel_13_21
> = -0.9960784316062927
top_left_min_v_x_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.0117647051811218 abs_v_x_13_23 pixel_13_23 < =
top_left_max_v_x_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
abs_v_x_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.0117647051811218
top_left_min_v_y_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.0117647051811218 abs_v_y_13_23 pixel_13_23 < =
top_left_max_v_y_13_23: top_left_13_23 = 1 - > - 0 v_x_13_23 - 0 v_y_13_23
abs_v_y_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.0117647051811218
top_right_min_v_x_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.024705882370472 abs_v_x_13_23 pixel_13_23 < =
top_right_max_v_x_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
abs_v_x_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.024705882370472
top_right_min_v_y_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
-0.9960784316062927 - 0.024705882370472 abs_v_y_13_23 pixel_13_23 < =
top_right_max_v_y_13_23: top_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 - 0 v_y_13_23
abs_v_y_13_23 - pixel_13_23 > = -0.9960784316062927 + 0.024705882370472
bottom_left_min_v_x_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_x_13_23 pixel_13_23 < = -0.9960784316062927
bottom_left_max_v_x_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_x_13_23 pixel_13_23 > = -0.9960784316062927
bottom_left_min_v_y_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_y_13_23 pixel_13_23 < = -0.9960784316062927
bottom_left_max_v_y_13_23: bottom_left_13_23 = 1 - > 0 v_x_13_23
- 0 v_y_13_23 - 0 abs_v_y_13_23 pixel_13_23 > = -0.9960784316062927
bottom_right_min_v_x_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_x_13_23 0 v_y_13_23 - 0
——pixel_13_23 < = -0.9960784316062927
bottom_right_max_v_x_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_x_13_23 0 v_y_13_23 - 0
- pixel_13_23 > = -0.9960784316062927
bottom_right_min_v_y_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_y_13_23 0 v_y_13_23 - 0
——pixel_13_23 < = -0.9960784316062927
bottom_right_max_v_y_13_23: bottom_right_13_23 = 1 - >
- 0.7921568602323532 v_x_13_23 abs_v_y_13_23 0 v_y_13_23 - 0
- pixel_13_23 > = -0.9960784316062927
界限
pixel_13_22 < = 1
-0.1 < = v_x_13_22 < = 0.1
-0.1 < = v_y_13_22 < = 0.1
pixel_12_22 < = 1
-0.1 < = v_x_12_22 < = 0.1
-0.1 < = v_y_12_22 < = 0.1
pixel_14_22 < = 1
-0.1 < = v_x_14_22 < = 0.1
-0.1 < = v_y_14_22 < = 0.1
pixel_13_21 < = 1
-0.1 < = v_x_13_21 < = 0.1
-0.1 < = v_y_13_21 < = 0.1
pixel_13_23 < = 1
-0.1 < = v_x_13_23 < = 0.1
-0.1 < = v_y_13_23 < = 0.1
二进制文件
top_left_13_22 top_right_13_22 bottom_left_13_22 bottom_right_13_22
top_left_12_22 top_right_12_22 bottom_left_12_22 bottom_right_12_22
top_left_14_22 top_right_14_22 bottom_left_14_22 bottom_right_14_22
top_left_13_21 top_right_13_21 bottom_left_13_21 bottom_right_13_21
top_left_13_23 top_right_13_23 bottom_left_13_23 bottom_right_13_23
一般的约束
abs_v_x_13_22: abs_v_x_13_22 = ABS (v_x_13_22)
abs_v_y_13_22: abs_v_y_13_22 = ABS (v_y_13_22)
abs_v_x_12_22: abs_v_x_12_22 = ABS (v_x_12_22)
abs_v_y_12_22: abs_v_y_12_22 = ABS (v_y_12_22)
abs_v_x_14_22: abs_v_x_14_22 = ABS (v_x_14_22)
abs_v_y_14_22: abs_v_y_14_22 = ABS (v_y_14_22)
abs_v_x_13_21: abs_v_x_13_21 = ABS (v_x_13_21)
abs_v_y_13_21: abs_v_y_13_21 = ABS (v_y_13_21)
abs_v_x_13_23: abs_v_x_13_23 = ABS (v_x_13_23)
abs_v_y_13_23: abs_v_y_13_23 = ABS (v_y_13_23)
结束