Բուլյան հավասարումների համակարգերի մոտավոր լուծումներ / Approximate solutions of systems of boolean equations

Abstract

Դիսկրետ մաթեմատիկայի շատ խնդիրներ, ընդ որում նաև այնպիսիները, որոնք սկզբունքորեն համարվում են բարդ, բերվում են բուլյան հավասարումների համակարգերի լուծմանը կամ այդ համակարգերի համատեղության ստուգմանը: Հավանաբար, ընդհանուր դեպքում այդ խնդիրների լուծման համար արդյունավետ ալգորիթմներ գոյություն չունեն: Այդ պատճառով հաճախ հարկ է լինում դիտարկել բուլյան հավասարումների համակարգերի որոշակի դասեր և օգտագործելով այդ դասերի առանձնահատկությունները, հետազոտել դիտարկվող համակարգերը / Some classes of Boolean equations' systems are considered in the work The following results have been obtained: It has been proved that the problem of verification of compatibility of Boolean equations systems, in the case when the left part ofeach equation of the system is product of two linear Boolean functions, is an NP-complete problem