Запитання з тегом «proof-techniques»

Запитання щодо загальних методів та прийомів доведення декількох теорем. Коли ви запитуєте про доказ одного твердження, використовуйте теги, що стосуються того, про що йдеться.

3
Чи існує система, що стоїть за магією аналізу алгоритму?
Є багато запитань щодо того, як проаналізувати час виконання алгоритмів (див., Наприклад, час виконання та алгоритм аналізу ). Багато з них схожі, наприклад, ті, хто запитує аналіз витрат вкладених циклів або алгоритмів ділення та підкорення, але, здається, більшість відповідей зроблені спеціально. З іншого боку, відповіді на інше загальне запитання пояснюють …
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} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам доведеться показати для всіх регулярних виразів (або для всіх кінцевих …
2
Що таке коіндукція?
Я чув про (структурну) індукцію. Це дозволяє будувати кінцеві структури з менших і дає доказові принципи для міркувань про такі структури. Ідея досить зрозуміла. А як щодо коіндукції? Як це працює? Як можна сказати щось безперечне про нескінченну структуру? Існує (принаймні) два кути, на які слід звернути увагу, а саме …
8
Як довести, що мова є регулярною?
Існує багато методів, щоб довести, що мова не є регулярною , але що мені потрібно зробити, щоб довести, що якась мова є регулярною? Наприклад, якщо мені дано, що є регулярним, як я можу довести, що наступний є регулярним?L 'LLLL'L′L' L': = { w ∈ L : u v = w …
4
Які загальні прийоми зменшення проблем один одного?
У теорії обчислюваності та складності (і, можливо, в інших сферах) скорочення є всюдисущими. Існує багато видів, але принцип залишається тим самим: покажіть, що одна проблема принаймні настільки ж складна, як і інша проблема , зіставляючи екземпляри з на еквівалентні рішенням у . По суті, ми показуємо, що будь-який вирішувач для …
5
Доказ того, що мертвий код не може виявити компілятори
Я планую викладати зимовий курс на різну кількість тем, одна з яких буде компіляторами. Тепер я зіткнувся з цією проблемою, роздумуючи над завданнями, які даватимуть протягом кварталу, але він натрапив на мене, щоб я міг використати його як приклад. public class DeadCode { public static void main(String[] args) { return; …
7
Чи є більш інтуїтивний доказ нерозв'язності проблеми зупинки, ніж діагоналізація?
Я розумію доказ нерозбірливості проблеми зупинки (наведена, наприклад, у підручнику Пападімітріу), засновану на діагоналізації. Хоча доказ є переконливим (я розумію кожен його крок), для мене це не інтуїтивно зрозуміло в тому сенсі, що я не бачу, як хтось би це вивів, починаючи з проблеми. У книзі доказ іде так: "припустимо, …
3
Чому релятивізація є бар'єром?
Коли я пояснював доказ Бейкер-Гілла-Солової про те, що існує оракул, з яким ми можемо мати, , і оракул, з яким ми можемо мати P ≠ N P другові, виникло питання, чому такі методи погано підходять для доведення проблеми P ≠ N P , і я не міг дати задовільної відповіді.P=NPP=NP\mathsf{P} …
2
Як довести жадібний алгоритм правильно
У мене є жадібний алгоритм, який я підозрюю, що може бути правильним, але я не впевнений. Як перевірити, чи правильно це? Які методи використовувати для доказування жадібного алгоритму правильним? Чи є загальні візерунки чи методи? Я сподіваюся, що це стане еталонним питанням, яке можна використовувати для вказівки на початківців; отже, …
2
Чи є якісь конкретні проблеми, які, як відомо, не можна визначити з інших причин, ніж діагоналізація, самонавіювання чи скорочення?
Кожна нерозв'язна проблема, яку я знаю, відноситься до однієї з наступних категорій: Проблеми, які не можна визначити через діагоналізацію (непряма самонавіювання). Ці проблеми, як і проблема зупинки, є нерозв'язними, оскільки ви можете використовувати розроблене рішення для мови для побудови TM, поведінка якого призводить до суперечності. Ви також можете зіткнутися з …
2
Як я будую скорочення між проблемами, щоб довести, що проблема є NP-повною?
Я проходжу курс складності, і у мене виникають проблеми зі створенням скорочень між проблемами NPC. Як знайти скорочення між проблемами? Чи є загальна хитрість, яку я можу використовувати? Як мені підходити до проблеми, яка просить мене довести проблему - NPC?
2
Як довести, що мова без контексту?
Існує багато методик довести, що мова не є контекстною, але як я можу довести, що мова є безконтекстною? Які методи є для того, щоб довести це? Очевидно, один із способів - виявити без контексту граматику для мови. Чи існують якісь систематичні прийоми для пошуку безтекстової граматики для даної мови? Для …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.