Информатика

Проще говоря, если бы нужно было создать квантовое вычислительное устройство с мощностью, скажем, 20 кубитов, мог бы такой компьютер быть использован для того, чтобы сделать любой современный алгоритм хеширования бесполезным? Возможно ли даже использовать мощь квантовых вычислений в традиционных компьютерных приложениях?

18 cryptography  quantum-computing  hash 

Сегодня выступление Хеннинга Керстана («Семантика трассировки для вероятностных систем переходов») впервые поставило меня перед теорией категорий. Он построил теоретическую основу для описания вероятностных систем переходов и их поведения в общем виде, то есть с бесчисленно бесконечными наборами состояний и различными понятиями следов. С этой целью он проходит через несколько уровней …

18 applied-theory  category-theory 

Комбинаторика играет важную роль в информатике. Мы часто используем комбинаторные методы как в анализе, так и в алгоритмах. Например, один из методов нахождения покрытия графа вершины в графе может просто проверить все \ binom {n} {k} возможных подмножеств. В то время как биномиальные функции растут экспоненциально, если k является некоторой …

18 algorithms  algorithm-analysis  combinatorics 

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

18 data-structures  runtime-analysis  hash-tables  dictionaries 

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

18 programming-languages  semantics 

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

18 time-complexity  memory-allocation  operating-systems 

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

18 computation-models  quantum-computing 

В частности: 1) Кэш прямого отображения с 4096 блоками / строками, в котором каждый блок содержит 8 32-битных слов. Сколько бит нужно для полей тегов и индексов, предполагая 32-битный адрес? 2) Тот же вопрос, что и 1), но для полностью ассоциативного кэша ? Поправьте меня, если я ошибаюсь, не так …

18 computer-architecture  cpu-cache 

Рассмотрим повторение T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n для n>2n>2n \gt 2 с некоторой положительной константой ccc и T(2)=1T(2)=1T(2) = 1 . Я знаю основную теорему для решения повторений, но я не уверен, как мы могли бы решить эту связь, используя ее. Как вы подходите к параметру квадратный …

18 asymptotics  recurrence-relation  master-theorem 

Как проверить, возвращают ли два алгоритма (скажем, сортировка слиянием и наивная сортировка) один и тот же результат для любого входа, когда набор всех входов бесконечен? Обновление: Спасибо, Бен, за описание того, как это невозможно сделать алгоритмически в общем случае. Ответ Дейва - это краткое изложение как алгоритмических, так и ручных …

18 computability  formal-methods  software-engineering  software-verification 

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

18 time-complexity  recursion  loops 

Я начинаю читать книгу о вычислительной сложности и машинах Тьюринга. Вот цитата: Алгоритм (т. Е. Машина) может быть представлен в виде битовой строки, как только мы определимся с каноническим кодированием. Это утверждение представлено как простой факт, но я не могу его понять. Например, если у меня есть алгоритм, который принимает …

17 algorithms  turing-machines  computability  computation-models 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Первоначальный текст: Жуткие глаза видны возле озера Кодирование: 0000101100000110011100010101101101001111101011111100011001111110100100101 Почему не требуется разделитель в кодировке Хаффмана?

17 coding-theory  encoding-scheme  huffman-coding 

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

17 information-theory  data-compression 

Как ALU в микропроцессоре различает число со знаком -7, обозначаемое 1111, и число без знака 15, обозначаемое также 1111?

17 arithmetic  binary