Информатика

16
Прав ли я относительно различий между алгоритмами Флойд-Варшалла, Дейкстры и Беллмана-Форда?

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

16
Почему нельзя использовать DFS для поиска кратчайших путей в невзвешенных графах?

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

16
Бесконечный язык против конечного языка

Мне неясно, как используются фразы «бесконечный» язык или «конечный» язык в компьютерной теории. Я думаю, что корень проблемы в том, что такой язык, как , бесконечен в том смысле, что он может генерировать бесконечное (но счетное) количество строк. Тем не менее, он все еще может быть распознан...

16
Построить КПК для дополнения

Мне интересно, возможно ли это вообще, так как . Поэтому КПК, который может отличить слово от остальной части вполне может принять его , что звучит противоречиво для меня. w ∈ { a n b n c n ∣ n ≥ 0 } { a ∗ b ∗ c ∗ }{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in...

16
Интересное метрическое пространство, связанное с машинами Тьюринга

В этом вопросе мы рассматриваем только машины Тьюринга, которые останавливаются на всех входах. Если k∈Nk∈Nk \in \mathbb{N} то через TkTkT_k мы обозначаем машину Тьюринга, код которой равен kkk . Рассмотрим следующую функцию s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k...

16
Изучение теории языка программирования

Недавно я чрезвычайно заинтересовался пониманием и доказательством аспектов (функциональных) языков программирования. Однако, как я углублюсь в глубину, такие вещи, как исчисление , теория категорий и денотационная семантика, немного трудно найти без надлежащего объяснения.λλ\lambda Я читаю SICP...

16
Очередь приоритетов для частично упорядоченных приоритетов с информацией

У меня есть несколько объектов с приоритетом, который является составным типом и только частично упорядочен . Мне нужно выбрать объекты в порядке приоритета (т.е. каждый раз приносить минимальный предмет). Но вместо того, чтобы произвольно завершать порядок, я бы предпочел, чтобы очередь была...

16
Плотный NP полный язык подразумевает P = NP

Мы говорим, что язык является плотным, если существует такой многочлен , что для всехДругими словами, для любой заданной длины существует только многочлен много слов длины , которых нет вJ⊆ Е*J⊆Σ*J \subseteq \Sigma^{*}| J c ∩ Σ n | ≤ р ( п ) п ∈ N . п п J .ппp| Jс∩ ЕN| ≤p(n)|Jс∩ΣN|≤п(N) |J^c \cap...

16
Клавиша увеличения и уменьшения ключа в двоичной min-heap

Во многих обсуждениях двоичной кучи в качестве поддерживаемой операции для минимальной кучи обычно указывается только ключ уменьшения. Например, глава 6.1 CLR и эта страница википедии . Почему ключ увеличения обычно не указывается для min-heap? Я полагаю, что это можно сделать в O (высота),...

16
Цвет бинарного дерева, чтобы быть красно-черным деревом

Обычный вопрос интервью - дать алгоритм для определения того, является ли данное двоичное дерево сбалансированным по высоте (определение дерева AVL). Мне было интересно, можем ли мы сделать что-то подобное с красно-черными деревьями. Учитывая произвольное неокрашенное двоичное дерево (с узлами...

16
Преобразование произвольного покрытия в покрытие вершин

Дан плоский план G=(V,E)G=(V,E)G=(V,E) и пусть GG\mathcal{G} обозначает его вложение в плоскость st, каждое ребро которого имеет длину . Кроме того, у меня есть множество точек в которых каждая точка содержится в . Кроме того, для любой точки в верно, что существует с геодезическим расстоянием до...

16
2D свертка: перевернуть ядро?

Зачем нам сначала переворачивать ядро ​​в 2D свертке? В чем выгода этого? Итак, почему мы не можем оставить это без внимания? http://www.songho.ca/dsp/convolution/convolution2d_example.html вход ядро выход «Сначала переверните ядро, представляющее собой заштрихованную коробку, в горизонтальном и...

16
Есть ли более быстрое решение проблемы Google Code Jam Great Wall?

Рассмотрим следующий вопрос Google Code Jam в 1С : Великая китайская стена начинается бесконечной линией, где высота во всех местах равна .000 Некоторое количество племен , , будет атаковать стену в соответствии со следующими параметрами - начальный день, , начальная сила , начальная западная...

16
Может ли персептрон забыть?

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

16
Какова критика в отношении производительности HTM?

Я только недавно узнал о существовании этой иерархической временной памяти (HTM) . Я уже читал документ « Иерархическая временная память: концепции, теория и терминология» (Джеффа Хокинса и Дилипа Джорджа), который кажется довольно простым для понимания, но один красный флажок заключается в том,...

16
Как допустимая эвристика обеспечивает оптимальное решение?

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

16
Что такое «объединение памяти»?

Я узнал, что в графическом процессоре есть нечто, называемое объединением памяти. Читая об этом, я не был ясно по теме. Это как-то связано с параллелизмом уровня памяти. Я искал в Google, но не смог получить удовлетворительный ответ. Было бы полезно, если бы кто-то дал более полное и понятное...

16
Пересечение контекста бесплатно с обычными языками

Говорят, что пересечение языка L, не зависящего от контекста, с обычным языком M всегда является контекстно-свободным. Я понял доказательство создания перекрестного продукта, но до сих пор не понимаю, почему он не контекстный, а не регулярный. Язык, генерируемый таким пересечением, имеет строки,...

16
Различия между актерской моделью и последовательными процессами связи (CSP)

Когда мы смотрим на модель актора и передачу последовательных процессов, мы видим, что они оба пытаются выполнять параллелизм на основе передачи сообщений , но они различны . (Мы видим реализации НСП модели в ходу-лане «s goroutines (и Clojure в core.async ) и актер модель в компании Scala Akka...