Информатика

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

14 algorithms  search-algorithms  binary-search 

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

14 turing-machines  turing-completeness  digital-circuits 

Поэтому обычно судоку составляет , но этот вопрос распространяется и на головоломок с . Существует много правил вычета полиномиального времени, которые могут помочь в поиске решения головоломки Судоку. Но тогда иногда требуется угадывание значений и последующие цепочки выводов, чтобы исключить значение ячейки или комбинацию значений ячеек. Однако, как только найдено …

14 complexity-theory  sudoku 

Я уверен, что кто-то думал об этом раньше или сразу же отклонил это, но почему теория дихотомии Шефера наряду с теоремой Махани о разреженных множествах не подразумевает P = NP? Вот мои рассуждения: создайте язык который равен SAT, пересекаемому бесконечным разрешимым разреженным множеством. Тогда L также должен быть разреженным. Поскольку …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Здесь я прочитал это: У Haskell определенно нет самой продвинутой системы типов (даже близко, если считать языки исследований), но из всех языков, которые фактически используются в производстве, Haskell, вероятно, находится на вершине. Поэтому я прошу две вещи: какие языки исследований имеют более мощные системы типов, чем Haskell; что они улучшают. …

14 programming-languages  type-theory 

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

14 computer-architecture  cpu 

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

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

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

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

Я пытаюсь понять доказательство теоремы Карпа-Липтона, изложенное в книге «Вычислительная сложность: современный подход» (2009). В частности, в этой книге говорится следующее: Теорема Карпа-Липтона Если NP P ∖ p o l y , то PH = Σ p 2 .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2 Доказательство. По теореме 5.4, чтобы показать PH …

14 complexity-theory  complexity-classes 

Такие языки, как являются сокращением много-один. Нетрудно видеть, что имеет полные проблемы. С. Шмитц [1] рассматривает некоторые классы между и . Они представляют полные проблемы для этих классов при специально созданных сокращениях.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Существуют ли полные проблемы для (aka ) относительно более слабых сокращений? Сокращения Тьюринга неуместны, потому что они способны …

14 computability  reductions  turing-completeness  recursion-theory 

например, ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Выражения взяты из обычной школьной алгебры, но ограничены арифметическим сложением и умножением (например, ), без инверсий, вычитания или деления. Буквы являются переменными.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Если это поможет, мы можем запретить любое выражение, представляемое с числовыми значениями, отличными от ; т.е. не х 2, ни 3 х, ни 4 :111x2x2x^23x3x3x444 …

14 complexity-theory  time-complexity  decision-problem 

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

14 operating-systems  performance  os-kernel 

Один студент недавно попросил меня проверить доказательство твердости 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 

Я взял класс алгоритмов на Coursera. Профессор в видео о хеш-таблицах сказал, что Что действительно верно, так это то, что для непатологических данных вы будете получать операции с постоянным временем в правильно реализованной хэш-таблице. Что означает «непатологические данные»? Можете привести несколько примеров?

14 hash-tables