Вопросы с тегом «proofs»

В моем вступлении к курсу по программированию мы изучаем метод инициализации-обслуживания-завершения, доказывающий, что алгоритм выполняет то, что мы ожидаем. Но нам осталось только доказать, что алгоритм, который уже известен как правильный, является правильным. Нас никогда не просили показать, что алгоритм неверен. Существуют ли классические примеры алгоритмов, которые выглядят правильно, но …

15 ds.algorithms  proofs 

Согласно этой статье , в которой обсуждается недетерминированное расширение гипотезы сильного экспоненциального времени (SETH), «[…] Уильямс недавно показал, что связанные гипотезы о сложности Мерлин-Артура k-TAUT являются ложными». Тем не менее, эта статья цитирует только личное общение. Как версия MA SETH оказалась ложной? Я подозреваю, что это включает в себя алгебраическую …

13 sat  proofs  nondeterminism 

Я читаю статью «Быстрых Паксосов» Лесли Лампорта и застреваю с доказательствами правильности как классических Паксосов, так и Быстрых Паксосов. Для согласованности значение vvv выбранное координатором на этапе 2a2a2a в раунде iii должно удовлетворять CP(v,i):CP(v,i):CP(v,i): Для любого раундаj&lt;ij&lt;ij < i никакое значение, кромеvvv не было или не могло быть выбрано в …

13 ds.algorithms  dc.distributed-comp  proofs 

Существует несколько доказательств логлинейной нижней границы для проблемы уникальности / отличимости элементов (основанной на деревьях алгебраических вычислений или состязательных аргументах), но я ищу достаточно простую для использования в первом курсе анализа и проектирования алгоритмов. Тот же «уровень сложности», что и нижняя граница для сортировки, вполне подойдет. Кроме того, любой подход …

13 cc.complexity-theory  lower-bounds  proofs 

В главе 10 HAC (10.4.2) мы видим хорошо известный протокол идентификации Фейге-Фиат-Шамира, основанный на доказательстве с нулевым знанием, использующем (предполагаемую) сложность извлечения квадратных корней по модулю композита, который трудно проанализировать. Я дам схему своими словами (и, надеюсь, сделаю все правильно). Давайте начнем с более простой схемы: пусть nnn будет целым …

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 

В последнее время я узнал об интерактивных доказательствах, и мне было интересно, было ли все это не более чем теоретическое любопытство, или у него было какое-то практическое применение. Я думал, что начну с примера, который пришёл мне в душ: В последнее время стало известно, что «Божье число» = 20. (Число …

11 proofs  puzzles  interactive-proofs 

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

11 sat  soft-question  proofs