. . "F_N[ ][ ] associates an integer value to each pair (p,A) where p is a condition node in G and A is an attribute node in G. F_N[p][A]=0 indicates that the attribute A is false-necessary for the condition node p." . .