Запитання з тегом «probabilistic-algorithms»

Мені цікаво, чи є якісь проблеми, що стосуються які є "многочленними" в середньому випадку. Я думаю, що є два способи інтерпретувати це?NПNПNP Якщо , чи може існувати алгоритм, що розв'язує задачу твердого з амортизованим (середнім випадком) часом роботи для постійної ?П≠ NПП≠NПP \neq NPNПNПNPО ( н.)к)О(нк)O(n^k)ккk Чи є якісь проблеми, …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

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

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 

Якщо то ієрархія руйнується до другого рівня (за теоремою Карпа-Ліптона). А як щодо та ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Я намагався довести, що міститься в (інший напрямок тривіальний, якщо ), але безрезультатно, і я навіть не впевнений, що це правда.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP = NP Як ти гадаєш?

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Це питання стосується перетину теорії ймовірностей та обчислювальної складності. Одним із ключових спостережень є те, що деякі дистрибуції легше генерувати, ніж інші. Наприклад, проблема Давши число , поверніть рівномірно розподілене число з .ннniii0 ≤ i &lt; n0≤i&lt;н0 \leq i < n легко вирішити. З іншого боку, наступна проблема є або …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

SkipList забезпечує ті самі межі для пошуку як збалансоване дерево з тією перевагою, що перебалансування не потрібне. Оскільки SkipList побудований за допомогою випадкових відкидних монет, ці межі тримаються лише до тих пір, поки структура SkipList є достатньо "збалансованою". Зокрема, з ймовірністю для деякої постійної , врівноважена структура може бути втрачена …

9 data-structures  search-trees  probabilistic-algorithms