Информатика

Все знают, что скорость вычислений резко возросла с момента их изобретения, и, похоже, она продолжится. Но меня озадачивает одно: если бы вы пропустили электрический ток через материал сегодня, он бы двигался с той же скоростью, как если бы вы делали это с тем же материалом 50 лет назад. Имея это …

48 computer-architecture 

Есть много способов доказать, что язык не является регулярным , но что мне нужно сделать, чтобы доказать, что какой-то язык является регулярным? Например, если мне дано, что регулярно, как я могу доказать, что следующее регулярно?LLLL'L′L' L': = { w ∈ L : u v = w для u ∈ Σ*∖ …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Я читаю книгу под названием « Принципы информатики» (2008) Карла Рейнольдса и Пола Тиманна (опубликована в «Схемах Шаума»). Во второй главе представлены алгоритмы с примером последовательного поиска, который просто перебирает список имен и возвращает TRUE, если в списке найдено данное имя. Автор продолжает (стр. 17): Мы говорим, что «порядок роста» …

47 algorithms  algorithm-analysis  landau-notation  notation 

Из того, что я обнаружил, очень большое количество протоколов, которые передаются через Интернет, являются «текстовыми», а не двоичными. Рассматриваемые протоколы включают, но не ограничиваются HTTP, SMTP, FTP (я думаю, что все эти текстовые?), WHOIS, IRC. Фактически, некоторые из этих протоколов перепрыгивают через некоторые обручи всякий раз, когда они хотят передать …

47 computer-networks  communication-protocols  protocols 

Заранее извиняюсь за наивность этого вопроса. Мне 50 лет, и я впервые пытаюсь правильно понять компьютеры. Так что здесь идет. Я пытался понять, как типы данных и переменные обрабатываются компилятором (в очень общем смысле, я знаю, что это много). Мне не хватает чего-то в моем понимании взаимосвязи между хранилищем в …

47 programming-languages  memory-allocation 

Кажется, что везде, где я смотрю, структуры данных реализуются с использованием красно-черных деревьев ( std::setв C ++, SortedDictionaryв C # и т. Д.) Только что покрыв (a, b), красно-черные и AVL деревья в своем классе алгоритмов, вот что я получил (также из бесед с профессорами, просмотра нескольких книг и поиска …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

Существует множество структур данных, которые реализуют интерфейс очереди приоритетов: Вставить: вставить элемент в структуру Get-Min: вернуть самый маленький элемент в структуре Extract-Min: удалить самый маленький элемент в структуре Распространенными структурами данных, реализующими этот интерфейс, являются (мин) кучи . Обычно (амортизированное) время выполнения этих операций: Вставьте: (иногда )O ( log n …

46 data-structures  amortized-analysis  priority-queues 

Сопоставление паттернов высокого порядка - неразрешимая проблема. Это означает, что не существует алгоритма, который, учитывая уравнение a => b, где aи bявляются открытыми слагаемыми в простом типе лямбда-исчисления, находит замену так S, что aS => bS, где =>означает «имеет такую ​​же Bn нормальную форму». Тем не менее, люди могут эффективно …

46 computability 

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

45 computation-models  cpu  multi-tasking 

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

45 algorithms  shortest-path  spanning-trees 

Обсуждая некоторые темы начального уровня сегодня, в том числе использование генетических алгоритмов; Мне сказали, что исследования в этой области действительно замедлились. Причина была в том, что большинство людей сосредоточено на машинном обучении и интеллектуальном анализе данных. Обновление: это точно? И если да, то какие преимущества дает ОД / ДМ по …

45 machine-learning  data-mining  evolutionary-computing  history 

Чтобы найти медиану несортированного массива, мы можем сделать минимальную кучу за времени для элементов, а затем мы можем извлечь один за другим элементов, чтобы получить медиану. Но этот подход занял бы времени.O(nlogn)O(nlog⁡n)O(n\log n)nnnn/2n/2n/2O(nlogn)O(nlog⁡n)O(n \log n) Можем ли мы сделать то же самое некоторым способом за раз? Если мы можем, то …

45 algorithms  time-complexity 

На странице Википедии для комбинаторов с фиксированной точкой написан довольно загадочный текст Y комбинатор является примером того, что делает лямбда-исчисление непоследовательным. Поэтому к этому следует относиться с подозрением. Однако комбинатор Y можно считать безопасным, если он определен только в математической логике. Я вступил в какой-то шпионский роман? Что в мире …

44 lambda-calculus  combinatory-logic 

Существует этот стандартный алгоритм поиска самого длинного пути в ненаправленных деревьях с использованием двух поисков в глубину: Запустите DFS из случайной вершины и найдите самую дальнюю из нее; скажи это .vvvv′v′v' Теперь запустите DFS из чтобы найти самую дальнюю вершину. Этот путь является самым длинным путем в графе.v′v′v' Вопрос в …

44 algorithms  graphs  trees 

Это основной вопрос, но я думаю, что совпадает с , поскольку больший член должен доминировать при переходе к бесконечности? Кроме того, это будет отличаться от O (\ min (m, n)) . Это правильно? Я продолжаю видеть это обозначение, особенно при обсуждении алгоритмов графа. Например, вы обычно видите: O (| V …

44 terminology  asymptotics  mathematical-analysis  landau-notation