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

Существует ли алгоритм полиномиального времени, чтобы найти - если он существует - остовный паук данного графа ? Паук - это дерево с не более чем одним узлом со степенью больше 2: я знаю, что различные условия степеней на (по существу, достаточно большие степени узлов) гарантируют существование остовного паука. Но мне …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Я ищу в Интернете доступные лекционные заметки или другие ресурсы, которые дают хорошее введение в параллельное программирование, подобно параллельным аналогам базовых классов по информатике. Я сосредоточен на следующем: пока я могу говорить о «разделяй и властвуй», жадных алгоритмах, динамическом программировании и т. П., То есть об основных шаблонах последовательных алгоритмов …

10 reference-request  soft-question  dc.parallel-comp  survey 

Я ищу полный текст результата клики Луны и Мозера 1965 г. О кликах в графах (существуют графы с числом максимальных клик, экспоненциальным по ). Платежная система моего университета не имеет доступа к конкретному журналу. (На самом деле, предварительный просмотр предоставляет первые несколько предложений доказательства, но затем оставляет меня без остатка!)Nnn …

10 reference-request  graph-theory  co.combinatorics  clique 

Предположим, что - булев язык из конечных строк над . Пусть будет количеством строк в с длиной . Для функции от натуральных чисел до натуральных чисел имеет верхнюю плотность если для всех достаточно больших .{ 0 , 1 } L n L n d ( n ) L d ( …

10 cc.complexity-theory  reference-request  p-hardness 

Для смешанного графа с ребрами E и дугами A найдите совпадение в E, которое минимизирует количество дуг в G / M , где G / M получается из G путем сжатия совпадающих вершин и удаления параллельные дуги.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Является ли (вариант решения) этой проблемой NP-полной? Было ли это изучено в литературе?

10 cc.complexity-theory  reference-request  graph-theory 

Мой вопрос касается эквивалентности безопасности различных односторонних функций-кандидатов, которые могут быть построены на основе сложности факторинга. Предполагая проблему ФАКТОРИНГ: [Дано для случайных простых чисел , найти , ]P , Q &lt; 2 n P QN=PQN=PQN = PQP,Q&lt;2nP,Q&lt;2nP, Q < 2^nPPPQQQ невозможно решить за полиномиальное время с незначительной вероятностью, функция PRIME-MULT: …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

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

10 reference-request  denotational-semantics 

Мне любопытно, если бы кто-то мог порекомендовать какой-нибудь дополнительный материал для более глубокого понимания статьи: « Некоторые результаты и проблемы о квантовых неравенствах типа Белла - Цирельсон ». В частности, кое-что, что может более подробно рассказать о геометрической интерпретации неравенств типа Белла. Возможно, учебник для начинающих или соответствующий учебник, в …

10 reference-request  quantum-computing  quantum-information 

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

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Хотя экспоненциальное разделение между сложностью квантового запроса с ограниченной ошибкой ( Q ( f)Q(f)Q(f) ) и сложностью детерминированного запроса ( Д ( ф)D(f)D(f) ) или сложностью рандомизированного запроса с ограниченной ошибкой ( R ( f)R(f)R(f) ) известно, они применяются только к определенным частичным функциям. Если частичные функции имеют некоторые специальные …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Span-программа - это линейно-алгебраический способ задания булевой функции, представленный здесь . Недавно эта модель использовалась, чтобы показать, что метод отрицательного противника обеспечивает точную характеристику (по крайней мере, до ) сложности квантовых запросов.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Мера сложности, связывающая программы span с квантовой сложностью запроса, - это размер свидетеля. Эта …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

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

10 reference-request  big-list  derandomization  pr.probability 

Этот вопрос в том же духе, что и вдохновляющие разговоры для учеников старших классов . Мой доктор философии консультант попросил меня дать вдохновляющую лекцию для нового M.Sc. студенты. Предмет - основы криптографии , которая лучше всего иллюстрируется книгой Гольдрайха . Беседа займет около часа, и я хочу познакомить студентов с …

10 reference-request  soft-question  cr.crypto-security  teaching 

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

10 reference-request  lg.learning  gt.game-theory 

Какие документы по обработке ошибок в распределенных системах вы рекомендуете?

10 reference-request  dc.distributed-comp