Ciencias de la computación teórica

NOTA : La pregunta se ha reformulado en mis respuestas: Suponiendo ahora que podemos encontrar a los antepasados ​​hermanos más bajos en el tiempo , ¿se puede realizar realmente el ANN en ?O ( log n )O ( 1 )O(1)O(1)O ( logn )O(log⁡n)O(\log n) Los quadtrees son índices espaciales eficientes. …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

Soy un estudiante de maestría enfocado en sistemas distribuidos pero también interesado en informática teórica. Me preguntaba si hay una representación formal de un sistema distribuido encima de una máquina de turing. Es decir, ¿es posible extender (hacer una variante) el concepto de una máquina de turing para aprovechar la …

10 turing-machines  dc.distributed-comp 

Un programa span es una forma lineal-algebraica de especificar una función booleana presentada aquí . Recientemente, este modelo se usó para mostrar que el método negativo del adversario proporciona una caracterización estricta (al menos hasta ) de la complejidad de la consulta cuántica.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n La medida de …

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

Considere el problema del conjunto dominante en gráficos generales, y sea el número de vértices en un gráfico. Un algoritmo de aproximación codicioso ofrece una garantía de aproximación del factor 1 + log n , es decir, es posible encontrar en el tiempo polinómico una solución S tal que | …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

La publicación está relacionada con: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles ¿A qué distancia está el Lovasz de la capacidad de error cero de los gráficos regulares? ¿Hay algún ejemplo en el que se sepa que el límite de Lovasz no es igual a la capacidad de error cero de un gráfico regular? (Esto fue …

10 graph-theory  it.information-theory 

Para responder "qué problemas se pueden resolver con la informática", desarrollamos la teoría de la computabilidad. Para los problemas que son computables, ¿existe una teoría para responder la pregunta "¿Es el programa el que obtengo más simple"? No creo que la complejidad computacional responda la pregunta. Creo que considera cuánto …

10 big-picture  kolmogorov-complexity 

Estamos trabajando en computadoras distribuidas y se nos ocurrió un problema de complejidad que se reduce a un problema mínimo de cobertura de ruta. Actualmente no sabemos cómo resolverlo. El problema es el siguiente: Sea un número entero y sea ​​un gráfico que contenga vértices. Rotulamos cada vértice con un …

10 graph-theory  co.combinatorics  application-of-theory 

En pocas palabras, los teoremas de la jerarquía del tiempo dicen que una máquina de Turing puede resolver más problemas si tiene más tiempo para el cálculo. En detalle para TM determinístico y funciones construibles en el tiempo con es y para TM no determinista y funciones construibles en el …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Me interesan los ejemplos explícitos de gráficos para los cuales la aplicación del algoritmo Goemans y Williamson para aproximar los cortes máximos resulta en un factor de aproximación de 0.878 ... El algoritmo para crear tales instancias sería perfecto, los ejemplos explícitos y las referencias son satisfactorias.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

Estoy interesado en ejemplos de construcciones en la teoría de la complejidad que son mejores que las construcciones aleatorias. El único ejemplo de tal construcción que conozco es en el campo de los códigos de corrección de errores. Los códigos de geometría algebraica son mejores en algún rango de parámetros …

10 reference-request  big-list  derandomization  pr.probability 

Deje GGG un grafo conectado G=(V,E)G=(V,E)G = (V,E) con nodos V=1…nV=1…nV = 1 \dots n y los bordes EEE . Deje wiwiw_i denota el peso (número entero) de la gráfica GGG , con ∑iwi=m∑iwi=m\sum_i w_i = m el peso total en el gráfico. El peso promedio por nodo es w¯=m/nw¯=m/n\bar …

10 graph-theory  co.combinatorics  spectral-graph-theory 

Hay muchos ejemplos en combinatoria y ciencias de la computación en los que podemos analizar un problema de teoría de grafos, pero para el análogo de hipergrafía del problema, faltan nuestras herramientas. ¿Por qué crees que los problemas a menudo se vuelven mucho más difíciles con las hipergrafías de 3 …

10 graph-theory  co.combinatorics  hypergraphs 

Deje que sea ​​un lenguaje sin contexto. Definir que es el cierre de pre y posfijo de , en otras palabras, contiene todos los 's prefijos y sufijos, y por lo tanto sí mismo. Mi pregunta: si tiene contexto y tiene una gramática no ambigua, ¿es lo mismo para ?p …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Estaba jugando con la muy interesante y abierta pregunta " Alfabeto de la máquina de Turing de una sola cinta " (por Emanuele Viola) y se me ocurrió el siguiente idioma: L = { x ∈ { 0 , 1 }norte st | x | = n = 2metro y …

10 cc.complexity-theory  turing-machines  time-complexity 

La suma de Minkowski de dos conjuntos de vectores viene dada porA,B∈RdA,B∈RdA, B \in R^d A⊕B={a+b∣a∈A,b∈B}A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Acabo de escuchar un problema interesante (atribuido a Dan Halperin): Dada una forma , ¿existe una forma A …

10 cg.comp-geom