Switch Case
Сообщества (374)
Promt Translation Server
Теоретическая информатика
8 918
Аддитивная аппроксимационная сложность связи для внутреннего продукта
Почему это загадка, если PSPACE? = EXPTIME?
Построить NFA для следующего языка
сетевой поток и проблема с несколькими товарными потоками в прямом потоке по нескольким путям?
Алгебра классов сложности
Разрешимость вывода типа и проверки типов в MLTT
Как переставить двоичную строку, чтобы минимизировать расстояние между ними?
NP полнота гамильтонова цикла для семейства * двойственных графов * для плоских, кубических, тройных связных графов?
какое единственное слово по причине того, что у вас нет доступа к компьютерным программам для оператора компьютера?
Речь идет о краже данных
Режим работы 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?
Ошибка в документе «Некоторые NP-полные геометрические проблемы»?
Есть ли полезное понятие о том, чтобы быть «приблизительно вычислимым»,
Нижняя граница для изменения списка с использованием очередей
Примеры нетривиальных недискриминационных функций
Поиск набора, который доминирует над минимальным доминирующим набором
Путаница в отношении формального определения последовательности PRAM
Теоремы для непланарных графов
Как вы можете перейти от максимальной клики к доминирующему множеству в полиномиальное время?
Полезно ли регулярно читать документы за пределами вашей области?
Разделение мультимножества на два мультимножества с равными средними значениями NP-complete?
ro
nl
ja
fr
es
pt
de
zh
hi
bn
ar
kk
uz
be
tr
uk
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
...
357
cstheory
источник
licensed under
cc by-sa 3.0
with attribution