Error
There was an error loading the page.
Metadata
-
England schools
-
England university
-
Scotland schools
Taxonomy: mathcentre
Taxonomy: Kind of activity
Taxonomy: Context
Contributors
History
Musa Mammadov 1 year, 9 months ago
Published this.Julien Ugon was given access to the SIT316-Constraint Programming - Q4 1 year, 9 months ago
Musa Mammadov 3 years, 8 months ago
Created this as a copy of SIT316-Constraint Programming - Q3.There are 88 other versions that do you not have access to.
Name | Type | Generated Value |
---|
a1 | integer |
-2
|
||||
k1 | integer |
1
|
||||
b1 | integer |
-2
|
||||
k2 | integer |
2
|
||||
c1 | integer |
3
|
||||
c2 | integer |
-2
|
||||
k3 | integer |
4
|
||||
kk | integer |
4
|
||||
kk1 | integer |
9
|
||||
x1 | integer |
-2
|
Name | Type | Generated Value |
---|
Generated value: integer
This variable doesn't seem to be used anywhere.
Parts
-
Gap-fill
-
Gap
Gap 0.
Mathematical expression
-
Gap
Gap 1.
Mathematical expression
-
Gap
Gap 2.
Mathematical expression
-
Gap
Gap 3.
Mathematical expression
-
Gap
Gap 4.
Mathematical expression
-
Gap
Gap 5.
Choose one from a list
-
Gap
Gap 6.
Number entry
-
Gap
Gap 7.
Mathematical expression
-
Gap
Gap 8.
Mathematical expression
-
Gap
Gap 0.
Mathematical expression
Gap-fill
Ask the student a question, and give any hints about how they should answer this part.
Is the following constraint satisfiable?
({{a1}X+Y={k1}}) ∧ ({{b1}Y+Z={k2}}) ∧ ({{c1}Y+{c2}Z}>{k3})
Step 1: Isolate Y in the first primitive:
Y=
Step 2: Propagate:
(Y=
Step 3: Isolate Z in the second primitive:
Z=
Step 4: Propagate:
(Y=
Step 5-Conclusion: We find that given constraint is satisfied for any number
X
and Y=
Use this tab to check that this question works as expected.
Part | Test | Passed? |
---|---|---|
Gap-fill | ||
Hasn't run yet | ||
Mathematical expression | ||
Hasn't run yet | ||
Mathematical expression | ||
Hasn't run yet | ||
Mathematical expression | ||
Hasn't run yet | ||
Mathematical expression | ||
Hasn't run yet | ||
Mathematical expression | ||
Hasn't run yet | ||
Choose one from a list | ||
Hasn't run yet | ||
Number entry | ||
Hasn't run yet | ||
Mathematical expression | ||
Hasn't run yet | ||
Mathematical expression | ||
Hasn't run yet |
This question is used in the following exams: