Preguntas etiquetadas con reference-request

Parte de la dificultad de obtener más información sobre este problema es que el problema de coincidencia de gráficos es diferente de su primo mucho más famoso, el problema de coincidencia, pero es difícil distinguirlo cuando se utilizan motores de búsqueda. Dados dos gráficos y modo que, la tarea es …

11 reference-request  graph-theory  graph-isomorphism 

Estoy tratando de entender el protocolo bitcoin en el contexto de la seguridad criptográfica computacional. La pregunta es una solicitud de referencia a fundamentos de artículos de criptografía sobre bitcoin. Mi primera pregunta es ¿qué protocolo criptográfico abstracto está intentando implementar Bitcoin? ¿Tenemos una definición de dinero electrónico / moneda …

11 reference-request  cr.crypto-security 

¿Es este juego de información perfecto jugado en gráficos conocido / estudiado? Dado un gráfico G=(V,E)G=(V,E)G= (V,E) , dos jugadores se alternan eligiendo un borde o un nodo aislado. Si el jugador elige un borde e=(u,v)e=(u,v)e = (u,v) los dos nodos uuu y vvv se eliminan junto con sus bordes …

11 reference-request  combinatorial-game-theory 

Un problema abierto muy interesante en el estudio de las medidas de complejidad de la función booleana es la llamada conjetura de sensibilidad frente a sensibilidad de bloque. Para obtener información sobre la sensibilidad frente a la sensibilidad de bloque, puede consultar la siguiente publicación de blog de S. Aaronson …

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

Algunos antecedentes: Estoy interesado en encontrar límites inferiores "menos conocidos" (o resultados de dureza) para el problema de Aprendizaje con errores (LWE) y generalizaciones de los mismos como Aprender con errores sobre anillos. Para definiciones específicas, etc., aquí hay una buena encuesta realizada por Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf El tipo estándar de …

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

Estoy interesado en la pregunta de si NP es igual a coNP o no. Agradecería mucho algunos consejos sobre buenas publicaciones para leer sobre el tema. Para el registro, sé que esta pregunta está íntimamente relacionada con la pregunta de si P es igual a NP o no (de modo …

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

EDITAR (por Tara B): Todavía estaría interesado en una referencia a una prueba de esto, ya que tuve que demostrarlo yo mismo para mi propio artículo. Estoy buscando la prueba del Teorema 4 que aparece en este documento: Una jerarquía infinita de intersecciones de lenguajes sin contexto por Liu y …

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

Sea una secuencia de enteros donde cada a j ∈ { 1 , 2 , ... , n } . Para i ∈ { 1 , 2 , ... , n } , sea m i = | { j : a j = i } | . El k …

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

El problema de la galería de arte tradicional establece una región y guardias con alguna noción de visibilidad, y solicita el número mínimo de guardias que deben colocarse para ver toda la región. ¿Alguien ha mirado alguna vez las variantes de la galería de arte donde la región de visibilidad …

11 reference-request  cg.comp-geom 

Me gustaría saber si el siguiente problema se puede resolver en (espacio de registro no determinista):NLNL\mathsf{NL} Dado un grafo dirigido con dos distinguidos vértices y , es que hay un único camino de a en ?GGGssstttssstttGGG Creo que es probable que esté en ya que podemos decidir si hay una …

11 reference-request  graph-theory 

Actualmente estoy buscando algún buen material de referencia que relacione juegos no locales con aspectos beneficiosos en la comunicación cuántica. Por ejemplo, soy consciente de que los juegos no locales son buenos para reducir la complejidad de la comunicación, así como para garantizar la seguridad de los protocolos QKD. Lo …

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

¿Es posible construir un algoritmo que tome como entrada un autómata pushdown junto con la promesa de que el lenguaje aceptado por este autómata L ( M ) es un lenguaje determinista libre de contexto y genera un autómata determinista pushdown N que acepta exactamente el lenguaje aceptado por M …

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

Sé que la pregunta "si una fórmula de primer orden tiene un modelo" es indecidible en general.ϕϕ\phi ¿Alguien podría darme un enlace o un libro que dé la respuesta para modelos finitos? Si tengo una fórmula de primer orden , ¿es decidible si ϕ tiene un modelo finito? Estoy bastante …

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

Las lógicas condicionales son lógicas que aumentan la implicación lógica tradicional con operadores modales correspondientes a otras nociones de condición (por ejemplo, la condicional causal lee " A causa" B ", o condicionamiento probabilístico" A | B ", que dice" A dado B ").A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Por lo general, estas …

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

Tengo un problema que está en NEXP NP y también se puede resolver con una TM alterna usando tiempo exponencial y solo una alternancia (comenzando en un estado existencial).notario públicoNP^{\text{NP}} ¿Se sabe algo sobre NEXP NP ? ¿Es igual a NEXP o alguna otra clase? ¿Hay problemas completos además del …

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