Вопросы с тегом «intuition»

Я считаю, что у меня есть разумное представление о сложностях, таких как , Θ ( n ) и Θ ( n 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) . С точки зрения списка, - это постоянный поиск, поэтому он просто получает заголовок списка. Θ ( n ) - это место, где я прошёл бы весь …

60 algorithms  complexity-theory  time-complexity  intuition 

У меня возникают проблемы с интуитивным пониманием того, почему PSPACE обычно отличается от EXPTIME. Если PSPACE является множеством задач, разрешимых в пространственном полиноме с входным размером f(n)f(n)f(n) , то как может быть класс задач, которые испытывают большее экспоненциальное увеличение времени и не используют экспоненциальное пространство? Ответ Ювала Фильмуса уже чрезвычайно …

31 complexity-theory  complexity-classes  intuition 

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

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Этот вопрос был вдохновлен комментарием к StackOverflow . Помимо знания NP-полных проблем книги Гэри Джонсона и многих других; Есть ли эмпирическое правило, чтобы узнать, выглядит ли проблема как NP-полная? Я не ищу что-то строгое, но что-то, что работает в большинстве случаев. Конечно, каждый раз, когда мы должны доказать, что проблема …

26 complexity-theory  np-complete  intuition 

Иногда легко определить временную сложность алгоритма, если внимательно его изучить. Алгоритмы с двумя вложенными циклами , очевидно, N 2 . Алгоритмы , которые исследуют все возможные комбинации N групп из двух значений, очевидно , 2 N .NNNN2N2N^2NNN2N2N2^N Однако я не знаю, как «определить» алгоритм со сложностью . Например, рекурсивная реализация …

19 algorithm-analysis  time-complexity  intuition 

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

19 computability  education  intuition 

Я думал, что правильно понял зависимую типизацию (DT), но ответ на этот вопрос: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% Теория типа «создать творческий интуиционизм» заставила меня думать иначе. После прочтения DT и попыток понять, что они из себя представляют, я пытаюсь задаться вопросом, что мы получаем от этого понятия DT? Они кажутся более гибкими и …

13 logic  type-theory  intuition 

Ниже предположим, что мы работаем с машиной Тьюринга с бесконечной лентой. Объясняя кому-то понятие временной сложности и почему оно измеряется относительно входного размера экземпляра, я наткнулся на следующее утверждение: [..] Например, естественно, что вам нужно больше шагов для умножения двух целых чисел на 100000 бит, чем, скажем, умножение двух целых …

12 complexity-theory  time-complexity  intuition 

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

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

10 computability  turing-machines  intuition 

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

9 terminology  intuition  graphics  computer-vision 

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

9 formal-languages  regular-languages  pumping-lemma  intuition