On nonintegral vertices of 3-SAT problem relaxation polytope

New facts characterizing the vertex set of 3-SAT problem relaxation polytope are established. In particular, the question of preservation of nonintegral vertices under additional linear constraints of stronger relaxations is examined.

Bibliographic Details
Main Author: A. V. Nikolaev
Format: Article
Language:English
Published: Yaroslavl State University 2010-06-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1031
_version_ 1797877931716902912
author A. V. Nikolaev
author_facet A. V. Nikolaev
author_sort A. V. Nikolaev
collection DOAJ
description New facts characterizing the vertex set of 3-SAT problem relaxation polytope are established. In particular, the question of preservation of nonintegral vertices under additional linear constraints of stronger relaxations is examined.
first_indexed 2024-04-10T02:25:47Z
format Article
id doaj.art-2695dbaa88984141b9320917b3c1adc0
institution Directory Open Access Journal
issn 1818-1015
2313-5417
language English
last_indexed 2024-04-10T02:25:47Z
publishDate 2010-06-01
publisher Yaroslavl State University
record_format Article
series Моделирование и анализ информационных систем
spelling doaj.art-2695dbaa88984141b9320917b3c1adc02023-03-13T08:07:31ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172010-06-0117299111772On nonintegral vertices of 3-SAT problem relaxation polytopeA. V. Nikolaev0Ярославский государственный университет им. П.Г. ДемидоваNew facts characterizing the vertex set of 3-SAT problem relaxation polytope are established. In particular, the question of preservation of nonintegral vertices under additional linear constraints of stronger relaxations is examined.https://www.mais-journal.ru/jour/article/view/1031комбинаторная оптимизациятеория сложностимногогранникиграничные комплексызадача линейного программирования
spellingShingle A. V. Nikolaev
On nonintegral vertices of 3-SAT problem relaxation polytope
Моделирование и анализ информационных систем
комбинаторная оптимизация
теория сложности
многогранники
граничные комплексы
задача линейного программирования
title On nonintegral vertices of 3-SAT problem relaxation polytope
title_full On nonintegral vertices of 3-SAT problem relaxation polytope
title_fullStr On nonintegral vertices of 3-SAT problem relaxation polytope
title_full_unstemmed On nonintegral vertices of 3-SAT problem relaxation polytope
title_short On nonintegral vertices of 3-SAT problem relaxation polytope
title_sort on nonintegral vertices of 3 sat problem relaxation polytope
topic комбинаторная оптимизация
теория сложности
многогранники
граничные комплексы
задача линейного программирования
url https://www.mais-journal.ru/jour/article/view/1031
work_keys_str_mv AT avnikolaev onnonintegralverticesof3satproblemrelaxationpolytope