Запитання з тегом «reference-question»

Я перебуваю в курсі обчислення та складності , і не можу зрозуміти, що означають ці терміни. Все, що я знаю, це те, що NP - це підмножина NP-Complete, яка є підмножиною NP-hard, але я поняття не маю, що вони насправді означають. Вікіпедія теж не дуже допомагає, оскільки пояснення все ще …

247 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Є багато запитань щодо того, як проаналізувати час виконання алгоритмів (див., Наприклад, час виконання та алгоритм аналізу ). Багато з них схожі, наприклад, ті, хто запитує аналіз витрат вкладених циклів або алгоритмів ділення та підкорення, але, здається, більшість відповідей зроблені спеціально. З іншого боку, відповіді на інше загальне запитання пояснюють …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Перетворення регулярних виразів у (мінімальний) NFA, які приймають ту саму мову, легко за допомогою стандартних алгоритмів, наприклад алгоритму Томпсона . Інший напрямок, здається, є більш втомливим, але іноді отримані вирази є безладними. Які алгоритми існують для перетворення NFA в еквівалентні регулярні вирази? Чи є переваги щодо часової складності чи розміру …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

Існує багато спроб довести або або P ≠ N P , і, природно, багато людей замислюються над цим питанням, маючи ідеї довести будь-який напрямок.P=NPП=NП\mathsf{P} = \mathsf{NP} P≠NPП≠NП\mathsf{P} \neq \mathsf{NP} Я знаю, що є підходи, які, як було доведено, не працюють, і, мабуть, більше таких, які мають історію невдач. Також, здається, …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

У більшості вступних класів алгоритму вводяться позначення типу (Big O) та , і студент, як правило, навчиться використовувати один із них, щоб знайти складність у часі.ΘOOOΘΘ\Theta Однак є й інші позначення, такі як , та . Чи є конкретні сценарії, коли одна нотація була б кращою для іншої?Ω ωoooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

В інформатиці нам часто доводиться вирішувати рекурсивні відносини , тобто знаходити закриту форму для рекурсивно визначеної послідовності чисел. Розглядаючи час виконання, нас часто цікавлять переважно асимптотичні темпи зростання послідовності . Приклади є Час виконання хвостово-рекурсивної функції, що відступає до від , тіло якого вимагає часу :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad \begin{align} T(0) &= …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Ми дізналися про клас без контекстних мов . Для нього характерні як безконтекстні граматики, так і автоматичні натискання, тому легко показати, що дана мова є без контексту.CFLCFL\mathrm{CFL} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам потрібно було б показати всім граматикам (або автоматам), що вони не …

88 formal-languages  context-free  proof-techniques  reference-question 

Ми дізналися про клас регулярних мов . Він характеризується будь-яким одним поняттям серед регулярних виразів, кінцевих автоматів та ліволінійних граматик, тому легко показати, що дана мова є регулярною.REGREG\mathrm{REG} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам доведеться показати для всіх регулярних виразів (або для всіх кінцевих …

75 formal-languages  regular-languages  proof-techniques  reference-question 

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

73 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

Люди часто кажуть, що LR (k) парсери є більш потужними, ніж LL (k) парсери. Ці твердження більшу частину часу є невиразними; зокрема, чи слід порівнювати класи для фіксованого або об'єднання по всіх ? То як справді ситуація? Зокрема, мене цікавить, як LL (*) вписується.kkkkkk Наскільки я знаю, відповідні набори граматики …

67 formal-languages  formal-grammars  parsers  reference-question 

Існує багато методів, щоб довести, що мова не є регулярною , але що мені потрібно зробити, щоб довести, що якась мова є регулярною? Наприклад, якщо мені дано, що є регулярним, як я можу довести, що наступний є регулярним?L 'LLLL'L′L' L': = { w ∈ L : u v = w …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Я знаю, що існує машина Тьюрінга, якщо функція обчислюється. Тоді як показати, що функція не обчислюється або для цього не існує машини Тьюрінга. Чи є щось на кшталт накачки леми?

43 computability  proof-techniques  undecidability  reference-question 

Припустимо, що я програміст і у мене є проблема, що завершується NP, що мені потрібно вирішити. Які методи доступні для вирішення проблем NPC? Чи є опитування чи щось подібне на цю тему?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Здається, на цьому сайті люди часто виправляють інших за те, що плутають «алгоритми» та «проблеми». У чому різниця між ними? Як дізнатися, коли мені слід розглянути алгоритми та розглянути проблеми? І як вони ставляться до поняття мови у формальній теорії мови?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

У теорії обчислюваності та складності (і, можливо, в інших сферах) скорочення є всюдисущими. Існує багато видів, але принцип залишається тим самим: покажіть, що одна проблема принаймні настільки ж складна, як і інша проблема , зіставляючи екземпляри з на еквівалентні рішенням у . По суті, ми показуємо, що будь-який вирішувач для …

40 complexity-theory  computability  reductions  proof-techniques  reference-question