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

Я слышал о результате в приблизительной окраске графика, но не могу найти источник. Результат: Для каждой константы существует достаточно большое k, такое, что раскраска k- раскрашиваемого графа в h k цветов NP-трудна.часhhКkkКkkч кhkhk Может ли кто-нибудь указать мне соответствующую статью?

10 reference-request  approximation-hardness  graph-colouring 

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

10 reference-request  pl.programming-languages  compilers  program-analysis 

Я ищу ссылки на сложность проблемы балансировки булевых формул . В частности, Было ли известно, что булевы формулы могут быть сбалансированы в ?AC0AC0\mathsf{AC^0} Есть ли простое доказательство балансировки булевой формулы в ?AC0AC0\mathsf{AC^0} Под «простым» я подразумеваю доказательство, более простое, чем упомянутое ниже, в частности, я ищу доказательство, которое не зависит …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Недавно я прочитал приличное количество статей CoLT. Хотя я не борюсь с отдельными статьями (по крайней мере, не больше, чем я обычно борюсь с другими теоретическими работами), я не чувствую, что у меня есть хорошее широкое понимание области в целом. Существуют ли стандартные тексты, обзоры или конспекты лекций для введения …

10 reference-request  machine-learning  lg.learning  survey  books 

В простейших представлениях для графов используются матрицы / списки смежности, что означает, что каждый узел и ребро представлены явно. Важность неявных представлений для графов, демонстрирующих сильные закономерности, давно признана. Например, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( «Заметка о кратких представлениях графов» , 1986) исследовали вопрос о графах, матрица …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

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

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Несколько лет назад я наткнулся на следующее левое правило равенства в последовательном исчислении: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Здесь s≐t⇝θs≐t⇝θs \doteq t \leadsto \theta вычисляет наиболее общий объединитель θθ\theta для sss и ttt , а затем применяет подстановку к …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

Пусть некоторое множество Взаимно несмещенной баз (MUB) в С п , т.е. каждый B я ортонормированный базис и V ∈ B я , ш ∈ B J , я ≠ J мы есть | ⟨ V | ж ⟩ | = 1B={B1,…,Bk}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, B_k\}CnCn\mathbb{C}^nBiBiB_iv∈Bi,w∈Bj,i≠jv∈Bi,w∈Bj,i≠jv \in B_i, w \in …

10 reference-request  quantum-information 

JBV предложил мне превратить некоторые комментарии в вопрос, так что здесь. Другой вопрос [1] касается применения QM-вычислений. Одним из ответов [2] было «эффективное моделирование квантовой механики». Очевидно, эта идея восходит к ранним работам Фейнмана на эту тему; хотя у меня нет ссылки. Так: Вопрос. Что является доказательством того, что квантовый …

10 reference-request  quantum-computing  application-of-theory 

В статье « О двух проблемах теории информации» Эрдёс и Реньи дают нижние оценки минимального количества взвешиваний, которое необходимо сделать, чтобы определить количество фальшивых монет в наборе из монет.NNn Более формально: Поддельные монеты имеют меньший вес, чем правильные монеты; веса и как правой, так и фальшивой монеты известны. Дается шкала, …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Какова текущая наилучшая граница для выполнения запросов подсчета диапазона полупространства для набора мерных точек, выраженного в форме компромисса времени / пространства. Согласно основополагающей работе Матусека 1993 года (теорема 6.2, Поиск диапазона с эффективными иерархическими вырезами), мы можем выполнять подсчет диапазона для запросов, которые являются пересечением полупространств, для , используя структуру …

10 reference-request  ds.data-structures  cg.comp-geom 

Пусть граф с (положительно) взвешенными ребрами. Я хочу определить диаграмму Вороного для набора узлов / сайтов S , чтобы связать с узлом v ∈ S подграф R ( v ) группы G, индуцированный всеми узлами строго ближе к v, чем к любому другому узлу в S , измеряя длина пути …

10 reference-request  graph-theory  cg.comp-geom 

Я довольно хорошо знаком с теорией, лежащей в основе VC-Dimension, но сейчас я смотрю на последние (последние 10 лет) достижения в теории статистического обучения: (локально) средние Радемахера, лемма о конечных классах Массарта, Покрывающие числа, Цепочки, Дадли Теорема, псевдоразмерность, размерность, разбивающая жир, номера упаковок, состав Радемахера и, возможно, другие результаты / …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

В поисках исследовательских работ о системах типов для императивных языков я нахожу решения только для языка с изменяемыми ссылками, но без подлинных императивных структур управления, таких как составные операторы, циклы или условные выражения. Поэтому не ясно, как можно реализовать императивный язык с частичным выводом типа, например http://rust-lang.org . В статьях …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Алгоритм Дойча является хорошо известным квантовым вычислением f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} только с одной оценкой fff . Если мы заменим +++ на ⋅⋅\cdot проблема, похоже, станет другой. Мой вопрос: существует ли квантовый алгоритм, вычисляющий значение f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (или AND, если вы предпочитаете), используя только одну оценку fff . В противном случае: …

10 reference-request  quantum-computing