Информатика

Обычно в алгоритмах мы не заботимся о сравнении, сложении или вычитании чисел - мы предполагаем, что они выполняются за время . Например, мы предполагаем это, когда говорим, что сортировка на основе сравнения - это O ( n log n ) , но когда числа слишком велики, чтобы поместиться в регистры, …

74 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

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

73 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Вопрос: «Некоторые свойства языка программирования могут требовать, чтобы единственный способ получить код, написанный на нем, выполнялся путем интерпретации. Другими словами, компиляция в собственный машинный код традиционного ЦП невозможна. Что это за свойства?» Составители: принципы и практика Параг Х. Дейва и Химаншу Б. Дейва (2 мая 2012 г.) Книга не дает …

72 programming-languages  compilers  interpreters 

Часто говорят, что поиск в хеш-таблице работает в постоянное время: вы вычисляете значение хеш-функции, которое дает вам индекс для поиска в массиве. Все же это игнорирует столкновения; в худшем случае каждый предмет попадает в одно и то же ведро, и время поиска становится линейным ( ).Θ(n)Θ(n)\Theta(n) Существуют ли условия для …

71 algorithm-analysis  data-structures  runtime-analysis  hash-tables 

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

69 computer-architecture  clocks 

Я студент бакалавриата. Я понимаю, как Тьюринг придумал свою абстрактную машину (моделирующую человека, выполняющего вычисления), но мне кажется, что это неуклюжая, не элегантная абстракция. Почему мы рассматриваем «ленту», а машинная голова пишет символы, меняя состояние, смещая ленту назад и вперед? Каково основное значение? DFA элегантен - кажется, он точно отражает …

68 turing-machines  computation-models 

Несколько лет назад MapReduce был провозглашен революцией в распределенном программировании. Также были критики но в целом был восторженный ажиотаж. Он даже запатентован! [1] Название напоминает mapи о reduceфункциональном программировании, но когда я читаю (Википедия) Шаг отображения: главный узел принимает входные данные, разделяет их на более мелкие подзадачи и распределяет их …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

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

68 terminology  logic  proof-techniques  formal-methods  coinduction 

Люди часто говорят, что парсеры LR (k) более мощные, чем парсеры LL (k) . Эти заявления в большинстве случаев расплывчаты; в частности, следует ли сравнивать классы для фиксированного или объединения по всем ? Так как на самом деле ситуация? В частности, меня интересует, как вписывается LL (*).kkkkkk Насколько я знаю, …

68 formal-languages  formal-grammars  parsers  reference-question 

Как инженер-программист, я пишу много кода для промышленных продуктов. Относительно сложные вещи с классами, потоками, некоторыми проектными усилиями, но также и некоторыми компромиссами для производительности. Я много тестирую, и я устал от тестирования, поэтому я заинтересовался инструментами формального доказательства, такими как Coq, Isabelle ... Могу ли я использовать один из …

66 programming-languages  program-correctness  software-verification 

Я хотел бы знать, была ли какая-либо работа, связывающая правовой кодекс со сложностью. В частности, предположим, что у нас есть проблема решения «Учитывая этот закон и этот конкретный набор обстоятельств, виновен ли ответчик?» К какому классу сложности он относится? Есть результаты, которые доказали, что карточная игра Magic: the Gathering является …

64 complexity-theory  np-complete  decision-problem 

В настоящее время я заканчиваю магистратуру в области компьютерных наук. Я заинтересован в языках программирования, особенно в системах типов. Я заинтересовался исследованиями в этой области, и в следующем семестре я начну работу над докторской диссертацией на эту тему. Теперь возникает реальный вопрос: как я могу объяснить, что я (хочу) делать …

64 programming-languages  education  typing  research 

Интересно, можно ли создавать компиляторы для динамических языков, таких как Ruby, чтобы они были похожи и сопоставимы по производительности с C / C ++? Из того, что я понимаю о компиляторах, возьмем, к примеру, Ruby, компиляция кода Ruby никогда не может быть эффективной, потому что способ, которым Ruby обрабатывает отражение, …

64 programming-languages  compilers 

Предполагается, что в таких языках, как C, программист вставляет вызовы бесплатно. Почему компилятор не делает это автоматически? Люди делают это в разумные сроки (игнорируя ошибки), поэтому это не невозможно. РЕДАКТИРОВАТЬ: Для дальнейшего использования, вот еще одна дискуссия, которая имеет интересный пример.

63 compilers  memory-management  garbage-collection 

Вам дан массив из 2 н2n2n элементов a1,2, ... ,N, б1, б2, … БNa1,a2,…,an,b1,b2,…bna_1, a_2, \dots, a_n, b_1, b_2, \dots b_n Задача состоит в том, чтобы чередовать массив, используя алгоритм на месте так, чтобы результирующий массив был похож на б1,1, б2,2, … , БN,Nb1,a1,b2,a2,…,bn,anb_1, a_1, b_2, a_2, \dots , b_n, …

62 algorithms  arrays  permutations  in-place