Информатика

Может ли кто-нибудь объяснить мне, что именно забывает ОЗУ? Я нашел следующее объяснение, которое делает его довольно понятным для меня, но я хотел бы получить представление о технических аспектах: Шифрование не всегда достаточно для обеспечения конфиденциальности. Если злоумышленник может наблюдать ваши шаблоны доступа к зашифрованному хранилищу, он все равно может …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Предположим, нам дан набор из строк, S 1 , … , S n . Я хотел бы знать, является ли какая-либо из этих строк подстрокой любой другой строки в коллекции. Другими словами, я хотел бы алгоритм для следующей задачи:NnnS1, … , SNS1,…,SnS_1,\dots,S_n Ввод: S1, … , SNS1,…,SnS_1,\dots,S_n Вывод: такой, что …

9 algorithms  strings  efficiency  substrings 

Хотя я работаю программистом в своей повседневной жизни и использую все модные языки (Python, Java, C и т. Д.), У меня все еще нет четкого представления о том, что такое функциональное программирование. Из того, что я прочитал, одно свойство функциональных языков состоит в том, что структуры данных являются неизменяемыми . …

9 data-structures  functional-programming 

Мне было интересно, если у этой проблемы есть имя: Для простого графа, ребра которого окрашены в красный, синий и зеленый цвета, , существует ли раскраска вершин такая, что каждое ребро имеет конечную точку с тем же цветом?G = ( V, B ∪ R ∪ G )гзнак равно(В,В∪р∪г)G=(V,B\cup R\cup G)с : …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

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

9 reference-request  compilers  type-inference  program-optimization 

При обновлении весов нейронной сети с использованием алгоритма обратного распространения с импульсом, должна ли скорость обучения применяться и к члену импульса? Большая часть информации, которую я мог найти об использовании импульса, имеет уравнения, выглядящие примерно так: W′i=Wi−αΔWi+μΔWi−1Wя'знак равноWя-αΔWя+μΔWя-1W_{i}' = W_{i} - \alpha \Delta W_i + \mu \Delta W_{i-1} где - …

9 machine-learning  neural-networks 

Я занимаюсь следующими упражнениями в Фонде программного обеспечения : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] …

9 coq 

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

9 operating-systems  memory-management  memory-hardware  os-kernel 

В предыдущем вопросе Что такое алгоритм? Я спросил, является ли алгоритм алгоритмом, который возвращает значение функции, основанной на массиве предварительно вычисленных значений. Один из ответов, который привлек мое внимание, был таким: Факторный пример попадает в другую модель вычисления, называемую неравномерным вычислением. Машина Тьюринга является примером унифицированной модели вычислений: она имеет …

9 turing-machines  computation-models 

Этот вопрос о пересечении теории вероятностей и сложности вычислений. Одним из ключевых замечаний является то, что некоторые распределения проще генерировать, чем другие. Например, проблема Для заданного числа вернуть равномерно распределенное число с .i 0 ≤ i &lt; nnnniii0≤i&lt;n0≤i&lt;n0 \leq i < n легко решить. С другой стороны, следующая проблема является …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Я смотрю на следующую проблему: Для заданных мерных векторов натуральных чисел v 1 , … , v m и некоторого входного вектора u , является ли u линейной комбинацией v i с коэффициентами натуральных чисел?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i т.е. есть ли где u = t 1 v 1 + ⋯ + …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Рассмотрим следующую проблему: Пусть - конечное подмножество натуральных чисел.S= { с1, с2, . , , sN}Sзнак равно{s1,s2,,,,sN}S = \{ s_1, s_2, ... s_n \} Пусть | где - наибольший общий делитель и yg c d ( s i , s j ) s i , s j ∈ S , …

9 algorithms  number-theory 

Булева функция - это функция .е: { 0 , 1 }N→ { 0 , 1 }е:{0,1}N→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Известно, что логический базис является полным по Тьюрингу, поскольку он позволяет переворачивать любую последовательность или оставлять ее без изменений. То же самое можно сказать о воротах .( ∨ , ∧ )(∨,∧)(\vee,\wedge)s ∈ { 0 …

9 turing-machines  turing-completeness  boolean-algebra 

Использовать вектор Эрли в качестве распознавателя довольно просто: когда достигается конец строки, вам просто нужно проверить завершенную аксиоматическую постановку, начатую в позиции 0. Если у вас есть хотя бы один, тогда строка принимается. Использование вектора Эрли для восстановления дерева (ов) синтаксического анализа менее очевидно. На самом деле, я не могу …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

В рамках домашнего задания, посвященного реализации интросорта, меня спрашивают, почему используется heapsort, а не mergesort (или другие алгоритмы в этом отношении). O(nlog(n))O(nlog⁡(n))O(n\log(n)) Интросорт - это гибридный алгоритм сортировки, который обеспечивает как быструю среднюю производительность, так и (асимптотически) оптимальную производительность в худшем случае. Он начинается с быстрой сортировки и переключается на …

9 algorithms  algorithm-analysis  sorting