RUS  ENG
Полная версия
ЖУРНАЛЫ // Препринты Института прикладной математики им. М. В. Келдыша РАН // Архив

Препринты ИПМ им. М. В. Келдыша, 2024, 030, 13 стр. (Mi ipmp3240)

О неравенствах между выпуклыми, вогнутыми и полилинейными продолжениями булевых функций

Д. Н. Баротов, В. А. Судаков


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

Ключевые слова: выпуклое продолжение булевой функции, вогнутое продолжение булевой функции, полилинейное продолжение булевой функции, неравенство.

DOI: 10.20948/prepr-2024-30



© МИАН, 2024