Preguntas etiquetadas con cc.complexity-theory

¿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 

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 

esta es una reescritura de otra pregunta reciente mía [1] que no se dijo bien (tenía una simplificación semi obvia, mea culpa) pero creo que todavía hay una pregunta no trivial en el fondo. He visto problemas similares en la literatura pero no este en particular. lo escribirá en términos …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

La idea de un MST de diámetro restringido es que mantenga todos los vértices conectados y dentro de una cierta distancia el uno del otro. Pero todos los papeles que he visto mantienen el requisito de que produzcas un árbol, cuando permitir ciclos podría ayudar a reducir el diámetro. ¿Alguien …

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

Muchos resultados en criptografía dependen de resultados / conjeturas imposibles en la teoría de la complejidad. Por ejemplo, se cree que la criptografía de clave pública que usa RSA es posible debido a la conjetura sobre la inviabilidad de la factorización (y los problemas de búsqueda de raíz modular). Mi …

8 cc.complexity-theory  cr.crypto-security  computability 

Deje ser una matriz cuadrada dada. ¿Hay alguna evidencia de que superar los límites inferiores cuadráticos para B de modo que det ( B ) = per ( A ) pueda ser difícil?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) ¿Hay alguna conjetura plausible que implique que probar límites más bajos es difícil? ¿Hay alguna …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

Considere el siguiente algoritmo, donde es una constante fija.ccc void partition(A[1..m], B[1..n]) { if m=1 or n=1 return k = random(min(c,m,n)); partition A into k sublists Asub[1..k] at k-1 distinct random indices partition B into k sublists Bsub[1..k] at k-1 distinct random indices for i = 1 to k for …

8 cc.complexity-theory  ds.algorithms  randomness  randomized-algorithms  recursive 

Estoy buscando vincular un problema en el que estoy trabajando con un problema NP-hard conocido. Creo que puedo modelar mi problema como un problema de ruta más corta con recursos limitados. Sin embargo, la estructura de mi gráfico no es completamente arbitraria. Por lo tanto, será útil saber cuándo RCSP …

8 cc.complexity-theory  graph-algorithms  np-hardness  optimization 

Aunque L.Berman demostró que el problema de verificar o falsificar cualquier declaración de primer orden sobre números reales que usa la suma y la comparación pero no la multiplicación está en EXPSPACE. ¿Se le ha mostrado cuánto tiempo o espacio necesitaría para verificar o falsificar cualquier enunciado de primer orden …

8 cc.complexity-theory  lo.logic  model-theory 

Dado un gráfico G ( V, E)G(V,E)G(V,E) , el problema clásico de coincidencia máxima es elegir el subconjunto máximo de aristas METROMETROM st, para cada arista ( u , v ) ∈ M(tu,v)∈METRO(u,v) \in M , re( u ) = d( v ) = 1re(tu)=re(v)=1d(u)=d(v)=1 . ¿Alguien ha estudiado la …

8 cc.complexity-theory  ds.algorithms  graph-theory  co.combinatorics