Setning 1: Þeir sýndu að AltMinComplete algoritmi getur endurheimt Formúlu 9 í ósamræmdum skrefum með því að fylgjast með Formúlu 203 handahóflegum færslum Formúlu 206 - Matrix Formúlu 9. Setning 2: Þeir sýndu að með því að fylgjast með formúlu _ 203 handahóflegum færslum af formúlu _ 206 mátriði formúlu _ 9, getur AltMinComplete vélfræði endurheimt formúlu _ 9 í ósamræmdum skrefum. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Já, það er.