Բուլյան հավասարումների համակարգերի մոտավոր լուծումներ / Approximate solutions of systems of boolean equations
Բուլյան հավասարումների համակարգերի մոտավոր լուծումներ / Approximate solutions of systems of boolean equations
| dc.contributor.author | Տոնոյան, Գագիկ Պետրոսի / Tonoyan Gagik | |
| dc.date.accessioned | 2023-04-01T10:00:57Z | |
| dc.date.available | 2023-04-01T10:00:57Z | |
| dc.date.issued | 2003 | |
| dc.description | Ա.01.09 - «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2003 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Վ. Կ. Լեոնտև ; Պաշտոնական ընդդիմախոսներ՝ Ա. Ա. Ալեքսանյան, Խ. Ա. Մադաթյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 15 էջ։ | |
| dc.description.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 | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/2815 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 15 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Բուլյան հավասարումների համակարգերի մոտավոր լուծումներ / Approximate solutions of systems of boolean equations | |
| dc.type | Abstract | |
| eperson.lastname | NT |