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

Зарезервировано - не следует использовать для большинства новых вопросов. Вопросы широкого спектра об общих методах и концепциях, таких как методы доказательства, инструменты для анализа алгоритмов или основы компьютерной архитектуры. Это не для вопросов, требующих ссылок, то есть книг или статей.

7
Какое определение у P, NP, NP-complete и NP-hard?
Я в курсе о вычислениях и сложности , и я не в состоянии понять , что означают эти термины. Все, что я знаю, это то, что NP - это подмножество NP-complete, которое является подмножеством NP-hard, но я понятия не имею, что они на самом деле значат. Википедия тоже не сильно …
3
Есть ли система за магией анализа алгоритма?
Существует множество вопросов о том, как анализировать время выполнения алгоритмов (см., Например, анализ времени выполнения и анализ алгоритма ). Многие из них похожи, например, те, которые запрашивают анализ затрат на вложенные циклы или алгоритмы «разделяй и властвуй», но большинство ответов, похоже, сделаны специально. С другой стороны, ответы на другой общий …
4
Как преобразовать конечные автоматы в регулярные выражения?
Преобразование регулярных выражений в (минимальный) NFA, который принимает тот же язык, легко с помощью стандартных алгоритмов, например , алгоритма Томпсона . Другое направление кажется более утомительным, и иногда получающиеся выражения являются грязными. Какие существуют алгоритмы для преобразования NFA в эквивалентные регулярные выражения? Есть ли преимущества в отношении сложности времени или …
5
Как не решить P = NP?
Существует множество попыток доказать либо либо , и, естественно, многие люди задумываются над этим вопросом, имея идеи для доказательства того или иного направления.P ≠ N PP = N Pпзнак равноNп\mathsf{P} = \mathsf{NP} P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} Я знаю, что есть подходы, которые, как было доказано, не работают, и, …
3
Как узнать, какую нотацию анализа сложности времени использовать?
В большинстве вводных классов алгоритмов вводятся нотации, такие как (Big O) и , и студент, как правило, учится использовать одну из них для определения сложности времени.ΘОOOΘΘ\Theta Однако есть и другие обозначения, такие как , и . Существуют ли какие-либо конкретные сценарии, в которых одна нотация предпочтительнее другой?Ω ωоooΩΩ\Omegaωω\omega
11
Решение или аппроксимация рекуррентных отношений для последовательностей чисел
В информатике нам часто приходится решать рекуррентные соотношения , то есть находить замкнутую форму для рекурсивно определенной последовательности чисел. При рассмотрении времени выполнения нас часто интересует в основном асимптотический рост последовательности . Примеры Время выполнения хвостовой рекурсивной функции, понижающейся до от чье тело занимает время :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) &= …
5
Как доказать, что язык не является контекстно-свободным?
Мы узнали о классе контекстно-свободных языков . Он характеризуется как контекстно-свободными грамматиками, так и автоматами, работающими на понижение, поэтому легко показать, что данный язык не зависит от контекста.CFLCFL\mathrm{CFL} Как мне показать обратное, хотя? Моя ТА была непреклонна, что для этого нам пришлось бы показать всем грамматикам (или автоматам), что они …
10
Как доказать, что язык не является регулярным?
Мы узнали о классе обычных языков . Он характеризуется каким-либо одним понятием среди регулярных выражений, конечных автоматов и леволинейных грамматик, поэтому легко показать, что данный язык является регулярным.REGREG\mathrm{REG} Как мне показать обратное, хотя? Мой ТА был непреклонен, что для этого нам нужно было бы показать для всех регулярных выражений (или …
6
Как мы можем предположить, что основные операции над числами занимают постоянное время?
Обычно в алгоритмах мы не заботимся о сравнении, сложении или вычитании чисел - мы предполагаем, что они выполняются за время . Например, мы предполагаем это, когда говорим, что сортировка на основе сравнения - это O ( n log n ) , но когда числа слишком велики, чтобы поместиться в регистры, …
1
Теоретико-языковое сравнение грамматик LL и LR
Люди часто говорят, что парсеры LR (k) более мощные, чем парсеры LL (k) . Эти заявления в большинстве случаев расплывчаты; в частности, следует ли сравнивать классы для фиксированного или объединения по всем ? Так как на самом деле ситуация? В частности, меня интересует, как вписывается LL (*).kkkkkk Насколько я знаю, …
8
Как доказать, что язык является регулярным?
Есть много способов доказать, что язык не является регулярным , но что мне нужно сделать, чтобы доказать, что какой-то язык является регулярным? Например, если мне дано, что регулярно, как я могу доказать, что следующее регулярно?LLLL'L′L' L': = { w ∈ L : u v = w для u ∈ Σ*∖ …
6
Работа с труднопреодолимостью: NP-полные проблемы
Предположим, что я программист, и у меня есть NP-полная проблема, которую мне нужно решить. Какие методы доступны для решения проблем с NPC? Есть опрос или что-то похожее на эту тему?
1
В чем разница между алгоритмом, языком и проблемой?
Похоже, что на этом сайте люди часто исправляют других за запутанные «алгоритмы» и «проблемы». В чем разница между этими? Как я узнаю, когда мне следует рассмотреть алгоритмы и рассмотреть проблемы? И как они связаны с понятием языка в теории формального языка?
4
Каковы общие методы уменьшения проблем друг с другом?
В теории вычислимости и сложности (и, возможно, в других областях) сокращения являются повсеместными. Существует много видов, но принцип остается тем же: показать, что одна проблема L1L1L_1 , по крайней мере, так же трудна, как и другая проблема L2L2L_2 путем сопоставления экземпляров из с эквивалентными по решению в . По сути, …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.