Preguntas etiquetadas con reference-request

La conjetura de reconstrucción dice que los gráficos (con al menos tres vértices) están determinados únicamente por sus subgrafos eliminados de vértices. Esta conjetura tiene cinco décadas. Al buscar literatura relevante, descubrí que se sabe que las siguientes clases de gráficos son reconstruibles: arboles gráficos desconectados, gráficos cuyo complemento está …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Quiero hacer un primer solucionador SAT. Conozco la competencia SAT y la conferencia SAT, y hay tantos documentos sobre este tema. Soy un abridor, un abrumador abrumador. ¿Dónde debería comenzar? Finalmente quiero impulsar el estado del arte. Quiero un consejo experto sobre cómo comenzar, para no perder mi tiempo en …

24 ds.algorithms  reference-request  lo.logic  sat 

Está bien establecido que existe un umbral de ruido para el cómputo cuántico, de modo que por debajo de este umbral, el cómputo se puede codificar de tal manera que produzca el resultado correcto con probabilidad acotada (a lo sumo, sobrecarga computacional polinómica). Este umbral depende de la codificación utilizada …

24 quantum-computing  reference-request  fault-tolerance 

Dada una enorme base de datos de palabras permitidas (ordenadas alfabéticamente) y una palabra, encuentre la palabra de la base de datos que esté más cerca de la palabra dada en términos de distancia de Levenshtein. El enfoque ingenuo es, por supuesto, simplemente calcular la distancia levenshtein entre la palabra …

24 ds.algorithms  reference-request  string-matching  string-search 

Para una constante , se puede determinar en tiempo lineal, dado un gráfico de entrada G , si su ancho de árbol es ≤ k . Sin embargo, cuando k y G se dan como entrada, el problema es NP-hard. ( Fuente )k ∈ Nk∈Nk \in \mathbb{N}solGG≤ k≤k\leq kkkksolGG Sin …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

La teoría de la complejidad, a través de conceptos como la completitud de NP, distingue entre problemas computacionales que tienen soluciones relativamente eficientes y aquellos que son intratables. La complejidad "de grano fino" tiene como objetivo refinar esta distinción cualitativa en una guía cuantitativa en cuanto al tiempo exacto requerido …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Actualmente, bitcoin tiene un sistema de prueba de trabajo (PoW) que usa SHA256. Otras funciones hash utilizan una prueba de gráficos de uso del sistema de trabajo, inversión parcial de la función hash. ¿Es posible usar un problema de Decisión en la teoría de nudos como el reconocimiento de nudos …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

He leído en innumerables artículos que determinar la constante Cheeger de un gráfico es -duro. Parece ser un teorema popular, pero nunca he encontrado ni una cita ni una prueba de esta afirmación. ¿A quién debo dar crédito por ello? En un documento antiguo (Isoperimetric Numbers of Graphs, J. Comb. …

23 reference-request  graph-theory  spectral-graph-theory 

Para un alfabeto finito fijo , un lenguaje formal sobre es normal si existe un autómata finito determinista (DFA) sobre que acepta exactamente .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Me interesan los idiomas que son "casi" regulares en el sentido de que pueden ser reconocidos por las familias de autómatas de tamaño …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Actualmente estoy tratando de encontrar problemas completos de EXPSPACE (principalmente para encontrar inspiración para una reducción), y estoy sorprendido por la pequeña cantidad de resultados que se presentan. Hasta ahora, encontré estos, y tengo problemas para expandir la lista: universalidad (u otras propiedades) de expresiones regulares con exponenciación. problemas relacionados …

23 cc.complexity-theory  reference-request  big-list 

Es posible que algunos de ustedes hayan estado siguiendo esta pregunta , que se cerró debido a que no tenía nivel de investigación. Entonces, estoy extrayendo la parte de la pregunta que está a nivel de investigación. Más allá de las técnicas "más simples", como reducir a la clasificación o …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 pares de contenedores separados. Este argumento (no completamente formal) nos lleva a esperar que la brecha entre XmaxXmaxX_{\max} y XminXminX_{\min} sea Θ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n}) con alta probabilidad. Estoy interesado en la brecha entre XmaxXmaxX_\max …

23 reference-request  pr.probability 

¿Alguien puede sugerir una encuesta buena y reciente sobre problemas de conteo y / o problemas que son #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Estoy interesado en el problema de empacar copias idénticas de rectángulos (2 dimensiones) en un polígono convexo (2 dimensiones) sin superposiciones. En mi problema, no puede rotar los rectángulos y puede suponer que están orientados en paralelo con los ejes. Solo se le dan las dimensiones de un rectángulo y …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Estoy tratando de entender la relación entre el isomorfismo gráfico y el problema oculto de subgrupos. ¿Hay una buena referencia para esto?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism