Algorithm 在解决约束问题时需要帮助（第二）

我已经解决了以下约束处理任务。你能核实一下它是否正确吗

One of the prisoners of a high-level security prison sees a way to escape. Almost
free, he reaches a corridor of 20 meters long, guarded by 5 cameras, behind
which is the exit. In Figure 3, we provide a schematic overview of the corridor.

这是我的解决方案，希望你们帮我检查我哪里做错了：

***MY VARIABLES***

Name: T, domain: 0..10                 // T = the time from 0 to 10 seconds  

Name: P, domain: 0..3                   // P = Prisoner can move 0, 1, 2, 3 meters

Name: C1, domain: 2                     // C1 = camera 1

Name: C2, domain: 4                     // C2 = camera 2

Name: C3, domain: 9                       // C3 = camera 3

Name: C4, domain: 12                      // C4 = camera 14

Name: C5, domain: 17                      // C5 = camera 5

Name: View1, domain: -1..5                // camera1 view

Name: View2, domain: 1..7                   // camera2 view

Name: View3, domain: 6..12                 // camera3 view

Name: View4, domain: 9..15                 // camera4 view

Name: View5, domain: 14..20                // camera5 view

我的约束
我以这样一种方式声明了这些约束：当时间为偶数时，摄像机的视图每次都交替地改变，但当时间为偶数时，只有囚犯才能移动

 Constraint: (T=0/\View1=(C1+3)/\View2=(C2+3)/\View3=(C3+3)/\View4=(C4+3)/\View5=(C5+3)/\P(i)), range: i>-1
    Constraint: (T=1/\P(i)), range: i>0
    Constraint: (T=2/\View1=(C1-3)/\View2=(C2-3)/\View3=(C3-3)/\View4=(C4-3)/\View5=(C5-3)/\P(i)), range: i>-1
    Constraint: (T=3/\P(i)), range: i>0
    Constraint: (T=4/\View1=(C1+3)/\View2=(C2+3)/\View3=(C3+3)/\View4=(C4+3)/\View5=(C5+3)/\P(i)), range: i>-1
    Constraint: (T=5/\P(i)), range: i>0
    Constraint: (T=6/\View1=(C1-3)/\View2=(C2-3)/\View3=(C3-3)/\View4=(C4-3)/\View5=(C5-3)/\P(i)), range: i>-1
    Constraint: (T=7/\P(i)), range: i>0
    Constraint: (T=8/\View1=(C1+3)/\View2=(C2+3)/\View3=(C3+3)/\View4=(C4+3)/\View5=(C5+3)/\P(i)), range: i>-1
    Constraint: (T=9/\P(i)), range: i>0
    Constraint: (T=10/\View1=(C1-3)/\View2=(C2-3)/\View3=(C3-3)/\View4=(C4-3)/\View5=(C5-3)/\P(i)), range: i>-1

伙计们，我知道我做错了什么，帮我纠正一下

谢谢你的帮助。我昨天发布了一个类似的问题，所以如果您想知道变量和约束的语法，那么下面是链接：

---

感谢您的帮助

您忘记了相机看不到自己：“相机只能看到3米，看不到自己的位置”。因此，View1、View2。。。应修改视图5

Als，囚犯的位置需要一个变量（只有一个变量用于囚犯的移动）

---

我正在寻找其他错误。

谢谢您的回复，希望您能找到其他错误。

 Constraint: (T=0/\View1=(C1+3)/\View2=(C2+3)/\View3=(C3+3)/\View4=(C4+3)/\View5=(C5+3)/\P(i)), range: i>-1
    Constraint: (T=1/\P(i)), range: i>0
    Constraint: (T=2/\View1=(C1-3)/\View2=(C2-3)/\View3=(C3-3)/\View4=(C4-3)/\View5=(C5-3)/\P(i)), range: i>-1
    Constraint: (T=3/\P(i)), range: i>0
    Constraint: (T=4/\View1=(C1+3)/\View2=(C2+3)/\View3=(C3+3)/\View4=(C4+3)/\View5=(C5+3)/\P(i)), range: i>-1
    Constraint: (T=5/\P(i)), range: i>0
    Constraint: (T=6/\View1=(C1-3)/\View2=(C2-3)/\View3=(C3-3)/\View4=(C4-3)/\View5=(C5-3)/\P(i)), range: i>-1
    Constraint: (T=7/\P(i)), range: i>0
    Constraint: (T=8/\View1=(C1+3)/\View2=(C2+3)/\View3=(C3+3)/\View4=(C4+3)/\View5=(C5+3)/\P(i)), range: i>-1
    Constraint: (T=9/\P(i)), range: i>0
    Constraint: (T=10/\View1=(C1-3)/\View2=(C2-3)/\View3=(C3-3)/\View4=(C4-3)/\View5=(C5-3)/\P(i)), range: i>-1