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

Я прочитал статью Фрейда «Алгебраически полные категории» в известной книге Como90, и у меня есть два вопроса о понятии алгебраической компактности, которое он определил в этой статье. (Если вы не знакомы с определением, вот оно: категория называется алгебраически компактной, если каждый эндофунктор имеет начальную алгебру и конечную коалгебру, которые канонически …

12 reference-request  type-theory  ct.category-theory 

Я ищу библиографические ссылки для следующего алгоритма / проблемы: я назвал его "BiSelect" или "t-ary Select" или "Select in Union of Sorted Arrays", но я предполагаю, что он был представлен ранее под другим именем? проблема Рассмотрим следующую проблему: Для заданных непересекающихся отсортированных массивов A 1 , … , A k …

12 reference-request 

Я пытаюсь понять, к какому классу сложности относится следующая проблема: Экспонирующая полиномиальная корневая проблема (EPRP) Пусть - многочлен с deg ( p ) ≥ 0 с коэффициентами, взятыми из конечного поля G F ( q ), где q - простое число, а r - примитивный корень для этого поля. Определите …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Знаем ли мы, что иерархия не разрушается ( T C 0 d ⊊ T C 0 d + 1 для всех d )?Т С0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd В записи Zoo для TC0TC0\mathsf{TC^0} упоминается только расстояние между глубиной 2 и 3. Кроме того, есть стандартная ссылка на тот факт , что С …

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

В настоящее время я занимаюсь исследованиями Формального языка, в которых участвуют классы языков выше обычного, но ниже контекста. Я смотрю на такие вещи, как машины с множеством счетчиков с ограниченным обращением, счетчики с одним стеком, детерминированные КЛЛ и т. Д. Мне интересно, знает ли кто-нибудь хорошую книгу или обзорную статью, …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Симплексный алгоритм часто трактуется либо в реальной арифметике, либо в дискретном мире с точными вычислениями. Однако, это, кажется, чаще всего реализуется с помощью арифметики с плавающей точкой. Это приводит к вопросу, следует ли рассматривать симплексный алгоритм как числовой алгоритм, в частности, как ошибки округления влияют на вычисления. Меня не интересуют …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Если вам дан набор частичных заказов, топологическая сортировка скажет вам, есть ли расширение коллекции до общего заказа (в данном случае расширение представляет собой общий заказ, соответствующий каждому из частичных заказов). Я встретил вариант: Зафиксируем множество . Вам даны последовательности σ 1 , … σ k элементов, взятых из V без …

12 ds.algorithms  reference-request  order-theory 

MPA (многопробельный автомат) - это 2DFA (двусторонний детерминированный конечный автомат), который может использовать произвольное количество камешков (на самом деле самое большее камешков на заданном входе - вход записывается на ленту между двумя концами -маркер как ). Во время вычисления MPA может обнаружить, есть ли у символа под головой камешек, и …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Я надеюсь, что кто-то знает ссылку на это, поэтому мне не нужно читать литературу ... Рассмотрим последовательность чисел . Думайте о последовательности как о n - 1 интервалах [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - …

12 ds.algorithms  reference-request  sorting 

Уникальная SAT является хорошо известной проблемой: учитывая формулу CNF , верно ли, что F имеет ровно одну модель?FFFFFF Меня интересует проблема «точно -SAT»: учитывая формулу CNF F и целое число m > 1 , правда ли, что F имеет ровно m моделей?мmmFFFm > 1m>1m>1FFFmmm Обе проблемы выглядят одинаково. Итак, мои …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Если представляет собой график с максимальной степенью 3 и является минор H , то G является топологическим минор H .граммGGЧАСHHграммGGЧАСHH Википедия цитирует этот результат из «Теории графов» Дистеля. В последней версии книги он указан как Опора 1.7.4. В книге нет доказательств или цитирования. Известно ли местонахождение (оригинальное) доказательство этого? Кроме …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Мы можем думать о колмогоровской сложности строки xxx как о длине самой короткой программы PPP и вводим , что . Обычно эти программы взяты из некоторого полного набора Тьюринга (например, может быть описанием машины Тьюринга, или это может быть программа на LISP или C). Даже когда мы смотрим на ограниченную …

12 reference-request  computability  kolmogorov-complexity 

Есть ли обзор (из бумаги, главы книги, учебника, ссылок, ...) семантики различных функций языка программирования? Первоначально я был поражен возможностями D здесь http://www.digitalmars.com/d/2.0/comparison.html Я хотел бы посмотреть, что я мог бы получить отсюда, хотя я задал похожий вопрос по stackoverflow и понимаю, что эти два сайта имеют разные перспективы. Очень …

12 reference-request  pl.programming-languages  survey 

Я ищу хороший справочник для кратчайших путей узкого места. В частности, учитывая вершины s и t в неориентированном графе с весом ребер, вы хотите кратчайший путь от s до t, где длина пути - это максимальное ребро на этом пути. Это можно решить за время O (n + m), найдя …

12 ds.algorithms  reference-request  graph-algorithms 

Что известно о следующей проблеме? Для набора функций : f : { 0 , 1 } n → { 0 , 1 } найдите наибольшую подгруппу S ⊆ C с учетом ограничения VC-Dimension ( S ) ≤ k для некоторого целого числа k .СCCе: { 0 , 1 }N→ { …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension