Preguntas etiquetadas con cc.complexity-theory

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 …

8 cc.complexity-theory  parameterized-complexity  conditional-results 

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 …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

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,..., n\}kkkS1,S2,...,SkS1,S2,...,SkS_1,S_2,...,S_k∑x∈Six=mi∑x∈Six=mi\sum_{x\in S_i} x = m_i1≤i≤k1≤i≤k1\leq i \leq k en el documento "PARTICIÓN DE UN CONJUNTO DE INTEGRADORES EN SUBSETES CON …

8 cc.complexity-theory 

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 implica que el problema es -duro también?A …

8 cc.complexity-theory  np-hardness  approximation-hardness  apx 

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 …

8 cc.complexity-theory  nt.number-theory  factoring 

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 menudo se presentan como teoremas …

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

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 7∩S1,S3,S7 …

8 cc.complexity-theory  ds.data-structures 

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 …

8 cc.complexity-theory  na.numerical-analysis  computing-over-reals 

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 pregunta es: ¿hay …

8 cc.complexity-theory  recursion 

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? ¿Solo la aritmética de Peano (lenguaje …

8 cc.complexity-theory  model-theory 

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, \pm d_n\rangle\} Considere el siguiente problema: Dado un conjunto de puntos en número , …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

¿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 el mismo gráfico hasta la permutación de …

8 cc.complexity-theory  complexity-classes 

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 jerarquía de tiempo determinista …

8 cc.complexity-theory  time-complexity  nondeterminism 

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 …

8 cc.complexity-theory  reference-request 

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á abierto.B A …

8 cc.complexity-theory  oracles  relativization