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

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

11 reference-request  graph-theory  graph-isomorphism 

Я пытаюсь понять протокол биткойнов в контексте компьютерной криптографической безопасности. Вопрос является справочным запросом к основам криптографических статей о биткойнах. Мой первый вопрос: какой абстрактный криптографический протокол пытается реализовать биткойн? Есть ли у нас определение электронных денег / цифровой валюты в криптографии, которая фиксирует биткойны? Каковы требования безопасности для безопасных …

11 reference-request  cr.crypto-security 

Очень интересной открытой проблемой при изучении мер сложности булевой функции является так называемая гипотеза чувствительности и блочной чувствительности. Информацию о восприимчивости и чувствительности блоков вы можете найти в следующем посте С. Ааронсона по адресу http://www.scottaaronson.com/blog/?p=453 . Насколько мне известно, лучшая верхняя граница, известная для в терминах s ( f ), …

11 cc.complexity-theory  reference-request  fourier-analysis 

Знается ли / изучена ли эта совершенная информационная игра на графиках? Учитывая график , два игрока поочередно выбирают ребро или изолированный узел. Если игрок выбирает ребро два узла и удаляются вместе с их падающими ребрами. Если игрок выбирает изолированный узел, узел удаляется. Первый игрок, который не может двигаться, проигрывает. G …

11 reference-request  combinatorial-game-theory 

Меня интересует вопрос, является ли NP равным coNP или нет. Я был бы очень признателен за советы о хороших публикациях по этой теме. Для справки, я знаю, что этот вопрос тесно связан с вопросом о том, равен ли P NP или нет (например, если NP! = CoNP, то P! = …

11 cc.complexity-theory  reference-request  p-vs-np 

Немного предыстории: Я заинтересован в поиске «менее известных» нижних границ (или результатов твердости) для задачи «Обучение с ошибками» (LWE) и их обобщений, таких как «Обучение с ошибками над кольцами». Для конкретных определений и т. Д., Вот хороший обзор Регева: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Стандартный тип (R) предположения в стиле LWE заключается в (возможно, …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

РЕДАКТИРОВАТЬ (Тара B): Я все еще был бы заинтересован в ссылке на доказательство этого, так как я должен был доказать это сам для моей собственной статьи. Я ищу доказательство теоремы 4, которое появляется в этой статье: Бесконечная иерархия пересечений контекстно-свободных языков Лю и Вейнера. Теорема 4: - мерное аффинное многообразие …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Пусть - последовательность целых чисел, где каждый . Для , пусть, - й момент частоты определяется какa j ∈ { 1 , 2 , … , n } i ∈ { 1 , 2 , … , n } m i = | { j : a j = i …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Задача традиционной художественной галереи устанавливает регион и охранников с некоторым представлением о видимости и требует минимального количества охранников, которые необходимо разместить, чтобы увидеть весь регион. Кто-нибудь когда-нибудь смотрел варианты художественной галереи, где область видимости определяется парой охранников? Например, одна формулировка может заключаться в том, что точка покрыта, если есть пара …

11 reference-request  cg.comp-geom 

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

11 reference-request  quantum-computing  communication-complexity  quantum-information 

Я хотел бы знать, может ли быть решена следующая проблема в (недетерминированное пространство журнала):NLNL\mathsf{NL} Для ориентированного графа с двумя выделенными вершинами s и t существует ли единственный путь из s в t в G ?s tGGGssstttт гssstttGGG Я чувствую, что он, вероятно, находится в NLNL\mathsf{NL} так как мы можем решить, …

11 reference-request  graph-theory 

Можно ли построить алгоритм, который принимает в качестве входных данных автомат сокращения вместе с обещанием, что язык, принятый этим автоматом является детерминированным контекстно-свободным языком и выводит детерминированный автомат нажатия который принимает именно принятый язык на ?MMMЛ ( М)L(M)L(M)NNNMMM Эквивалентная проблема была бы построить алгоритм , который принимает в качестве входного …

11 reference-request  computability  fl.formal-languages  automata-theory 

Условная логика - это логика, которая дополняет традиционную логическую импликацию модальными операторами, соответствующими другим понятиям условия (например, условная причина To гласит: « вызывает« B », или вероятностное обусловливание « », которое читается как « данный »).A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Обычно эти логики изучаются теоретически, но я удивляюсь их применению для разработки …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

Я знаю, что вопрос «имеет ли формула первого порядка модель» вообще неразрешим.φϕ\phi Может ли кто-нибудь дать мне ссылку или книгу, которая даст ответ для конечных моделей. Если у меня есть формула первого порядка , можно ли имеет ли конечную модель? Я почти уверен, что вопрос хорошо известен, но я даже …

11 reference-request  lo.logic  computability  finite-model-theory 

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

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity