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

No Thumbnail Available
Date
2003
Authors
Տոնոյան, Գագիկ Պետրոսի / Tonoyan Gagik
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
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
Description
Ա.01.09 - «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2003 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Վ. Կ. Լեոնտև ; Պաշտոնական ընդդիմախոսներ՝ Ա. Ա. Ալեքսանյան, Խ. Ա. Մադաթյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 15 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics
Citation