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

Я ищу учебный материал, который охватывает доказательства корректности компилятора, предпочтительно с использованием денотационных методов, на уровне начинающего аспиранта. В качестве альтернативы, вы знаете несколько простых примеров компилятора, которые я мог бы использовать для иллюстрации проблем? (Первым примером, который мне пришёл в голову, был переводчик с выражений из инфикса в постфикс. …

20 reference-request  pl.programming-languages  semantics  compilers 

Следующая интересная проблема возникла в моем исследовании недавно: МИГ: График .G ( V, E)G(V,E)G(V, E) РЕШЕНИЕ: завершение неординарного нечетного цикла, определяемое как надмножество множества ребер, так что завершенный граф обладает свойством того, что каждое ребро в содержится в нечетком нечетном цикле. E G ′ ( V , E ′ ) …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Каковы некоторые известные результаты для нахождения точного n-мерного подмассива внутри n-мерного массива? В 1D это просто проблема соответствия строк, KMP делает это за линейное время. В 2D эта статья показала, что это можно сделать за линейное время с небольшим дополнительным пространством. Можно ли решить эту проблему в наихудшем случае с …

20 ds.algorithms  reference-request  string-matching 

Предположим, что граф с вершинами представлен как поток из ребер, но допускается несколько проходов по потоку.н мграммGGNnnмmm Моника Раух Хензингер, Прабхакар Рагхаван и Шридар Раджагопалан отметили, что пространство необходимо, чтобы определить, существует ли путь между двумя заданными вершинами в , если для данных разрешено проходов. (См. Также версию технического отчета …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Проводились ли исследования по внедрению конструкций экстракторов случайности? Кажется, что доказательства экстрактора используют Big-Oh, оставляя возможность для больших скрытых констант, делая программные реализации потенциально нереальными. Некоторый контекст: я заинтересован в использовании экстракторов случайности в качестве быстрого источника (доказуемо?) Случайных чисел для использования в симуляциях Монте-Карло. Мы (группа вычислительной физики ETHZ) …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

В классе сложности есть некоторые проблемы, предположительно не входящие в класс N C , то есть проблемы с детерминированными параллельными алгоритмами. Проблема максимального потока является одним из примеров. И есть проблемы, СЧИТАЕМЫЕ быть в N C , но доказательство еще не найдено.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Идеальный Matching проблема является одной из наиболее фундаментальной …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Классическая проблема в теории вероятностей состоит в том, чтобы выразить вероятность события в терминах более конкретных событий. В простейшем случае можно сказать, что . Напишем для события .п[ A ∪ B ] = P[ A ] + P[ B ] - P[ A ∩ B ]п[A∪В]знак равноп[A]+п[В]-п[A∩В]P[A \cup B] = …

20 reference-request  pr.probability 

Я ищу хороший обзор алгоритмов и сложности линейной алгебры (операции типа ранга, обратные, собственные значения, ... для логических, и целых / рациональных матриц) с акцентом на параллельные ( иерархия N C ) и полимерные алгоритмы , Я не мог найти недавний.FpFp\mathbb{F}_pNCNCNC Знаете ли вы хороший недавний опрос или книгу о …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Дополнение цепь представляет собой последовательность положительных целых чисел , где х 1 = 1 , и каждый индекс я ≥ 2 , мы имеем й я = х J + х K для некоторых индексов 1 ≤ J , к < я . Длина прибавления цепи п ; мишень из …

20 reference-request  np-hardness 

Существует большое количество литературы по «тестированию свойств» - проблеме создания небольшого числа запросов черного ящика к функции чтобы различать два случая:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R является членом некоторого класса функций CfffCC\mathcal{C} является ε -far из каждой функции в классе C .fffεε\varepsilonCC\mathcal{C} Диапазон функции иногда является логическим: R = { 0 , 1 …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Класс сложности PPAD (например, вычисление различных равновесий по Нэшу) может быть определен как совокупность полных задач поиска, многократно сводимых к END OF LINE : КОНЕЦ ЛИНИИ : Для заданных схем S и P с n входными битами и n выходными битами, такими что P (0 n ) = 0 n …

20 reference-request  combinatory-logic  graph-theory  ppad 

Этот вопрос похож на более общий вопрос о том, какова правильная теоретическая модель компьютера для разработки алгоритма и структур данных. Здесь я задаю конкретный вопрос о современных высокопроизводительных компьютерах (например, тех, которые перечислены в списке 500 лучших ) или даже о предстоящие суперкомпьютеры. Учитывая, что эти компьютеры обычно работают с …

20 reference-request  soft-question  machine-models 

Главный / Общий Вопрос Пусть LLL будет языком. Определим языки LiLiL_i с L0=LL0=LL_0 = L и Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} для i≥1i≥1i \geq 1 . Рассмотрим L = ⋃ л я . Таким образом, мы неоднократно «встраивать» L в себя , чтобы получить L …

19 reference-request  fl.formal-languages 

Какова временная сложность (не сложность запросов) алгоритма Гровера? Мне кажется ясным, что это поскольку существуют итерации и каждая итерация требует использования операции отражения, которая в свою очередь требует времени с использованием любого стандартного набора универсальных ворот.Ω( √Ω ( журнал( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(log(N))Ω ( N--√)Ω(N)\Omega(\sqrt{N})Ω ( журнал( N) )Ω(log⁡(N))\Omega(\log(N)) Проблема в …

19 reference-request  quantum-computing  time-complexity 

В адиабатических квантовых вычислениях (AQC) каждый кодирует решение задачи оптимизации в основном состоянии [проблемы] гамильтониана . Чтобы добраться до этого основного состояния, вы начинаете в легко охлаждаемом начальном (основном) состоянии с гамильтонианом и «отжигом» (адиабатически возмущаемым) в направлении , т.е.ЧАСпЧАСпH_pЧАСяЧАСяH_iЧАСпЧАСпH_p ЧАС( s ) = s Hя+ ( 1 - с …

19 reference-request  quantum-computing  physics  topology