Ciencias de la computación teórica

¿Cuál es el mejor resultado determinista para mantener el cierre transitivo dinámico en un gráfico dirigido con solo inserción de borde? Leí algunos documentos sobre el problema de cierre transitivo dinámico con inserción y eliminación de bordes. Sin embargo, ¿hay algún algoritmo mejor para eso con solo inserción de borde?

16 ds.algorithms  graph-theory  graph-algorithms  dynamic-algorithms 

Supongamos que . N P I es la clase de problemas en que no están ni en ni en N P -hard. Puede encontrar una lista de problemas conjeturados como N P I aquí .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} El teorema de Ladner nos dice que si entonces hay una jerarquía infinita …

16 cc.complexity-theory  np-hardness  np-intermediate 

Estoy leyendo el clásico "Dureza contra aleatoriedad" de Nisan y Wigderson. Deje , y arregle una función . Definen una familia de funciones para ser pseudoaleatoria en el caso de cada circuito de tamaño que tengamosB = { 0 , 1 }si={0 0,1}B=\{0,1\}l : N → Nl:norte→nortel\colon \mathbb{N} \to \mathbb{N}G …

16 cr.crypto-security  pseudorandomness  pseudorandom-generators  security 

Sabemos que los colorantes de borde de un gráfico son colorantes de vértices de un gráfico especial, a saber, de la gráfica de línea L ( G ) de G .solsolG L(G)L(G)L(G)GGG ¿Hay un operador de gráfico ΦΦ\Phi tal que los colores de vértice de un gráfico GGG son colores …

16 graph-theory  graph-algorithms 

Suponga que, para cada , hay una máquina de Turing que decide un lenguaje en el tiempo . ¿Hay un algoritmo único que decida en el tiempo ? (Aquí, el término se mide en términos de , la longitud de entrada).ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn ¿ Hay alguna …

16 cc.complexity-theory  asymptotics 

Sean conjuntos que pueden tener elementos en común. Estoy buscando un conjunto X más pequeño tal que ∀ i ,S1, S2, ... , SnorteS1,S2,...,SnorteS_1,S_2,\ldots,S_nXXX .∀ i ,X∩ Syo≠ ∅∀yo,X∩Syo≠∅\forall i,\,X\cap S_i \ne \emptyset ¿Este problema tiene un nombre? ¿O se reduce a algún problema conocido? En mi contexto describo los …

16 ds.algorithms  graph-algorithms 

En un problema en el que estoy trabajando actualmente, surge una extensión del operador de ruido de forma natural, y tenía curiosidad por saber si ha habido trabajo previo. Primero permítanme revisar el operador de ruido básico en funciones booleanas de valor real. Dada una función y , st , …

16 boolean-functions  fourier-analysis 

En el problema de embalaje rectángulo, uno se le da un conjunto de rectángulos y que limitan rectángulo R . La tarea es encontrar una ubicación de r 1 , ... , r n dentro de R de manera que ninguno de los n rectángulos se superpongan. Generalmente, la orientación …

16 cc.complexity-theory  np-hardness  packing 

No tengo conocimiento en el área de la teoría de la complejidad que involucra grupos, así que me disculpo si este es un resultado bien conocido. Pregunta 1. Sea una simple gráfica no dirigida de orden n . ¿Cuál es la complejidad computacional (en términos de n ) de determinar …

16 cc.complexity-theory  graph-theory  gr.group-theory 

Suponemos que . Entonces el siguiente hecho es bien conocido:G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=ln⁡n+ln⁡ln⁡n+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr[G has a Hamiltonian cycle]=⎧⎩⎨⎪⎪10e−e−c(c(n)→∞)(c(n)→−∞)(c(n)→c)Pr[G has a Hamiltonian cycle]={1(c(n)→∞)0(c(n)→−∞)e−e−c(c(n)→c)\begin{eqnarray} Pr [G\mbox{ has a Hamiltonian cycle}]= \begin{cases} 1 & (c(n)\rightarrow \infty) \\ 0 & (c(n)\rightarrow - \infty) \\ e^{-e^{-c}} & (c(n)\rightarrow c) \end{cases} \end{eqnarray} Quiero …

16 graph-theory  co.combinatorics  randomness 

No se sabe si isomorfismo gráfico (GI) para gráficos fuertemente regulares (SRGS) está en P . ¿Hay alguna pista de que podría o no ser GI -Complete? ¿Hay alguna consecuencia fuerte en tales casos? (Similar a la creencia de que GI puede no ser NP-Completo).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Dadas dos matrices A y B , el problema de decidir si existe una matriz de permutación P tal que B = P - 1 A P es equivalente a (isomorfismo gráfico). Pero si relajamos P para que sea solo una matriz invertible, ¿cuál es la complejidad? ¿Existen otras restricciones …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

Decimos que una función booleana f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} es una kkk -junta si fff tiene como máximo kkk variables de influencia. Sea f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

π 1 : A × B → A π 2 : A × B → BA × B ≜ ∀ α .( A → B → α ) → αUN×si≜∀α.(UN→si→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1: A × B → Aπ1:UN×si→UN\pi_1 : A …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Supongamos que se nos da una matriz , y que m ∈ N 0 . ¿Qué tan rápido podemos calcular la potencia A m de esa matriz?A∈RN×NA∈RN×NA \in \mathbb R^{N\times N}m∈N0m∈N0m \in \mathbb N_0AmAmA^m La siguiente mejor opción en comparación con la computación de los productos es utilizar una exponenciación …

16 ds.algorithms  matrices  na.numerical-analysis