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

Было бы неплохо собрать список условий, которые подразумевают, что язык L без контекста является регулярным, то есть условия вида: «если данный CFG / PDA имеет свойство P, то его языки являются регулярными» Свойство P не должно характеризовать CFG, генерирующие регулярные языки. Кроме того, P не должен быть разрешимым, и P …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Какова наиболее известная сложность запроса алгоритма обучения Голдрайха-Левина? Лекционные заметки из блога Лука Тревисан в , леммы 3, утверждает его как . Это самый известный с точки зрения зависимости от п ? Буду особенно благодарен за ссылку на цитируемый источник!O ( 1 / ϵ4журнал nн )О(1/ε4Nжурнал⁡N)O(1/\epsilon^4 n \log n)NNn Смежный …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis 

Меня интересует «ближайшая» (и «самая сложная») проблема к гипотезе Коллатца , которая была успешно решена (на что Эрдос сказал, что «математика еще не созрела для таких задач»). Было доказано, что класс "коллатцовых" проблем неразрешим. Тем не менее, проблемы, которые в некоторой степени похожи, такие как MIU-игра Хофштадтера (решены, но, по …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Какова вычислительная сложность оптимизации различных функций над унитарной группой ?U( н )U(N)\mathcal{U}(n) Типичная задача, возникающая часто в квантовой теории информации, было бы максимизировать количество типа (или выше многочленов порядка в ) по всем унитарные матрицы . Является ли этот тип оптимизации эффективным (возможно, приблизительно) вычислимым или NP-сложным? (возможно, это хорошо …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

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

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

Я внедряю некоторую системную часть, которая требует некоторой помощи. Поэтому я формулирую это как проблему графа, чтобы сделать его независимым от домена. Задача: Нам дан ориентированный ациклический граф . Без ограничения общности предположим, что G имеет ровно одну исходную вершину s и ровно одну стоковую вершину t ; Пусть Р …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Это не домашнее задание, хотя выглядит так. Любая ссылка приветствуется. :-) Сценарий: есть nnn разных шаров и nnn разных бинов (помечены от 1 до nnn слева направо). Каждый шар брошен независимо и равномерно в мусорные ведра. Пусть f(i)f(i)f(i) будет количеством шаров в iii й корзине. Пусть EiEiE_i обозначает следующее событие. …

14 reference-request  co.combinatorics  pr.probability 

Я готовлю некоторые учебные материалы по эвристике для оптимизации и изучаю методы координатного спуска. Здесь настройка представляет собой многовариантную функцию которую вы хотите оптимизировать. f имеет свойство, ограниченное какой-либо одной переменной, его легко оптимизировать. Таким образом, спуск координат происходит путем циклического перемещения по координатам, фиксации всех, кроме выбранной, и минимизации …

14 ds.algorithms  reference-request  optimization  heuristics 

Пусть G будет ненаправленным графом из n узлов, и пусть T будет подмножеством узлов V (G), называемых терминалами . Сохранитель расстояния (G, T) - это граф H, удовлетворяющий свойству dЧАС( u , v ) = dграмм( ты , ты )dЧАС(U,v)знак равноdграмм(U,v)d_H(u,v) = d_G(u,v) для всех узлов u, v в T. …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

Рассмотрим следующий естественный вопрос: для какого конечного языка наименьшая не зависящая от контекста грамматика порождает L ?LLLLLL Мы можем сделать вопрос более интересным, указав последовательность языков , например, L n - это множество всех перестановок { 1 , … , n } : интуитивно, CFG для L n «должен» иметь …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Венгерский алгоритм - это комбинаторный алгоритм оптимизации, который решает проблему согласования двудольных с максимальным весом за полиномиальное время и предвосхищает дальнейшее развитие важного первично-двойственного метода . Алгоритм был разработан и опубликован Гарольдом Куном в 1955 году, который дал название «Венгерский алгоритм», потому что алгоритм основан на более ранних работах двух …

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

Кто представил идею рекурсии ? Может кто-нибудь объяснить, откуда он взялся и как он повлиял на информатику?

14 reference-request  ho.history-overview  recursion 

Недавно я узнал о гипотезе Жадности о самой короткой проблеме суперструн . В этой задаче нам дан набор строк и мы хотим найти самую короткую суперструну то есть такую, чтобы каждая как подстрока .s1,…,sns1,…,sns_1,\dots, s_n ssssisis_isss Эта задача является NP-трудной, и после длинной серии работ наиболее известный алгоритм приближения для …

14 reference-request  approximation-algorithms  greedy-algorithms 

Известно , что если проблема оценки цепи в N C 1 ? Как насчет A L о г т я м е (Uniform N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Мы знаем, что схемы глубины могут быть оценены схемами глубины k + c, где c - универсальная постоянная. Это означает, что схемы глубины …

14 cc.complexity-theory  reference-request  circuit-complexity 

Будучи студентом, изучающим информатику, я познакомился с теорией игр, но не видел подробностей по этому вопросу. Я искал в Google и просмотрел несколько книг по теории игр, и они предоставили подтверждение ее использования в информатике. Я начал формальное изучение теории игр с точки зрения экономиста. Теперь я хочу узнать о …

14 reference-request  gt.game-theory