Информатика

9
Могут ли объединения быть распараллелены?

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

9
Учитывает ли алгоритм двухстороннего исключения Петерсона процессы умирания?

Я думаю , что в алгоритме Петерсона для взаимного исключения , если процесс первого , чтобы войти в критическую секцию должны были умереть или быть аннулирована, другой процесс будет петля навсегда, ожидая , чтобы войти в критическую секцию. На рисунке, если процесс 1 остановлен, остальные...

9
Почему сложность отмены отрицательного цикла

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

9
Как интуитивно почувствовать, что язык является регулярным

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

9
Кратчайшее расстояние между точкой в ​​A и точкой в ​​B

Для двух наборов и каждый из которых содержит непересекающихся точек на плоскости, вычисляется кратчайшее расстояние между точкой в и точкой в , т. Е. .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
Может ли алгоритм искусственной нейронной сети быть выражен в терминах операций сокращения карт?

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

9
Арифметические выражения преобразования грамматики

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

9
Сколько математики нужно знать, чтобы понять дискретную математику / структуры для информатики?

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

9
Введение в проверку логики первого порядка

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

9
Всегда ли оптимально кодирование Хаффмана?

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

9
Интуиция для свертки в обработке изображений

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

9
Всегда ли Quicksort имеет квадратичное время выполнения, если вы выбираете максимальный элемент в качестве точки разворота?

Если у вас есть алгоритм быстрой сортировки, и вы всегда выбираете самый маленький (или самый большой) элемент в качестве своей оси; Прав ли я, если предположить, что если вы предоставите уже отсортированный набор данных, вы всегда получите худшую производительность независимо от того, находится ли...

9
Эффективное удаление дубликатов с небольшим объемом памяти

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

9
Бесконечный алфавит Тьюринга

Является ли машина Тьюринга, которому разрешено чтение и запись символов из бесконечного алфавита, более мощной, чем обычная ТМ (единственное отличие, у машины все еще есть конечное число состояний)? Интуиция говорит мне, что нет, так как вам нужно бесконечное количество состояний, чтобы...

9
Big O: вложенный в петлю с зависимостью

Мне дали домашнее задание с Big O. Я застрял с вложенными циклами for, которые зависят от предыдущего цикла. Вот измененная версия моего домашнего задания, так как я действительно хочу это понять: sum = 0; for (i = 0; i < n; i++ for (j = 0; j < i; j++) sum++; Часть, которая отталкивает меня,...

9
Уникальный путь в ориентированном графе

Я разрабатываю алгоритм для класса, который будет определять, является ли ориентированный граф уникальным по отношению к вершине , так что для любого существует не более одного пути от до . Я начал с использования BFS (поиск в ширину), чтобы найти кратчайший путь от v до другой вершины u, а затем...

9
Твердость и направления сокращений

Допустим, мы знаем, что проблема A сложная, затем мы сводим A к неизвестной проблеме B, чтобы доказать, что B также сложно. В качестве примера: мы знаем, что 3-окраска сложна. Затем мы уменьшаем 3-окраску до 4-окраски. Сочетая один из цветов в 3-х раскрасках, вы получаете 4-х раскраски, поэтому...