Considere el siguiente problema: Entrada: (G1, G2) donde G1 y G2 son gráficos no dirigidos Pregunta: ¿El tamaño del conjunto independiente máximo de G1 es al menos tan grande como el tamaño del conjunto independiente máximo de G2? Parece una pregunta bastante natural, y, sin embargo, no he...
Según BGS teorema [1], no es un oráculo de tal manera que .P A ≠ N P AUNAUNAAPAGSUNA≠ NPAGSUNAPAGSUNA≠nortePAGSUNAP^A\neq NP^A Si la operación de relativización fuera una función bien definida, uno esperaría que de se pudiera concluir que , por ejemplo, seguiría de BGS. Sin embargo, todavía está...
Leí aquí que hay familias de funciones que necesitan nodos en la red neuronal con como máximo capas para representar la función, mientras que solo necesitan si el neural la red tiene al menos capas. Se refería a un artículo de Hastad. No lo encontré. ¿Alguien podría decirme el título del artículo?...
Si N PnortePAGS\mathsf{NP} contiene una clase de problemas de tiempo superpolinomial, es decir para alguna función t ∈ nω ( 1 )t∈norteω(1)t \in n^{\omega(1)} , ,D T I M E ( t ) ⊆ N PreTyoMETROmi(t)⊆nortePAGS\mathsf{DTIME}(t) \subseteq \mathsf{NP} entonces, si se sigue del teorema de la...
Para , deje que sea el conjunto de vértices del cubo dimensional escalado en la dirección de la coordenada por , es decir, .d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^nQ(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^nnnniiididid_iQ(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots,...
Cuando se establece la conjetura o P ≠ N P (por ejemplo, por el Clay Mathematical Institute de S. Cook, ver aquí ) ¿qué sistema axiomático matemático se supone?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Para probar o refutar tales afirmaciones, debe asumir algunos axiomas....
¿Cuáles son los ejemplos de problemas conocidos en (resp. ) que no se sabe que están en ni en ?M A N P B P PAMAM\mathsf{AM}MAMA\mathsf{MA}NPNP\mathsf{NP}BPPBPP\mathsf{BPP} Para , conozco los siguientes dos ejemplos:AMAM\mathsf{AM} No isomorfismo gráfico: dados dos gráficos etiquetados y , ¿son...
Supongamos que tiene varios conjuntos de enteros ( ) y desea calcular las intersecciones de algunos de ellos ( podría ser una consulta, pero desea admitir muchas de esas consultas , o tal vez incluso todas las consultas posibles)S1, S2. . . SnorteS1,S2...SnorteS_1, S_2 ... S_n∩ S1, S3, S7...
Dado un número algebraico , estoy interesado en encontrar una aproximación de ℜ ( e α ) hasta una precisión dada, donde ℜ ( ) se refiere a la parte real del número complejo.αα\alphaR ( eα)ℜ(eα)\Re(e^\alpha)R ( )ℜ()\Re() Formalmente, quiero calcular un número racional tal que | ℜ ( e α ) - r | ≤...
Cuando intentamos construir un algoritmo para un nuevo problema, dividir y conquistar (usando la recursividad) es uno de los primeros enfoques que intentamos. Pero en algunos casos, este enfoque parece infructuoso ya que el problema se vuelve mucho más complicado a medida que crece su aporte. Mi...
Existen bastantes teoremas, principalmente en teoría de grafos y optimización combinatoria, que a menudo se denominan buenas caracterizaciones. Por lo general, colocan una propiedad en , al mostrar que una propiedad se mantiene o hay algún obstáculo bien identificado que impide que se mantenga. A...
Suponga que para un problema de minimización dado con solo soluciones enteras, es difícil decidir si la solución óptima es 5 o 6. Es decir, un algoritmo de tiempo polinomial con una relación de aproximación mejor que 6/5 implicaría .nortePAGSnortePAGSNPPAGS= NPAGSPAGS=nortePAGSP=NP 1) ¿Esto...
Me parece que la tarea de eliminación de cuadrados se puede reducir a la tarea de factorización , pero que no hay forma de reducir la factorización a la eliminación de cuadrados. ¿Hay alguna manera de hacer que este "sentimiento" sea más preciso, es decir, alguna hipótesis comúnmente creída que se...
Vi este problema: Se dice que una secuencia no creciente de enteros positivos es n-realizable si el conjunto puede dividirse en subconjuntos mutuamente disjuntos tal que para cada .m1,m2,...,mkm1,m2,...,mkm_1,m_2,..., m_kIn={1,2,...,n}In={1,2,...,n}I_n=\{1,2,...,
En la película Inception, Cobb le pide a Ariadne que le pida que diseñe un laberinto que le tome el doble de tiempo. Esto se presta a un problema generalizado en el que tenemos una situación en la que los recursos están limitados por una cierta cantidad y quien verifique que este problema se...
Deje que SAT sea el lenguaje de esas instancias de SAT que contienen variables , deje que -SAT sea el lenguaje de esas instancias de SAT en las que cada cláusula tiene a lo sumo literales, y deje que -SAT sea su intersección. Deje , donde el rango infimum abarca todos los algoritmos (máquinas...
El modelo estándar de física (el modelo matemático que predice el bosón de Higg) es, hasta donde yo entiendo, nuestro modelo más completo del universo. Es decir, es la mejor descripción del juego matemático que se juega para hacer predicciones sobre el resultado de los experimentos realizados en...
\newcommand{\cc}[1]{\mathsf{#1}} ¿Se un teorema en las siguientes líneas: Si es un poco más grande que , entonces ?f ( n ) N T I M E ( g ) ∩ c o N T I M E ( g ) ≠ N T I M E ( f ) ∩ c o N T I M E ( f )sol( n )g(n)g(n)F( n )f(n)f(n)N T I M E (g) ∩ c o N T I M E ( g) ≠ N T I M E ( f) ∩ c o N T I M E (...
Es común definir la completitud de con respecto a las reducciones de espacio de registro de muchos.PAGSPP Estoy buscando una clase de complejidad tal manera que haya problemas P- completos wrt muchas- C- reducciones.C⊆ LC⊆LC \subseteq \mathsf{L}PAGSP\mathsf{P}CCC ¿Cuál es la clase reducción...
En el documento 'Sobre la desaparición de los coeficientes de Kronecker' aquí en http://arxiv.org/pdf/1507.02955v1.pdf , se muestra que decidir positividad de los coeficientes de Konecker es en general NP difícil. Sin embargo, hay una advertencia que establece que solo se necesita positividad de...