Review set
Turning logical conditions into linear constraints
Selection, exclusion, implication and fixed charges, arriving in situations described in prose rather than as named patterns. Writing the constraint is quick once the pattern is named; noticing that a sentence is an implication, and that a written constraint forbids nothing, is what needs practice.
What this involves
Retrieval after a delay, which is what makes knowledge durable.
Answers here count towards what the system knows about your skills.
What this covers
- Express logical conditions with binary variables
Given a situation containing yes-or-no decisions and conditions relating them, the learner can define binary variables with stated meanings, write linear constraints expressing selection counts, implications and links between decisions and quantities, choose a defensible bound for a linking constraint, and verify that each constraint forbids what it is meant to forbid.