Запитання з тегом «proofs»

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

15 ds.algorithms  proofs 

Згідно з цим документом , в якому йдеться про недетерміноване розширення гіпотези сильного експоненціального часу (SETH), "[...] нещодавно Вільямс показав споріднені гіпотези про складність k-TAUT Мерліна-Артура помилковими". Однак цей документ цитує лише особисте спілкування. Яким чином MA версія SETH виявилася помилковою? Я підозрюю, що вона включає алгебризуючу формулу, але не …

13 sat  proofs  nondeterminism 

Я читаю статтю Леслі Лампорта "Швидкі Паксоси" і зациклююся на доказуванні правильності як класичних, так і швидких паксос. Для узгодженості, значення визначена координатором в фазі 2 в круглої я повинна задовольнятиvvv2a2a2aiii Для будь-якого раунду j < i , жодне значення, крім v, не було або може бути вибране в раунді …

13 ds.algorithms  dc.distributed-comp  proofs 

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

13 cc.complexity-theory  lower-bounds  proofs 

Я нещодавно дізнався про інтерактивні докази, і мені було цікаво, чи все це було не що інше, як теоретична цікавість, чи вона мала практичне застосування. Я подумав, що розпочну з прикладу, який трапився зі мною під душем: Останнім часом з'являється новина, що "Боже число" = 20. (Боже число - це …

13 proofs  puzzles  interactive-proofs 

У главі 10 HAC (10.4.2) ми бачимо відомий протокол ідентифікації Feige-Fiat-Shamir, заснований на доказі нульових знань, використовуючи (імовірну) складність вилучення квадратних корінців за модулем композиту, який важко врахувати. Я наведу схему власними словами (і, сподіваюся, правильно). Почнемо з більш простої схеми: нехай є цілим числом Блума (тому n = p …

12 cr.crypto-security  proofs  zero-knowledge 

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

11 np-hardness  proofs  p-vs-np 

У 1996 р. Давню відкриту проблему вирішив комп’ютер; а саме, що алгебра Роббінса та булева алгебра однакові. Доведення було знайдено автоматизованим доведенням теореми. Більше того, відомий доказ теорії чотирьох кольорів містить складені комп'ютером компоненти. Метою цього питання є перелік доказів, які (повністю або частково) знайдені комп’ютером (чи є єдиним відомим …

11 soft-question  big-list  proofs  automated-theorem-proving 

Я розробляв алгоритм SAT деякий час і дійшов до моменту, коли я хотів би поділитися ним. Я не знаю багатьох людей з інформатики, і не знаю, куди точно звернутись. Мені цікаво, які ресурси доступні для того, хто має алгоритм, який розглядає можливість публікації. Мені також потрібна допомога в аналізі часу …

11 sat  soft-question  proofs