Preguntas etiquetadas con reference-request

Dado un gráfico dirigido, queremos decidir si contiene un ciclo dirigido de longitud par. Este artículo de 1997 de YUSTER y ZWICK afirma que no se sabe que el problema esté en ni que se sepa que es completo.PAGPAGPnortePAGnortePAGNP ¿Hay algún resultado reciente que resuelva la complejidad del problema del …

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

Escuché de un resultado en el color aproximado del gráfico, pero no puedo encontrar la fuente. El resultado es: Para cada constante existe una suficientemente grande como para que colorear un gráfico coloreable con colores sea ​​NP-duro.hhhkkkkkkh khkhk ¿Podría alguien señalarme el documento relevante?

10 reference-request  approximation-hardness  graph-colouring 

Estoy escribiendo mi tesis de maestría en CS y estoy trabajando con el análisis de alias. Lo que me interesa es el análisis intraprocesal, sensible al flujo de alias y may-may para lenguajes similares a Java. Estoy buscando textos que describan los conceptos básicos de este tema de manera detallada, …

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

Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en ?AC0AC0\mathsf{AC^0} Por "simple" me refiero a una prueba …

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

Recientemente he estado leyendo una buena cantidad de documentos CoLT. Aunque no lucho con los documentos individuales (al menos no más de lo que normalmente lucho con otros documentos de teoría), no creo que tenga una buena comprensión del campo en general. ¿Existe un texto estándar, encuestas o notas de …

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

Deje . Necesito generar gráficos simples G de circunferencia g de modo que el conjunto de todos los g- ciclos forme una cubierta de doble borde de G (es decir, cada borde es compartido por exactamente dos g- ciclos), y tal que la intersección de dos g -cycles es un …

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

Las representaciones más simples para gráficos utilizan matrices / listas de adyacencia, lo que significa que cada nodo y borde se representa explícitamente. La importancia de las representaciones implícitas para gráficos que exhiben fuertes regularidades ha sido reconocida desde hace mucho tiempo. Por ejemplo, Galperin y Wigderson (1983), Papadimitriou y …

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

Hace unos años, me encontré con la siguiente regla de la izquierda para la igualdad en el cálculo posterior: 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 …

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

JBV sugirió que convirtiera algunos comentarios en una pregunta, así que aquí va. Otra pregunta [1] es sobre las aplicaciones de la computación QM. Una respuesta [2] fue "simular eficientemente la mecánica cuántica". Aparentemente, esta idea se remonta a los primeros escritos de Feynman sobre el tema; aunque no tengo …

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

En el documento Sobre dos problemas de la teoría de la información , Erdõs y Rényi dan límites inferiores sobre el número mínimo de pesadas que uno debe hacer para determinar el número de monedas falsas en un conjunto de monedas.nortenorten Más formalmente: Las monedas falsas tienen un peso menor …

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

Sea un conjunto de Bases Mutuamente Imparciales (MUB) en C n , es decir, cada B i es una base ortonormal y para v ∈ B i , w ∈ B j , i ≠ j nosotros tener | ⟨ V | w ⟩ | = 1B={B1,…,Bk}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, …

10 reference-request  quantum-information 

¿Cuál es el mejor límite actual para realizar consultas de conteo de rango de medio espacio en un conjunto de puntos dimensionales, expresados ​​en forma de una compensación tiempo / espacio. De acuerdo con el artículo seminal de 1993 de Matousek (Teorema 6.2, Búsqueda de rangos con cortes jerárquicos eficientes), …

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

Deje que sea ​​un gráfico con aristas ponderadas (positivamente). Quiero definir el diagrama de Voronoi para un conjunto de nodos / sitios , para asociar con un nodo el subgrafo de inducido por todos los nodos estrictamente más cercanos a que a cualquier otro nodo en , midiendo la longitud …

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

Estoy bastante familiarizado con la teoría detrás de VC-Dimension, pero ahora estoy mirando los avances recientes (últimos 10 años) en la teoría del aprendizaje estadístico: promedios (locales) Rademacher, Lema de clase finita de Massart, Números de cobertura, Encadenamiento, Dudley Teorema, pseudodimensión, dimensión de rotura de grasa, números de embalaje, composición …

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

El algoritmo de Deutsch es una computación cuántica bien conocida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} con solo una evaluación de fff . Si reemplazamos +++ con ⋅⋅\cdot el problema parece ser bastante diferente. Mi pregunta es: ¿existe un algoritmo cuántico que calcule el valor de f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (o AND si lo prefiere) …

10 reference-request  quantum-computing