The Predictor in action
x0 - no changes
x1 - no changes
x2 - row pairs, set
(0,1) {x0, x3}
(0,2) {x1}
(1,4) {x0}
(2,4) {x1, x3}
hitting set Smin = {x0, x1}
x3 - see paper
UPR High Performance Computing facility - PO Box 23334 - San Juan PR 00931-3334
E-mail : humberto@hpcf.upr.edu - Telephone : (787) 758-3054 - Fax : (787) 758-3058
- 12 -
![[Previous]](../images/prev.png){kind=small}
![[Next]](../images/next.png){kind=small}
UPR High Performance Computing facility - PO Box 23334 - San Juan PR 00931-3334
x0 - no changes
(0,1) {x0, x3}