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

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

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Позволять ЧАСA LTNHALTnHALT_n обозначить строку длины 2N2n2^n соответствует таблице истинности проблемы остановки для входов длины Nnn, Если последовательность колмогоровских сложностей К( HA LTN)K(HALTn)K(HALT_n) мы O ( 1 )O(1)O(1), тогда одна из строк рекомендаций будет использоваться бесконечно часто, и TM с этой жестко закодированной строкой сможет решить ЧАСA L THALTHALT равномерно …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Каков современный уровень сложности запросов для правильных формул PAC, изучающих 2-DNF с типовыми запросами и при равномерном распределении ? Или какие-нибудь нетривиальные ограничения на это? Поскольку я совсем не знаком с теорией обучения, и этот вопрос мотивирован другой областью, ответ может быть очевидным. Я проверил книгу Кернса и Вазирани, но …

10 reference-request  lg.learning  boolean-functions 

При введении модульной декомпозиции графа большинство авторов используют граф из 11 вершин, который я копирую из википедии. Вопрос в том, кто является (являются) его первоначальным разработчиком. (Я не спрашиваю, кто нарисовал этот график для Википедии, но его первоначальный источник.) Страница википедии была создана в декабре 2006 года. Самый ранний источник, …

9 reference-request  graph-theory 

В [1] Garey et al. определите то, что позже будет известно как проблема суммы квадратных корней в ходе разработки NP-полноты евклидовой TSP. Даны целые числа a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n а также LLLопределить, если a1−−√+a2−−√+⋯+an−−√&lt;La1+a2+⋯+an&lt;L\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L Они отмечают, что даже не очевидно, что эта …

9 reference-request  cg.comp-geom  na.numerical-analysis 

Каковы наиболее известные асимптотические верхние оценки размеров вероятностно проверяемых доказательств? В идеале я ищу современное исследование по этому широкому вопросу, но если его нет, меня особенно интересует неприемлемость 3-SAT. Пусть 7/8 + ε-3-SAT будет 3-SAT с обещанием, что если 7/8 + ε доля предложений выполнима, то экземпляр является выполнимым. Каковы …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

В « Интуиционистской теории типов: предиктивная часть» Мартина-Лёфа доказано, что проверка типов:a:Aa \colon Aразрешимо при условииaaaбудучи в первую очередь типизируемым , доказывая теорему нормализации для замкнутых типизируемых членов. С другой стороны, я видел, что во многих местах (Википедия, Нордстрем и т. Д.) Написано, что проверка типов в (интенсиональном) MLTT разрешима; …

9 reference-request  type-theory  type-inference 

Есть ли структура / формализм, который определяет вычислительные модели, основанные на белках, отличных от модели ДНК Адлемана или этой работы Черри и Цянь ?

9 reference-request  machine-models 

Для фиксированного языка LLL на каком-то алфавите AAA, давайте рассмотрим следующую проблему, которую я называю LLL-Интерлевинг : Вход: два слова u,v∈A∗u,v∈A∗u, v \in A^* Вывод: существует ли там перемежения изuuu а также vvv который в LLL, Здесь чередование двух словuuu а также vvv это слово www что можно получить интуитивно, …

9 cc.complexity-theory  reference-request  regular-language 

Пусть будет языком, и определим как тогда и только тогда, когда , Я ищу ссылку для:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Предложение. является регулярным, если детерминированная коммуникационная сложность постоянна.LLLfLfLf_L Другими словами, является регулярным, если существует протокол для двух игроков для такой, …

9 reference-request  communication-complexity  regular-language 

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

9 ds.algorithms  reference-request  string-matching 

При фиксированном ориентированный граф (орграф) , то Проблема Решение -раскраска спрашивает , может ли входной Орграф имеет гомоморфизм к . (Гомоморфизм в - это отображение из в , сохраняющее дуги, то есть, если - дуга в , то - это дуга )DDDDDDGгGDDDGгGDDDfffV(G)V(G)V(G)V(D)V(D)V(D)uvuvuvGGGf(u)f(v)f(u)f(v)f(u)f(v)DDD Класс задач ЦВЕТА тесно связан с гипотезой дихотомии …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Позволять GGG а также HHH быть двумя rrrрегулярные связные графы размера nnn, ПозволятьAAA быть набором перестановок PPP такой, что PGP−1=HPGP−1=HPGP^{-1}=H, ЕслиG=HG=HG=H тогда AAA это множество автоморфизмов GGG, Каков самый известный верхний предел размера AAA? Есть ли какие-либо результаты для конкретных классов графов (не содержащих полных / циклических графов)? Примечание. Построение …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Пусть - граф, который является несвязным объединением клики и независимого множества, то есть GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Класс графов всех таких графов характеризуется набором запрещенных индуцированных подграфов и, таким образом, является пересечением кластерного графа и расщепленного (или порогового) графа.H={2K2,P3}H={2K2,P3}\mathcal{H} = \{2K_2, P_3\} У этого …

9 reference-request  graph-theory  graph-classes 

Этот вопрос двоякий и в основном ориентирован на справочную информацию: Есть ли где-нибудь, где даны основные интуиции для доказательства теоремы о графе, не вдаваясь в подробности? Я знаю, что доказательство длинное и сложное, но, безусловно, должны быть ключевые идеи, которые можно донести проще. Существуют ли другие отношения на графах, которые …

9 reference-request  graph-theory  graph-minor