Алгоритм проверки булевой функции на монотонность (С++)

25.10.2016, 23:35. Показов 4553. Ответов 0

Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
5
6
7
8
9
bool isMonotone(bool (*f)(int), int n)//n - число аргументов, аргументы задаются одним интом
{
    int p = 1 << n;
    for(int i = 0; i < p-1; i++)
        for(int j = i+1; j < p; j++)
            if((i & j) == i && f(i) > f(j)) // i является подмаской j и нарушается монотонность
                return false;
    return true;
}

Отыскал алгоритм в сети, к сожалению только на С++. Сам языком не владею даже на минимальном уровне. Опишите пожалуйста данный алгоритм на великом и могучем. (Ну или по возможности описать иной рабочий алгоритм =) ). Буду очень признателен.

Добавлено через 15 минут
https://www.cyberforum.ru/atta... 1429530163
Возможно здесь описан более правильный алгоритм.

Programming

Эксперт

39485 / 9562 / 3019

Регистрация: 12.04.2006

Сообщений: 41,671

Блог

25.10.2016, 23:35

Ответы с готовыми решениями:

Проверка булевой функции на монотонность
Надо проверить является ли булева функция монотонной. Она задается вектором своих значений Как проверить на монотонность? (т.е....

Проверка булевой функции на монотонность.
Булева ф-я задана вектором своих значений (битвектором длины 2^(число аргументов ф-и)). Они идут по порядку, т.е. в 0-й ячейке будет...

Алгоритм проверки для функции, имеющей необязательные параметры
Добрый день! В случае отсутствия или передачи из 3-х необязательных аргументов 2-х, 3-х или 1 по выбору пользователя, являющимся...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

inter-admin

Эксперт

29715 / 6470 / 2152

Регистрация: 06.03.2009

Сообщений: 28,500

Блог

25.10.2016, 23:35

Помогаю со студенческими работами здесь

Монотонность функции
выяснить есть ли булевая функция монотонной !

Проверка функции на монотонность
Доброго времени суток. Мне нужно срочно решить следующую задачу для друга разгильдяя : x->(x->y) Заранее благодарю. ...

Булевы функции. Монотонность
Задание 1. У меня такая же функция как и там, только x с инверсией.

Строгая монотонность строго выпуклой функции
Верно ли, что строго выпуклая функция - строго монотонна. Графически данное утверждение видется верным, но точного доказательства не...

Проверить самодвойственность, монотонность и линейность логической функции
Помогите выполнить ((x\oplus y)\rightarrow \bar{x})\rightarrow \bar{(\bar{x}\rightarrow (y\sim \bar{x}))} Добавлено через 47...

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .

Наверх