Me preguntaba si los problemas para los cuales existen algoritmos de tiempo sublineal (en el tamaño de entrada) pueden caracterizarse por poseer propiedades específicas. Esto incluye el tiempo sublineal (por ejemplo, pruebas de propiedad, una noción alternativa de aproximación para problemas de...
Sabemos que podemos representar cualquier gráfico plano mediante un conjunto de círculos en el plano, conocido como gráfico de monedas . Cada círculo representa un vértice y hay un borde entre dos vértices si y solo si los círculos se "besan" en su límite. ¿Supongamos que permitimos que los...
¿Puedes modelar transmisiones confiables en el cálculo pi? ¿Si es así, cómo? Si no es así: ¿hay álgebras de proceso similares donde puedas? Lo que he intentado: Si el remitente quiere enviar un mensaje y a todos los P 1 a P n , ¡podría escribir ! ( ¯ x y ) . S y x ( z ) . P 1 a x ( z ) . P...
Dado un nortenorten vértice grafo no dirigido, lo que es el mejor tiempo de ejecución conocido con destino a la búsqueda de un subgrafo que es un k × kk×kk\times k -biclique? ¿Existen algoritmos parametrizados más rápidos que el algoritmo de tiempo de "adivinar" un lado de la biclique y ver si hay...
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...
Mientras leía el blog de Dick Lipton, me topé con el siguiente hecho cerca del final de su publicación de Bourne Factor : Si, por cada nnn , existe una relación de la forma (2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} donde m=poly(n)m=poly(n)m = poly(n) , y...
π 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 \times B \to Aπ2: A × B → Bπ2:UN×si→si\pi_2 : A \times B \to B Esto no es tan sorprendente, a pesar de que la...
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 en una matriz P invertible ,...
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
Suponemos que . Entonces el siguiente hecho es bien conocido:G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=lnn+lnlnn+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...
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 de cada rectángulo r i es fija. Es...
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...
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 +...
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 si G es transitivo...
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: \{0,1\}^n \to \{0,1\} ser un 2 k2k2k -junta. Denote las variables de fff por x...
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...
¿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...
Lo siento, si esta es una pregunta ingenua, pero no pude encontrar la justificación en ninguno de los principales libros de texto como Bondy-Murty, Diestel u West. Los gráficos perfectos tienen muchas propiedades hermosas, pero ¿cuál es la única razón por la que se llaman perfectos? ¿O es solo una...
¿Existen aplicaciones prácticas para los modelos de programación que no sean de von Neumann? ¿Cuáles son los lenguajes de programación no von von Neumann más ampliamente
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 , ,...