Вопросы по теме 'computation-theory'

Существует ли алгоритм полиномиального времени для проверки того, является ли показатель степени некоторого числа?
Просто изучите известную статью PRIMES is in P и запутаетесь. Первый шаг предлагаемого алгоритма — If (n=a^b for nature number a and b>1), output COMPOSITE. Поскольку весь алгоритм работает за полиномиальное время, этот шаг также должен...
1702 просмотров
schedule 17.04.2024

Тьюринг во время компиляции C # 4.0 завершен?
Хорошо известно, что шаблоны C ++ являются полными по Тьюрингу , CSS является полным по Тьюрингу (!) и что Разрешение перегрузки C # NP-сложно (даже без дженериков). Но завершен ли Тьюринг во время компиляции C # 4.0 (с ко /...
1951 просмотров

Выгодно ли включать неявные ограничения при вычислении логической выполнимости?
Допустим, у вас есть логическая функция, которая принимает два числа (в двоичном формате) и возвращает значение true, если они равны шестнадцати: 01000 + 01000 = 10000 8 + 8 = 16 -> true 00110 + 01000 = 01110 6 + 8 = 14...
116 просмотров

Преобразование в нормальную форму Хомского, устранение эпсилон
У меня есть следующее правило CFG: С -> БСА | эпсилон А -> абС | а | с Б -> БАК | б | эпсилон С -> акк | АБ | эпсилон Я нахожусь на этапе устранения эпсилон алгоритма, я устранил следующие эпсилоны C -> эпсилон, B -> эпсилон, и...
1618 просмотров

Путь с максимальным весом в ориентированном графе
У меня вопрос по этой проблеме: Пусть c1, c2, ..., cn - n разных валют. За 1 доллар в валюте ci можно купить w_ij> 0 долларов в валюте cj . Учитывая все обменные курсы wij , мы хотим найти лучший способ купить валюту cn , начиная с...
1722 просмотров