Вопросы с тегом «reference-request»

Каковы некоторые примеры сложных проблем решения, которые могут быть решены за полиномиальное время? Я ищу проблемы, для которых оптимальный алгоритм является «медленным», или проблемы, для которых самый быстрый известный алгоритм является «медленным». Вот два примера: Распознавание совершенных графов. В своей работе FOCS'03 [1] Корнежоль, Лю и Вускович дали временной алгоритм …

15 algorithms  complexity-theory  reference-request 

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

15 reference-request  logic  proof-assistants 

Я обычно использую символ для пустой строки (пустое слово или нулевая строка). Но я знаю, что некоторые люди используют λ вместо ε .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, что происходит от слова «пустой». Однако я не знаю, каково происхождение λ .εε\varepsilonλλ\lambda В теории автоматов существует эпсилон-переход автоматов, и он также называется лямбда-переходом. Например, …

14 formal-languages  automata  reference-request  notation  history 

Я интересно, что это лучший известный алгоритм, в терминах big- нотации, для решения целочисленных линейного программирования?OOO Я знаю, что проблема в полном, поэтому я не ожидаю ничего полиномиального. И я знаю, что есть много эвристик и тому подобного, которые используются в практических приложениях, таких как CPLEX, но меня больше интересует …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Один студент недавно попросил меня проверить доказательство твердости NP для них. Они выполнили сокращение в соответствии с: Я уменьшаю эту проблему P′п'P' которая, как известно, является NP-полной, к моей проблеме (с многократным уменьшением многократного числа), поэтому является NP-трудной.PпPPпP Мой ответ был в основном: Поскольку у есть экземпляры со значениями из …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Предположим, нам даны два числа и и мы хотим найти для .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Наивный алгоритм просто проверяет все возможные пары; например, в ruby ​​у нас будет: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max = i ^ …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Пусть GGG граф, и пусть sss и ttt две вершины GGG . Можем ли мы эффективно выбрать равномерно и независимо случайным образом кратчайший путь sss - ttt из множества всех кратчайших путей между sss и ttt ? Для простоты можно предположить, что GGG простая, ненаправленная и невзвешенная. Даже во многих …

14 graph-theory  reference-request  shortest-path  sampling 

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

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Классическое приложение «разделяй и властвуй» заключается в решении следующей проблемы: Учитывая массив различных сопоставимых элементов, подсчитайте количество пар инверсии в массиве: пар ( i , j ), таких что a [ i ] > a [ j ] и i < j .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Один из …

14 algorithms  reference-request  arrays 

У меня есть ряд связанных вопросов по этим двум темам. Во- первых, большинство текстов сложности только замазывать класс NCNC\mathbb{NC} . Есть ли хороший ресурс, который более подробно освещает исследования? Например, то, что обсуждает все мои вопросы ниже. Кроме того, я предполагаю, что NCNC\mathbb{NC} все еще видит значительный объем исследований из-за …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Согласно статье в Википедии , L в означает «сканирование слева направо», а «R» означает «крайний правый вывод». Однако в оригинальной статье Кнута по грамматике L R ( k ) он определяет язык L R ( k ) (на стр. 610) как язык, который «переводим слева направо с ограничением k ».L …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Не обращающие внимания на кэш алгоритмы и структуры данных - довольно новая вещь, представленная Frigo et al. в алгоритмах кеширования, 1999 . Тезис Прокопа того же года знакомит и с ранними идеями. Бумага Frigo et al. представить некоторые экспериментальные результаты, показывающие потенциал теории и забывающих о кеше алгоритмов и структур …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Проблема минимальной пропускной способности состоит в том, чтобы найти порядок узлов графа на целочисленной линии, который минимизирует наибольшее расстояние между любыми двумя соседними узлами. Решение проблемы является NP-полным даже для бинарных деревьев. Результаты сложности для минимизации пропускной способности. Гэри, Грэм, Джонсон и Кнут, SIAM J. Appl. Math., Vol. 34, № …

14 complexity-theory  np-complete  reference-request  approximation 

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

14 reference-request  education 

В литературе достаточно ясно, что ОЗУ с удельной стоимостью с примитивным умножением являются необоснованными, поскольку они не может быть смоделировано машинами Тьюринга за полиномиальное время может решить PSPACE-полные задачи за полиномиальное время Тем не менее, все ссылки, которые я могу найти по этой теме (Simon 1974, Schonhage 1979), также включают …

13 complexity-theory  reference-request  computation-models  history