Systems of Boolean equations are considered. The order of maximal consistent subsystems is estimated in the general and “typical” (in a probability sense) cases. Applications for several well-known discrete problems are given.
机构:
Moscow MV Lomonosov State Univ, Fac Computat Math & Cybernet, Moscow 119992, RussiaMoscow MV Lomonosov State Univ, Fac Computat Math & Cybernet, Moscow 119992, Russia