Электронная библиотека (репозиторий) Томского государственного университета
булевы формулы

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • 1
  • »
Sort:
 Add All Items to Quick Collection
Source: Прикладная дискретная математика. 2020. № 47. С. 101-107
Type: статьи в журналах
Date: 2020
Description: Генерический подход к алгоритмическим проблемам предложен Каповичем, Мясниковым, Шуппом и Шпильрайном в 2003 г. В рамках этого подхода алгоритмическая проблема рассматривается не на всём множестве вхо ... More
Source: Прикладная дискретная математика. 2017. № 36. С. 106-112
Type: статьи в журналах
Date: 2017
Description: Вводится понятие полиномиальной генерической сводимости алгоритмических проблем, которое сохраняет свойство разрешимости проблемы для почти всех входов и обладает свойством транзитивности и рефлексивн ... More
  • «
  • 1
  • »
^