Standard

Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики. / Косовский, Н.К.; Косовская, Т.М.

в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ, Том 1(59), № 2, 2014, стр. 192-195.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Косовский, НК & Косовская, ТМ 2014, 'Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики', ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ, Том. 1(59), № 2, стр. 192-195. <http://elibrary.ru/item.asp?id=21701149>

APA

Косовский, Н. К., & Косовская, Т. М. (2014). Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики. ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ, 1(59)(2), 192-195. http://elibrary.ru/item.asp?id=21701149

Vancouver

Косовский НК, Косовская ТМ. Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики. ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 2014;1(59)(2):192-195.

Author

Косовский, Н.К. ; Косовская, Т.М. / Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики. в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 2014 ; Том 1(59), № 2. стр. 192-195.

BibTeX

@article{93bf0182826948e1ab151fa6d6497ecc,
title = "Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики",
abstract = "Вводится скобочнойая характеристика пропозициональной формулы в базисе из отрицания, многократных конъюнкций, многократных дизъюнкций и многократных эквивалентностей. Доказывается, что задачи проверки выполнимости пропозициональной формулы с любой заранее заданной скобочной характеристикой принадлежат классу {\bf P}. Тем самым получается новое иерархическое разбиение исходной NP-полной задачи выполнимости на подзадачи из класса {\bf P}. При этом каждая задача из иерархии допускает бесконечное множество исходных данных.",
keywords = "пропозициональная формула, выполнимость пропозициональной формулы, класс {\bf P}.",
author = "Н.К. Косовский and Т.М. Косовская",
year = "2014",
language = "русский",
volume = "1(59)",
pages = "192--195",
journal = "ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ",
issn = "1025-3106",
publisher = "Издательство Санкт-Петербургского университета",
number = "2",

}

RIS

TY - JOUR

T1 - Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики

AU - Косовский, Н.К.

AU - Косовская, Т.М.

PY - 2014

Y1 - 2014

N2 - Вводится скобочнойая характеристика пропозициональной формулы в базисе из отрицания, многократных конъюнкций, многократных дизъюнкций и многократных эквивалентностей. Доказывается, что задачи проверки выполнимости пропозициональной формулы с любой заранее заданной скобочной характеристикой принадлежат классу {\bf P}. Тем самым получается новое иерархическое разбиение исходной NP-полной задачи выполнимости на подзадачи из класса {\bf P}. При этом каждая задача из иерархии допускает бесконечное множество исходных данных.

AB - Вводится скобочнойая характеристика пропозициональной формулы в базисе из отрицания, многократных конъюнкций, многократных дизъюнкций и многократных эквивалентностей. Доказывается, что задачи проверки выполнимости пропозициональной формулы с любой заранее заданной скобочной характеристикой принадлежат классу {\bf P}. Тем самым получается новое иерархическое разбиение исходной NP-полной задачи выполнимости на подзадачи из класса {\bf P}. При этом каждая задача из иерархии допускает бесконечное множество исходных данных.

KW - пропозициональная формула

KW - выполнимость пропозициональной формулы

KW - класс {\bf P}.

M3 - статья

VL - 1(59)

SP - 192

EP - 195

JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

SN - 1025-3106

IS - 2

ER -

ID: 5719914