Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
Չուբարյան Ա. Ա., Ազիզյան Հ. Ս., Chubaryan A. A., Azizyan H. S.
Վերնագիր:
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
Այլ վերնագիր:
Ասույթային հաշվի երկու համակարգերում բալանսավորված բանաձևերի արտածումների բարդությունների վերաբերյալ ; On Proof Complexities of Balanced Formulas in Two Propositional Proof Systems
Ստեղծողը:
Чубарян, А. А. ; Азизян, А. С.
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Խորագիր:
Չվերահսկվող բանալի բառեր:
балансированные формулы ; дерево расщеплений ; определяющий конъюнкт ; сложности выводов
Ծածկույթ:
Ամփոփում:
Для одного класса балансированных формул исследованы минимальные значения количества шагов и длины выводов в двух пропозициональных системах: системе ОР, основанной на обобщённом методе расщепления, и системе Е, основанной на определяющей дизъюнктивной нормальной форме. Для всех четырех исследуемых величин получены одинаковые по порядку (по логарифмической шкале) верхние и нижние оценки. Ասույթային հաշվի երկու՝ ընդհանրացված տրոհման մեթոդի վրա հիմնված ОР և որոշիչ դիզյունկտիվ ձևի վրա հիմնված Е համակարգերում ուսումնասիրվել են բալանսավորված բանաձևերի մի դասի համար արտածումների քայլերի քանակի և երկարության նվազագույն արժեքները: Բոլոր չորս ուսումնասիրված մեծությունների համար ստացվել են լոգարիթմական սանդղակով միևնույն կարգի վերին և ստորին գնահատականներ:
In this paper the minimal number of proof steps and proof sizes for some class of balanced formulas are investigated in two propositional proof systems: system OP, based on the generalization of splitting method, and system E, based on the determinative disjunctive normal form. The same by order (according logarithmic scale) the upper and lower bounds are obtained for all four investigated quantities.
Հրատարակության վայրը:
Երևան
Հրատարակիչ:
Տեսակ:
Ձևաչափ:
Նույնացուցիչ:
կապին հետեւելուն համար սեղմէ հոս
Դասիչ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան