Analysis To do the analysis,assume we have a satisfying assignment in mind,call it solution -Of course,we do not know if a satisfying assignment exists when we run the algorithm we do this for the analysis only We compare the current assignment with the solution And record the number of variables that are assigned to the same T/F value in both (current and solution) assignmentsAnalysis • To do the analysis, assume we have a satisfying assignment in mind, call it solution – Of course, we do not know if a satisfying assignment exists when we run the algorithm – we do this for the analysis only • We compare the current assignment with the solution • And record the number of variables that are assigned to the same T/F value in both (current and solution) assignments