Информатика

23
Какие языки распознают Perl-совместимые регулярные выражения?

Как следует из названия, на прошлых выходных я потратил пару часов, пытаясь обдумать класс языков, сопоставляемых с Perl-совместимыми регулярными выражениями, за исключением любого оператора сопоставления, который позволяет выполнять произвольный код внутри шаблона . Если вы не знаете, что такое...

23
Алгоритм решения «проблемы остановки» Тьюринга

Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . «Алан Тьюринг доказал в 1936 году, что общий алгоритм для решения проблемы остановки для всех возможных пар ввода программы не может...

23
Почему Radix Sort ?

В радикальной сортировке мы сначала сортируем по наименьшей значащей цифре, затем сортируем по второй наименьшей значащей цифре и так далее и получаем отсортированный список. Теперь, если у нас есть список из чисел, нам нужно бит, чтобы различать эти числа. Таким образом, количество проходов...

23
Является ли проблема k-клики NP-полной?

Этот вопрос был перенесен из теоретического обмена стеков информатики, поскольку на него можно ответить в обмене стеков информатики. Migrated 7 лет назад . В этой статье в Википедии о проблеме Клика в теории графов вначале говорится, что проблема нахождения клики размера K в графе G является...

23
Почему push_back в векторах C ++ постоянно амортизируется?

Я изучаю C ++ и заметил, что время выполнения функции push_back для векторов постоянно «амортизируется». В документации также отмечается, что «если происходит перераспределение, само перераспределение будет линейным во всем размере». Разве это не означает, что функция push_back - это , где - длина...

23
Что такое случайность

Я студентка факультета компьютерных наук и в настоящее время обучаюсь на курсе по системному моделированию и моделированию. Он включает в себя взаимодействие с повседневными системами вокруг нас и моделирование их в различных сценариях путем генерации случайных чисел в различных кривых...

23
Сложность прохождения мода

Это похоже на вопрос, который должен иметь простой ответ, но у меня нет однозначного ответа: Если у меня есть два битных числа , какова сложность вычисления ?nnna,pa,pa, pamodpamodpa\bmod p Простое деление aaa на ppp заняло бы время O(M(n))O(M(n))O(M(n)) где M(n)M(n)M(n) - сложность умножения. Но...

23
В чем разница между нейронной сетью, системой глубокого обучения и сетью глубокого убеждения?

В чем разница между нейронной сетью, системой глубокого обучения и сетью глубокого убеждения? Насколько я помню, ваша базовая нейронная сеть представляет собой 3-х уровневую штуку, и я описал Deep Belief Systems как нейронные сети, расположенные друг над другом. До недавнего времени я не слышал о...

23
Почему недетерминизм является полезным понятием?

Автомат - это абстрактная модель цифрового компьютера. Цифровые компьютеры полностью детерминированы; их состояние в любое время однозначно предсказуемо из входных данных и исходного состояния. Когда мы пытаемся моделировать реальные системы, зачем включать недетерминизм в теорию автоматов?...

23
Как сборщики мусора избегают переполнения стека?

Поэтому я думал о том, как работают сборщики мусора, и подумал об одной интересной проблеме. Предположительно, сборщики мусора должны проходить все сооружения одинаково. Они не могут знать, пересекают ли они связанный список или сбалансированное дерево или что-то еще. Они также не могут...

23
Возможен ли универсальный язык ассемблера для всех компьютеров?

Я хотел бы задать несколько вопросов о языке ассемблера. Насколько я понимаю, это очень близко к машинному языку, что делает его быстрее и эффективнее. Поскольку у нас существуют разные компьютерные архитектуры, значит ли это, что мне нужно писать разные коды на ассемблере для разных архитектур?...

23
Учитывая RSA, почему мы не знаем, возможна ли криптография с открытым ключом?

Я был в Википедии в списке нерешенных проблем информатики и обнаружил следующее: возможна ли криптография с открытым ключом? Я думал, что шифрование RSA было формой криптографии с открытым ключом? Почему это...

23
Язык программирования, где каждое выражение имеет смысл

В соответствии с рекомендацией я публикую это из Переполнения стека . Недавно я думал о следующей проблеме. Рассмотрим код для стандартного "Hello world!" программа: main() { printf("Hello World"); } Теперь почти любое изменение в этом коде сделает его абсолютно бесполезным, фактически почти каждое...

23
В чем разница между обнаружением объектов, семантической сегментацией и локализацией?

Я читал эти слова во многих публикациях, и я хотел бы получить несколько хороших определений для этих терминов, которые проясняют, в чем разница между обнаружением объекта и семантической сегментацией по сравнению с локализацией. Было бы хорошо, если бы вы могли дать источники для ваших...

23
Почему вычислимые функции также называются рекурсивными функциями?

В теории вычислимости вычислимые функции также называют рекурсивными функциями. По крайней мере, на первый взгляд, они не имеют ничего общего с тем, что вы называете «рекурсивным» в повседневном программировании (т. Е. Функциями, которые сами себя вызывают). Каково реальное значение рекурсивности в...

23
Существует ли эффективный алгоритм для этой задачи покрытия вершинного цикла?

Этот вопрос был перенесен из Математического стека Exchange, потому что на него можно ответить в Информатике стека Exchange. Мигрировал 3 года назад . Я пытался найти алгоритм, чтобы найти максимальное покрытие вершинных циклов ориентированного графа то есть набор непересекающихся циклов, которые...

23
Можно ли доказать неразрешимость проблемы остановки в Coq?

Я смотрел « Пять этапов принятия конструктивной математики » Андрея Бауэра, и он говорит, что существует два вида доказательств от противного (или две вещи, которые математики называют доказательством от противного): Предположим, что является ложным ... бла-бла-бла, противоречие. Следовательно,...

23
Используют ли какие-либо языки программирования общие рекурсивные функции в качестве основы?

Это наивный и, следовательно, возможно, некорректный вопрос, поэтому заранее извиняюсь! Я считаю, что машина Тьюринга может рассматриваться как вычислительная основа для процедурных / императивных языков программирования. Точно так же лямбда-исчисление является основой для функциональных языков...

23
Если я могу решить судоку, могу ли я решить задачу коммивояжера (TSP)? Если так, то как?

Допустим, есть такая программа, которая, если вы дадите частично заполненную судоку любого размера, даст вам соответствующую заполненную судоку. Можете ли вы рассматривать эту программу как черный ящик и использовать это для решения TSP? Я имею в виду, есть ли способ представить проблему TSP как...