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

У меня есть проблема, которая находится в NEXP и также может быть решена с помощью чередующегося ТМ, использующего экспоненциальное время и только одно чередование (начиная с экзистенциального состояния).NPNP^{\text{NP}} Что-нибудь известно о NEXP ? Это равно NEXP или какому-то другому классу? Существуют ли полные проблемы, кроме общей (учитывая машину NEXP и …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Этот вопрос был мотивирован вопросом, заданным на stackoverflow . Предположим, вам дано корневое дерево (т. Е. Есть корень, а у узлов есть дочерние элементы и т. Д.) На n узлах (обозначены 1 , 2 , … , n ).TTTNnn1 , 2 , … , n1,2,…,n1, 2, \dots, n Каждая вершина …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

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

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Скажем, что алгоритм независимо изучает по любому распределению, если для любого он может с вероятностью найти функцию такую, что , с учетом времени и число выборок из , ограниченное полиномом от и .AAACCCDDD2/32/32/3ffferr(f,D)≤OPT(C,D)+ϵerr(f,D)≤OPT(C,D)+ϵerr(f,D) …

11 reference-request  machine-learning  lg.learning 

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

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Во многих учебниках легко найти доказательства сокращения предмета и строгой нормализации для Системы F, а также иногда есть определения Системы F с парами, где (t, r) - это термин, а не только кодировка. Вопрос в том, что будет ссылкой на эту систему?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

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

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Я особенно заинтересован в их использовании в приложениях для проверки моделей. У меня есть открытые, закрытые и смешанные сети очередей с разными классами клиентов по Baskett et al. Любые другие предложения для чтения материала? Спасибо.

11 reference-request  markov-chains  queueing-theory  model-checking 

Обозначим через минимальную степень выхода в G , а через δ - ( G ) минимальную степень.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) В связанном вопросе я упомянул расширение Гуила-Хури теоремы Дирака о гамильтоновых циклах , которое предполагает, что если тогда G гамильтоново.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} В своем комментарии Саид прокомментировал другое расширение, которое кажется более сильным, …

11 reference-request  graph-theory 

Согласно книге «Топологическая теория графов» Гросса и Такера, учитывая клеточное вложение графа на поверхность (под «поверхностью» я подразумеваю здесь сферу с некоторыми ручками , а ниже S n относится к сфере с ровно n ручками), можно определить двойной мультиграф, рассматривая грани исходного графа, встраиваемые как вершины, и добавляя ребро между …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Была ли работа по восстановлению наклона отрезка линии после его оцифровки? Конечно, нельзя делать это с идеальной точностью; то, что нужно, - это метод получения из оцифрованной линии интервала возможных уклонов. (Понятие оцифрованной строки, которую я использую, - это Розенфельд: набор пар где располагается над целыми числами (или блоком последовательных …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

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

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Мне интересно, может ли кто-нибудь подсказать мне, почему строгая положительность индуктивных типов данных гарантирует строгую нормализацию. Чтобы было ясно, я вижу, как наличие отрицательных явлений приводит к расхождению, то есть путем определения: data X where Intro : (X->X) -> X мы можем написать расходящуюся функцию. Но мне интересно, как мы …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

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

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

Термин « инверсия программы» имеет несколько оттенков смысла, но, вероятно, он начался с работы Дж. Маккарти 1956 года «Обращение функций, определенных машинами Тьюринга в контексте ИИ». К настоящему времени обнаружено множество связей между инверсией программы и другими областями, например, обратимое программирование (физическое и логическое), частичная оценка, верификация, двунаправленное программирование, логическое …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing