Сведение с применением «регуляторов»: задача выполнимости

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

<< | >>
Источник: Дж. Клейнберг, Е. Тардос. Алгоритмы: разработка и применение. Классика Computers Science. 2016

Еще по теме Сведение с применением «регуляторов»: задача выполнимости:

  1. 3.1. Понятие, система, задачи, правовые основы применения средств криминалистической техники
  2. Статья 422. Разглашение сведений военного характера, составляющих государственную тайну, или потеря документов или материалов, содержащих такие сведения
  3. 16.3. Перечни сведений, составляющих государственную тайну, и сведения, которые не могут относиться к государственной тайне
  4. РЕГУЛЯТОР НЕОСОЗНАВАЕМЫЙ
  5. РЕГУЛЯТОР
  6. Право как регулятор поведения.
  7. Тема 11 Об'єктивне юридичне право та інші соціальні регулятори
  8. Статья 158. Фальсификация избирательных документов, документов референдума или фальсификация итогов голосования, предоставление ложных сведений в органов Государственного реестра избирателей или фальсификация сведений Государственного реестра избирателей
  9. Наилучшим регулятором продолжительности разрядки являются ваши ощущения: избавляйтесь от негативной энергии столько времени, сколько заблагорассудится.
  10. ЗАДАЧИ ОБЩИЕ И ЗАДАЧИ СПЕЦИАЛЬНЫЕ