Ciencias de la computación teórica

¿Se sabe si el rango de tensor de los tensores tridimensionales se encuentra en VNP (clase valiente no determinista)? En caso afirmativo, ¿qué se sabe sobre el rango de tensor de alta dimensión? De hecho, estoy interesado en un problema mucho más simple. Me gustaría saber si se pueden construir …

8 cc.complexity-theory  algebraic-complexity 

Conozco las siguientes variantes de problemas SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete , y NEXP-complete ( enlace ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum 

¿Existen límites inferiores no triviales en el tiempo de ejecución de los algoritmos gráficos en RAM / PRAM / modelos de computación? No estoy buscando los resultados de NP-Hardness aquí. El siguiente es un resultado que pude encontrar [ver ref L92]: 3-Colorear un ciclo n requiere tiempo .Ω ( log∗n …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

Deje que e sean conjuntos, y sea una partición de . Me gustaría demostrar que existe una distribución sobre cuyo marginal es uniforme sobre , y tal que la distribución sobre inducida por tiene una gran entropía (el esta última distribución se define asignando a cada la masa de probabilidad …

8 cc.complexity-theory  co.combinatorics  communication-complexity 

Estoy buscando una solución al siguiente problema y me pregunto si alguien podría señalarme alguna investigación existente sobre este tema. Vengo de una aplicación de gráficos del mundo real, así que tengan paciencia conmigo si mi terminología no es exactamente la correcta. Tengo un sistema de base de datos donde …

8 ds.algorithms  graph-theory  dynamic-algorithms 

La clasificación mediante comparaciones de 2 elementos tiene una complejidad asintótica en el peor de los casos de nlog2(n)nlog2⁡(n)n \log_2(n) (alcanzado por mergesort, heapsort, inserción binaria, ford-johnson al menos), lo cual es óptimo. Si ordenamos usando comparaciones que ordenan k elementos como bloques de construcción, el límite inferior teórico de …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

Cuando aprendemos problemas de optimización, generalmente consideramos la programación lineal (o más generalmente: optimización convexa) como el ejemplo más simple. Es solucionable en tiempo polinómico y tiene algoritmos relativamente fáciles de entender. Sin embargo, la versión de decisión de LP es -complete. Esto sugiere que es uno de los problemas …

8 cc.complexity-theory  optimization  linear-programming 

Un problema de decisión tiene una buena caracterización si está en . Muchos problemas gráficos naturales tienen buenas caracterizaciones. Por ejemplo, el teorema de Kuratuwski ofrece una buena caracterización de los gráficos planos. El teorema de Konig ofrece una buena caracterización de gráficos bipartitos. El teorema de Tutte ofrece una …

8 cc.complexity-theory  graph-theory  proof-complexity 

¿Por qué se necesitan valoraciones para definir la semántica de la lógica de primer orden? ¿Por qué no solo definirlo para oraciones y también definir sustituciones de fórmulas (de la forma esperada)? Eso debería bastar: METRO⊨ ∀ x . ϕ⟺para todos los d∈ d o m ( M) , M …

8 lo.logic 

El teorema del punto de fijación de Tarski establece que los puntos de fijación de un operador monótono en una red completa es una red completa. Como consecuencia, tenemos un punto de fijación máximo único y un punto de fijación mínimo único para un operador monótono en una red completa. …

8 algebra  lattice  order-theory 

Estoy interesado en punteros a algoritmos (los algoritmos de aproximación están bien) que intentan dividir un gráfico en dos subconjuntos de modo que la suma de los pesos de los bordes dentro de cada subconjunto sea (aproximadamente) igual, y la suma de los pesos de los bordes entre los dos …

8 ds.algorithms  reference-request  graph-theory  graph-algorithms 

La suposición decisiva de Diffie-Hellman , o DDH en resumen, es un problema famoso en criptografía. La suposición DDH se mantiene en un grupo cíclico de orden (primo) q , si es para un generador g ∈ G , y para aleatoriamente a , b , c ∈ \ mathbb …

8 cr.crypto-security  randomized-algorithms 

Por "bueno", quiero decir que el algoritmo proporciona un límite relativamente estrecho o tiene un tiempo de ejecución relativamente rápido. Cualquier referencia es bienvenida.

8 ds.algorithms  np-hardness  approximation-algorithms  approximation-hardness  subset-sum 

Esta es una pregunta algo subjetiva. Estoy interesado en estudiar la literatura sobre resultados de corte de flujo de productos múltiples, especialmente los resultados 'positivos' que muestran que el flujo es una buena aproximación al corte (digamos, dentro de un factor que es constante o polilogarítmico en el número de …

8 ds.algorithms  approximation-algorithms  approximation-hardness  max-flow-min-cut  multicommodity-flow 

Existen algoritmos sencillos para calcular la envoltura superior de una disposición de líneas en el plano. Ver, por ejemplo, la sección 2.3 en las secuencias Davenport-Schinzel de la encuesta y sus aplicaciones geométricas . ¿Existen algoritmos / estructuras de datos conocidos para la versión dinámica del mismo problema? Es decir, …

8 ds.algorithms  reference-request  ds.data-structures  cg.comp-geom