Информатика

Я хочу эффективно отфильтровать список целых чисел для дубликатов таким образом, чтобы хранить только полученный набор. Один способ это можно увидеть: у нас есть диапазон целых чисел с N большим (скажем, 2 40 )S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\}NNN2402402^{40} у нас есть функция с, предположительно, многими столкновениями (изображения равномерно распределены в …

9 algorithms  data-structures  sorting 

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

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

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

9 terminology  intuition  graphics  computer-vision 

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

9 information-theory  data-compression 

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

9 parallel-computing  artificial-intelligence  neural-networks 

В статье Теодора Норвелла (1999) « Разбор выражений по рекурсивному спуску» автор начинает со следующей грамматики для арифметических выражений: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v что …

9 formal-languages  context-free  formal-grammars  left-recursion 

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

9 discrete-mathematics 

Существуют ли хорошие учебные веб-ресурсы по дискретной математике с задачами?

9 reference-request  education  discrete-mathematics 

Для двух наборов и каждый из которых содержит непересекающихся точек на плоскости, вычисляется кратчайшее расстояние между точкой в и точкой в , т. Е. .AAABBBnnnAAABBBmin { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | \mbox{ } p \in A \land q …

9 algorithms  computational-geometry 

Мы хотим решить задачу с минимальными затратами с помощью общего алгоритма отмены отрицательного цикла. То есть мы начинаем со случайного действительного потока, а затем не выбираем «хорошие» отрицательные циклы, такие как циклы с минимальной средней стоимостью, но используем Беллмана-Форда, чтобы обнаружить минимальный цикл и увеличить его по обнаруженному циклу. Пусть …

9 algorithms  graph-theory  algorithm-analysis  runtime-analysis  network-flow 

Хорошо известно, что каждая булева функция может быть реализована с использованием булевой схемы глубины 2 (над переменными, их отрицанием и постоянными значениями) содержащий логические элементы И на первом уровне и один логический элемент ИЛИ на верхнем уровне; это просто представление DNF из .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Другим типом шлюза, который представляет большой …

9 complexity-theory  logic  circuits 

Предположим, мы хотим объединить два отношения в предикате. Это в NC? Я понимаю, что доказательство того, что он не находится в NC, будет равносильно доказательству того, что п≠ NСп≠NСP\not=NC , поэтому я бы принял доказательство того, что это открытая проблема, в качестве ответа. Меня интересует как общий случай, так и …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

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

9 reference-request  security 

Какие алгоритмы машинного обучения (кроме SVM) используют принцип минимизации структурных рисков ?

9 reference-request  machine-learning 

Учитывая язык L={anbncn}L={anbncn} L= \{a^n b^n c^n\} , как я могу прямо сказать, не глядя на правила производства, что этот язык не является регулярным? Я мог бы использовать лемму прокачки, но некоторые парни говорят, просто глядя на грамматику, что это не совсем так. Как это возможно?

9 formal-languages  regular-languages  pumping-lemma  intuition