Меня интересуют проверенные компиляторы, формализованные в теории типов Мартина-Лёфа, т.е. Coq / Agda. На данный момент я написал небольшой игрушечный пример. Тем самым я могу доказать, что мои оптимизации верны. Например, могут быть исключены дополнения с нуля, например, выражения типа «x + 0»....
Пусть ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n)) будет классом языков, определяемым чередующимися машинами Тьюринга, которые останавливаются во времени f(n)f(n)f(n) используя пространство g(n)g(n)g(n) . Пусть A A L T S P (F( н ) , г( н ) )AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))...
Я смущен. Я хочу доказать, что это проблема сортировкиnNn по nnn матрица, т.е. строки и столбцы в порядке возрастания Ω(n2logn)Ω(n2logn)\Omega(n^2\log n), Я исхожу из предположения, что это можно сделать быстрее, чемn2lognn2lognn^2\log n и попытаться нарушить log(m!)log(m!)\log(m!) нижняя...
Существует ли известное семейство групповых действий с назначенным элементом в наборе, над которым выполняется действие, где известно, как эффективно \: выборка (по существу, равномерно) из групп, вычисление обратных операций, вычисление групповых операций и вычисление групповых действий \: и нет...
Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос так, чтобы он соответствовал теме теоретической информатики в стеке. Закрыто 7 лет назад . Как мы можем выразитьP=PSPACEP=PSPACEP=PSPACE"как формула первого порядка? Какой...
Я преподаю курс метаэвристики, и мне нужно создать интересные примеры классических комбинаторных задач для термина «проект». Давайте сосредоточимся на TSP. Мы занимаемся графиками размерности200200200и больше. Я попытался, конечно, сгенерировать график с матрицей затрат со значениями, взятыми из...
Я видел, что некоторые люди используют нотацию Кривина для приложения функции при представлении синтаксиса для λλ\lambda-исчисление. Например,λλ\lambda-срок λf.λx.λy.f x yλf.λx.λy.f x y\lambda f . \lambda x . \lambda y . f\ x\ y (с обычным соглашением, что приложение функции ассоциируется слева,...
Я аспирант из Индии. Мне очень интересно посещать семинары, конференции и приглашенных лекторов от известных профессоров. В конце беседы, как обычно, некоторые люди задают вопросы, а докладчик отвечает на них. Но моя проблема в том, что я не понимаю большинство вопросов и ответов. Даже если я задам...
Мы знаем, что . Из теоремы Савича и из теоремы пространственной иерархии . Итак, поскольку мы не знаем, , мы не знаем, , или мы знаем, что ? Кто-нибудь пытался доказать, что \ mathcal L ^ 2 \ subseteq \ mathcal P ? Каковы последние результаты или усилия в этом направлении? Я пытался написать опрос...
Я столкнулся со следующим вопросом, который является легким упражнением (спойлер ниже). Нам дают nnnэкземпляры проблемы остановки (т. е. ТМ ), и нам нужно решить, какие именно из них останавливаются на . То есть нам нужно вывести . Нам дан оракул для решения проблемы остановки, но мы должны...
Большая часть литературы по квантовым вычислениям фокусируется на схемотехнической модели. Адиабатические квантовые вычисления основаны не на применении последовательности унитарных операторов, а на изменении зависящего от времени гамильтониана. Я ищу понимание любого из следующего. Являются ли...
Рассмотрим граф со всеми ребрами, имеющими единичную емкость. Можно найти минимальное сокращение за полиномиальное время. Предположим, мне разрешено увеличивать емкость любых ребер до бесконечности (эквивалентно объединению узлов по обе стороны ребра). Каков оптимальный способ выбора оптимального...
Предположим, мы работаем в конечном поле. Нам дан большой фиксированный многочлен p (x) (скажем, степени 1000) над этим полем. Этот многочлен известен заранее, и нам разрешено выполнять вычисления с использованием большого количества ресурсов на «начальной стадии». Эти результаты могут быть...
Рассмотрим формулу Monotone 3CNF, имеющую оба следующих дополнительных ограничения: Каждая переменная появляется в точности 222 статьи. Учитывая любой 222 пункты, они разделяют не более 111 переменная. Я хотел бы знать, насколько сложно рассчитывать удовлетворяющие задания такой формулы. Обновление...
Вот два семейства хеш-функций на строках x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle: За ppp премьер и xi∈Zpxi∈Zpx_i \in \mathbb{Z_p}, h1a(x⃗ )=∑aiximodpha1(x→)=∑aiximodph^1_{a}(\vec{x}) = \sum a^i x_i \bmod pдля . Dietzfelbinger et al. в «Полиномиальные хеш-функции...
Введение Я пишу докторскую диссертацию по абстрактному дельта-моделированию (ADM), абстрактному алгебраическому описанию модификаций (известных как дельты ), способных воздействовать на продукты (как в «программных продуктах»). Это может быть использовано для организации набора связанных продуктов...
Прошу прощения за краткость названия, я, возможно, пожертвовал ясностью на алтаре краткости. Можно видеть, что вставка элементов массива в двоичное дерево поиска и их повторное чтение требует (при вставке) тех же сравнений, что и запуск Quicksort для этого массива. Последовательность точек, которую...
Во введении к этой статье « В конечном итоге линеаризуемые общие объекты» (PODC'10) авторы представили следующее утверждение без ссылок: Однако линеаризуемость может быть достигнута тогда и только тогда, когда можно достичь консенсуса. Здесь линеаризуемость - это самое сильное известное свойство...
Позволять FFF быть семьей dddподмножества конечной вселенной UUUобъектов. СемьяHHH из kkkподмножества UUU, с 1≤k<d1≤k<d1 \le k < d, это (k,d)(k,d)(k,d)- наезд набора изFFF если для каждого V∈FV∈FV \in F существует хотя бы один набор W∈HW∈HW \in H такой, что W⊂VW⊂VW \subset V, Учитывая...
Я ищу сложности выполнимости формулы или формулы где - формула вида: Где - постоянная в , а область переменных также равна .∀y1,…,yn,∃x1,…,xm,ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃x1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1,...