Аннотация:
Препринт посвящен исследованию неравенств между выпуклыми, вогнутыми и полилинейными продолжениями булевых функций. В результате исследования доказано, что для заданной произвольной булевой функции от n переменных, во-первых, любое её выпуклое продолжение на n-мерный единичный куб не превосходит ее полилинейного продолжения на n-мерный единичный куб и, во-вторых, её полилинейное продолжение на n-мерный единичный куб не превосходит ни одного её вогнутого продолжения на n-мерный единичный куб. Доказано также, что равенство в этой последовательности неравенств может быть достигнуто тогда и только тогда, когда число существенных переменных заданной булевой функции не более одной. Полученный результат может быть использован при преобразовании систем булевых уравнений к задаче численной оптимизации и последующем поиске их решений.
Ключевые слова:выпуклое продолжение булевой функции, вогнутое продолжение булевой функции, полилинейное продолжение булевой функции,
неравенство.