Информатика

Я хочу преобразовать введенное пользователем регулярное выражение в NFA, чтобы потом можно было запускать NFA для строки для сопоставления. Какой минимальный компьютер можно использовать для разбора регулярных выражений? Я предполагаю, что это должен быть автомат с принудительной передачей, потому что наличие скобок означает необходимость подсчета, а DFA / NFA не …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Учитывая распределение степеней, как быстро мы можем построить график, который следует заданному распределению степеней? Ссылка или эскиз алгоритма были бы хорошими. Алгоритм должен сообщать «нет», если граф не может быть построен, и любой один пример, если можно построить несколько графов.

12 algorithms  graphs  graph-theory 

Что означает класс сложности ? Я знаю , что ⊕ P есть класс сложности , который содержит языки А , для которых существует многочлен времени недетерминирован машина Тьюринга M такая , что х ∈ тогда и только тогда число принимающих состояний машины М на входе х нечетно.⊕ P⊕ P⊕P⊕P\oplus P^{\oplus …

12 complexity-theory  terminology  complexity-classes 

Как доказать, что ? Я просто ищу такого оракула TM M и рекурсивный язык L ( M ) = L, для которого это верно.Н ПA≠ c o N PANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMMЛ ( М) = LL(M)=LL(M) = L Я знаю , что доказательство , где вы показываете , что существует оракул …

12 complexity-theory  relativization 

Существуют ли неразрешимые языки, так что их язык объединения / пересечения / сцепления является разрешимым? Какова физическая интерпретация такого примера, потому что в целом неразрешимые языки не закрыты под этими операциями? Что мы можем сказать о закрытии клини? У нас тоже есть примеры для этого? Т.е. может ли быть решено …

12 formal-languages  undecidability  closure-properties 

Другими словами, какие преимущества имеет гибридная многопоточность по сравнению с 1: 1 (только для ядра) и N: 1 (только для пользователя)? Это продолжение к тому, В чем разница между потоками уровня пользователя и потоками уровня ядра?

12 operating-systems  concurrency  os-kernel 

Алгоритм Кодда преобразует выражение в корреляционном исчислении в реляционную алгебру. Есть ли стандартная реализация алгоритма? Этот алгоритм используется где-нибудь? (Похоже, что отрасли нужны только SQL и варианты, я не уверен насчет теоретиков баз данных в академических кругах.) Какова сложность сокращения? Это было опубликовано на SO более года назад, но не …

12 algorithms  database-theory 

Как пароль, который мы вводим (для подключения к беспроводной сети), шифрует данные в беспроводной сети? Из-за моего чтения я не уверен, совпадает ли пароль, который мы вводим, с парольной фразой. Если это правильно, то как парольная фраза может генерировать четыре ключа WEP? Я понимаю, как четыре ключа работают в WEP …

12 cryptography  computer-networks  encryption  security 

Направленный граф называется унипатическим, если для любых двух вершин и в графе существует не более одного простого пути из в .uuuvvvG=(V,E)G=(V,E)G=(V,E)uuuvvv Предположим, мне дан унипатический граф такой, что каждое ребро имеет положительный или отрицательный вес, но не содержит циклов отрицательного веса.GGG Отсюда я хочу найти алгоритм , который находит все …

12 algorithms  graphs 

Я наткнулся на этот рисунок, который показывает, что контекстно-свободные и регулярные языки являются (правильными) подмножествами эффективных задач (предположительно ). Я прекрасно понимаю, что эффективные проблемы являются подмножеством всех разрешимых проблем, потому что мы можем их решить, но это может занять очень много времени.PP\mathrm{P} Почему все контекстно-свободные и регулярные языки эффективно …

12 formal-languages  regular-languages  context-free  efficiency 

Windows NT использовала двухточечный протокол, в котором клиент может «безопасно» общаться с сервером, используя потоковый шифр для шифрования массива сообщений с некоторым ключом . Сервер также шифрует свой ответ тем же ключом . Но как он узнает об этом ключе?kkkkkk В более общем плане : если Алиса и Боб используют …

12 cryptography  encryption 

Говорят, что в дополнении 2 0 имеет только одно значение, тогда как в дополнении 1 оба +0 и -0 имеют отдельные значения. Кто они такие?

12 arithmetic 

Я изучаю теорему SMN, и концепция напомнила мне о карри. Из википедии статьи о теореме SMN : теорема утверждает, что для данного языка программирования и целые положительные числа т и п, существует определенный алгоритм, который принимает в качестве входных данных исходный код программы с т + п свободных переменных, вместе …

12 computability 

Задача линейного программирования: найти сильно полиномиальный алгоритм времени, который для заданной матрицы A ∈ Rm × n и b ∈ Rm решает, существует ли x ∈ Rn с Ax ≥ b. Я знаю, что в списке Стива Смейла перечислены некоторые нерешенные проблемы математики. Но такая проблема линейного программирования до сих …

12 algorithms  polynomial-time  linear-programming 

На этом сайте я видел несколько вопросов о Deep Dream, однако ни один из них, по-видимому, фактически не говорит о том, что конкретно делает DeepDream. Насколько я понял, они, похоже, изменили целевую функцию, а также изменили обратное распространение, так что вместо обновления весов они обновляют входное изображение. Я интересно, если …

12 machine-learning  artificial-intelligence  neural-networks  image-processing  computer-vision