Теоретическая информатика 8 918
Аддитивная аппроксимационная сложность связи для внутреннего продукта
добавлено 28 Август 2018 в 07:45 автор , Теоретическая информатика
Почему это загадка, если PSPACE? = EXPTIME?
Построить NFA для следующего языка
добавлено 27 Август 2018 в 10:33 автор , Теоретическая информатика
сетевой поток и проблема с несколькими товарными потоками в прямом потоке по нескольким путям?
добавлено 27 Август 2018 в 01:01 автор , Теоретическая информатика
Алгебра классов сложности
Разрешимость вывода типа и проверки типов в MLTT
Как переставить двоичную строку, чтобы минимизировать расстояние между ними?
добавлено 26 Август 2018 в 08:28 автор , Теоретическая информатика
NP полнота гамильтонова цикла для семейства * двойственных графов * для плоских, кубических, тройных связных графов?
какое единственное слово по причине того, что у вас нет доступа к компьютерным программам для оператора компьютера?
добавлено 25 Август 2018 в 07:39 автор , Теоретическая информатика
Речь идет о краже данных
добавлено 25 Август 2018 в 08:20 автор , Теоретическая информатика
Режим работы GCM с долгосрочными ключами
Определяется ли связность графиков в экзистенциальном MSO с вершинами и ребрами?
Как работает алгоритм для языка A = $ \ {0 ^ {k} 1 ^ {k} | k> 0 \} $?
Существует ли алгоритм полиномиального времени, чтобы определить, является ли уравнение следствием (x + y) * (y + z) = (x * y) + (y * z)?
Может det. $ k $ -конвертерная машина ($ k \ geq 2 $) моделируется det. $ k '$ - счетчик с использованием не $ \ epsilon $ -moves, за которым следует $ \ epsilon $ -moves?
добавлено 23 Август 2018 в 04:56 автор , Теоретическая информатика
Ошибка в документе «Некоторые NP-полные геометрические проблемы»?
добавлено 23 Август 2018 в 12:34 автор , Теоретическая информатика
Есть ли полезное понятие о том, чтобы быть «приблизительно вычислимым»,
Нижняя граница для изменения списка с использованием очередей
Примеры нетривиальных недискриминационных функций
добавлено 22 Август 2018 в 05:10 автор , Теоретическая информатика
Поиск набора, который доминирует над минимальным доминирующим набором
Путаница в отношении формального определения последовательности PRAM
Теоремы для непланарных графов
добавлено 20 Август 2018 в 08:49 автор , Теоретическая информатика
Как вы можете перейти от максимальной клики к доминирующему множеству в полиномиальное время?
добавлено 20 Август 2018 в 10:15 автор , Теоретическая информатика
Полезно ли регулярно читать документы за пределами вашей области?
добавлено 20 Август 2018 в 10:02 автор , Теоретическая информатика
Разделение мультимножества на два мультимножества с равными средними значениями NP-complete?
добавлено 20 Август 2018 в 05:52 автор , Теоретическая информатика