Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/14608| Заглавие документа: | О двух проблемах, основанных на проблеме выполнимости |
| Авторы: | Мощенский, Д. А. Мощенский, Д. В. |
| Тема: | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика |
| Дата публикации: | сен-2007 |
| Издатель: | БГУ |
| Библиографическое описание источника: | Вестник Белорусского государственного университета. Сер. 1, Физика. Математика. Информатика. – 2007. - № 3. - С.118-120 |
| Аннотация: | Two new problems are defined: a problem of complete satisfiability and a problem of recognition satisfiability. Lower and upper bound of its time complexities arc proven. Определяются проблемы полной выполнимости и распознавание выполнимости, устанавливается связь между ними и проблемой выполнимости. Доказываются нижние и верхние оценки временной сложности их вычислений. |
| URI документа: | http://elib.bsu.by/handle/123456789/14608 |
| ISSN: | 0321-0367 |
| Лицензия: | info:eu-repo/semantics/openAccess |
| Располагается в коллекциях: | 2007, №3 (сентябрь) Статьи факультета прикладной математики и информатики |
Полный текст документа:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 118-120.pdf | 360,17 kB | Adobe PDF | Открыть |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.