Информатика

Q & A для студентов, исследователей и практиков информатики

1
Доказательство того, что не является (со) рекурсивно перечислимым
Я хотел бы использовать вашу помощь в решении следующей проблемы: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Покажите, что .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Я знаю, что для доказательства достаточно найти язык такой, что и показать, что существует сокращение от до .L ′ L ′ …

3
Если
Я застрял, решая следующее упражнение: Докажите, что если зависит от контекста, а R регулярно, то L / R = { w ∣ ∃ x ∈ RLLLRRR (т.е.правый фактор) не зависит от контекста.L/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Я знаю , что …

3
Big O: вложенный в петлю с зависимостью
Мне дали домашнее задание с Big O. Я застрял с вложенными циклами for, которые зависят от предыдущего цикла. Вот измененная версия моего домашнего задания, так как я действительно хочу это понять: sum = 0; for (i = 0; i < n; i++ for (j = 0; j < i; j++) …

4
Что понимается под прерываниями в контексте операционных систем?
Я решил прочитать « Концепции операционных систем » Silberschatz, Galvin Gagne (8-е издание) летом. Я попал в тему, которая меня смущает - прерывания и их роль в отношении операционных систем. В тексте говорится, что операционная система начнет первый процесс, такой как «init», а затем дождется «события», и это событие обычно …

1
Является ли WPA2 с предварительным общим ключом примером доказательства с нулевым разглашением?
При настройке точки доступа и выборе WPA2 необходимо вручную ввести предварительный общий ключ (пароль) PSK как в точку доступа, так и в точку доступа STA. Обе стороны, AP и STA, должны аутентифицировать друг друга. Но они должны сделать это, не раскрывая PSK. Оба должны доказать другой стороне, что они знают …

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

1
Покрытие прямоугольника Sweep Line
Мне дали упражнение, к сожалению, я сам не справился. Существует множество прямоугольников и прямоугольник R 0 . Используя алгоритм подметания плоскости, определите, полностью ли покрыто R 0 набором R 1 . , R n .р1, , рNR1..RnR_{1}..R_{n}р0R0R_{0}р0R0R_{0}р1, , рNR1..RnR_{1}..R_{n} Более подробную информацию о принципе алгоритмов стреловидной линии смотрите здесь . …

1
Проблема китайского почтальона: поиск наилучших связей между узлами нечетной степени
Я пишу Программу, решая проблему китайского почтальона (также известную как проблема проверки маршрута), и в настоящее время сталкиваюсь с проблемой, чтобы найти наилучшие дополнительные ребра для соединения узлов с нечетной степенью, чтобы я мог вычислить эйлерову схему. Может быть (учитывая размер графа, который нужно решить) огромную комбинацию ребер, которые необходимо …

1
Атака на хеш-функции, которые не удовлетворяют одностороннему свойству
Я пересматриваю курс по компьютерной безопасности и застрял на одном из прошлых вопросов. Вот: Алиса ( ) хочет отправить короткое сообщение M Бобу ( B ), используя общий секрет S a b, чтобы подтвердить, что сообщение пришло от нее. Она предлагает отправить одно сообщение из двух частей: A → B …

3
Т-диаграмма кросс-компилятора
Я изучаю Bootstrapping из Red Dragon Book Compilers и нашел T-диаграмму для кросс-компилятора довольно запутанной. Я не могу понять, что подразумевается под «Запустить compiler1 через compiler2». Может ли кто-нибудь дать лучшее объяснение, аналогию или пример, связанный с каким-то реальным компилятором? Сначала некоторые обозначения. По То есть компилятор для языка L …

1
Нижние границы вычисления функции множества
Имея набор из элементов, скажем, я хочу вычислить функцию которая чувствительна ко всем частям входных данных, т.е. зависит от самого члена (то есть можно изменить любой член на что-то иначе для получения нового ввода значения на и различны).n f ( A ) A A A ′ f A A ′AAANnnе( …

2
Ветвь и Связанное объяснение
У меня есть тест на ветвь и связанный алгоритм. Я теоретически понимаю, как работает этот алгоритм, но я не смог найти примеров, иллюстрирующих, как этот алгоритм может быть реализован практически. Я нашел несколько примеров, таких как этот, но я все еще смущен этим. Я также искал проблему коммивояжера и не …

4
Слова с одинаковым правым и левым ассоциативным произведением
Я начал изучать недетерминированные автоматы, используя книгу Хопкрофта и Уллмана . Я застрял в проблеме, которая показалась мне очень интересной: Дать недетерминированный конечный автомат, принимающий все строки, имеющие одинаковое значение, при оценке слева направо как справа налево путем умножения в соответствии со следующей таблицей: ×aбсaaсббaaсссбa×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & …

1
Выражение произвольной перестановки в виде последовательности операций (вставка, перемещение, удаление)
Предположим, у меня есть две строки. Назовите их и . Ни одна строка не имеет повторяющихся символов.AAABBB Как найти самую короткую последовательность операций вставки, перемещения и удаления, которая превращает в , где:AAABBB insert(char, offset)вставляет charв заданную offsetстроку move(from_offset, to_offset)перемещает символ в настоящее время со смещением from_offsetв новую позицию, чтобы он …

1
Решение рекурренций с помощью характеристического полинома с мнимыми корнями
При анализе алгоритмов вам часто приходится решать повторения. В дополнение к основной теореме, методам подстановки и итерации, есть метод, использующий характеристические полиномы . Скажем, я пришел к выводу, что характеристический многочлен имеет мнимые корни, а именно x 1 = 1 + i и x 2 = 1 - i . …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.