Информатика

Каковы различия между компьютерным зрением и обработкой изображений? Например, в распознавании объектов, какова роль компьютерного зрения и обработки изображений?

17 terminology  computer-vision  image-processing  education 

Я изо всех сил пытаюсь понять отношения между NP-Intermediate и NP-Complete. Я знаю, что если P! = NP, основанный на теореме Ладнера, существует класс языков в NP, но не в P или в NP-Complete. Каждая проблема в NP может быть сведена к проблеме NP-Complete, однако я не видел примеров того, …

17 np-complete  reductions  factoring 

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

17 data-structures  abstract-data-types 

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

17 computability  computation-models  turing-completeness 

Согласно Википедии , для любого регулярного языка существуют константы и полиномы такие что для каждого число слов длины в удовлетворяет уравнениюLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Язык является регулярным (ему соответствует ). если n четно, а противном случае.L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \}(00)∗(00)∗(00)^*sL(n)=1sL(n)=1s_L(n) = 1sL(n)=0sL(n)=0s_L(n) = 0 Тем не менее, …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Я слышал, что девиз взаимодействия более мощный, чем алгоритмы от Питера Вегнера . Основа идеи заключается в том, что (классическая) машина Тьюринга не может обрабатывать взаимодействие, то есть взаимодействие (вход / выход) с внешним миром / средой. Как это может быть так? Как может быть что-то более мощное, чем машина …

17 computability  computation-models 

Я хочу знать, разрешима ли следующая проблема и как узнать. В каждой проблеме, которую я вижу, я могу сказать «да» или «нет», так что большинство проблем и алгоритмов разрешимы, кроме нескольких (которые представлены здесь )? Входные данные: направленный и конечный граф с вершинами и Вопрос: Существует ли путь в с …

17 algorithms  computability  graph-theory  undecidability 

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

17 reference-request  satisfiability  sat-solvers 

Я сам изучаю Автоматизированное доказательство теорем / SMT-решатели / Помощники по проверке и выкладываю серию вопросов о процессе, начиная здесь . Я продолжаю читать об Алгоритме Объединения . Что это такое и почему это так важно для двигателей вывода ? Почему это так важно для информатики?

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorворота, теперь мне нужно построить эти ворота, используя только 4 nandворот a b out 0 0 0 0 1 1 1 0 1 1 1 0 the xor = (a and not b) or (not a and b), который является A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Я знаю ответ, но как получить диаграмму ворот из …

17 logic  boolean-algebra 

Алгоритм быстрой сортировки можно разделить на следующие шаги Определить опору. Разделите связанный список на основе сводки. Разделите связанный список рекурсивно на 2 части. Теперь, если я всегда выбираю последний элемент как сводный, то для идентификации сводного элемента (1-й шаг) требуется O(n)O(n)\mathcal O(n) времени. После определения сводного элемента мы можем сохранить …

16 algorithms  algorithm-analysis  sorting  quicksort 

Это мягкий вопрос. Я не знаю много о криптографии или ее истории, но кажется, что обычное использование RSA - это обмен ключами путем шифрования симметричного ключа для отправки более длинного сообщения (например, описание iMessage здесь ). Разве это не то, для чего нужен обмен ключами Диффи-Хеллмана, который старше (а мне …

16 cryptography  history 

Я задал этот вопрос на StackOverflow , но я думаю, что это более подходящее место. Это проблема из курса Введение в алгоритмы : У вас есть массив с положительными целыми числами (массив не нужно сортировать или элементы уникальны). Предложите алгоритм , чтобы найти наибольшую сумму элементов, которая делится на .aaannnO(n)O(n)O(n)nnn …

16 algorithms  optimization  dynamic-programming  arrays 

По-видимому, атаки ReDos используют характеристики некоторых (в противном случае полезных) регулярных выражений ... по сути, вызывая взрыв возможных путей через граф, определенный NFA. Можно ли избежать таких проблем, написав эквивалентное «не злое» регулярное выражение? Если нет (таким образом, грамматика не может быть обработана в практическом пространстве / времени NFA), какие …

16 regular-expressions  parsers 

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

16 algorithms  formal-languages  computability  regular-languages  ambiguity