Ciencias de la computación teórica

¿Hay un 2DFA con estados (donde no es trivial, digamos al menos 4) que requiere al menos estados para simular usando cualquier DFA?nnnnnn2n2n2^n Un DFA bidireccional (2DFA) es un autómata determinista de estado finito que puede moverse hacia adelante y hacia atrás en su cinta de entrada de solo lectura, …

10 automata-theory  lower-bounds 

Considere un lenguaje no vacío de cadenas binarias de longitud n . Puedo describir L con un circuito booleano C con n entradas y una salida de modo que C ( w ) sea ​​verdadero si f w ∈ L : esto es bien conocido.LLLnortennLLLCCCnortennC( w )C(w)C(w)w ∈ Lw∈Lw \in …

10 fl.formal-languages  circuit-complexity 

La mayoría de los asistentes de prueba tienen una formalización del concepto de "conjunto finito". Sin embargo, estas formalizaciones difieren enormemente (¡aunque uno espera que todas sean esencialmente equivalentes!). Lo que no entiendo en este momento es el espacio de diseño involucrado, y cuáles son los pros y los contras …

10 type-theory  dependent-type  finite 

Tengo el siguiente problema: Entrada: dos conjuntos de intervalos y T (todos los puntos finales son enteros). Consulta: ¿hay una biyección monótona f : S → T ?SSSTTTF: S→ Tf:S→Tf:S \to T La biyección es monótona wrt el conjunto para su inclusión en y T . ∀ X ⊆ Y …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Dado un conjunto de puntos en el espacio euclidiano d dimensional, el problema es determinar si el casco convexo contiene la bola unitaria centrada en el origen.nortenortenrered ¿Es este problema en NP? Está en co-NP, ya que uno puede dar un punto en la pelota fuera del casco convexo como …

10 cc.complexity-theory  cg.comp-geom 

Un árbol de expansión de un gráfico se llama árbol de integridad si el conjunto de sus hojas induce una subgrafía completa en el gráfico de host. Dado un gráfico y un entero k , ¿cuál es la complejidad de decidir si G contiene un árbol de completitud con, como …

10 cc.complexity-theory  graph-theory  graph-algorithms 

¿Es el isomorfismo gráfico (el problema de decisión) en ? Aquí es la clase de problemas de decisión aceptados por una máquina de Turing inequívoca (ver el zoológico de complejidad ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism 

Escuché de un resultado en el color aproximado del gráfico, pero no puedo encontrar la fuente. El resultado es: Para cada constante existe una suficientemente grande como para que colorear un gráfico coloreable con colores sea ​​NP-duro.hhhkkkkkkh khkhk ¿Podría alguien señalarme el documento relevante?

10 reference-request  approximation-hardness  graph-colouring 

Estaba tratando de entender estas clases pero siempre me confundí ... las preguntas son: ¿Cuál es la relación entre y , en particular, es una pregunta abierta?# PFnortePAGFNPFNP# P#P\#P ¿Cuál es la relación de y ? esta pregunta abierta?N P⊕ P⊕P\oplus PnortePAGNPNP ¿Qué pasa con la relación entre y ? …

10 cc.complexity-theory 

¿Qué tan difícil es el problema de Set Cover si el número de elementos está limitado por alguna función (por ejemplo, lognlog⁡n\log n ) donde nnn es el tamaño de la instancia del problema. Formalmente, Let y F = { s 1 , ⋯ , S n } donde S …

10 np-hardness  set-cover  exp-time-algorithms 

¿Qué algoritmo podemos usar para encontrar todas las raíces enteras de un polinomio con coeficientes enteros?F( x )f(x)f(x) Observo que Sage puede encontrar las raíces en unos pocos segundos, incluso cuando todos los coeficientes de son muy grandes. ¿Cómo es capaz de hacer eso?F( x )f(x)f(x)

10 ds.algorithms  na.numerical-analysis 

¿Existen algoritmos conocidos para el siguiente problema que superen al algoritmo ingenuo? Entrada: Un sistema de desigualdades lineales.mA x ≤ bAx≤bAx \le bmetromm Salida: una solución factible si existe.X∗∈ { 0 , 1 }nortex∗∈{0,1}nx^*\in \{0,1 \}^n Supongamos que y tienen entradas enteros. Estoy interesado en los peores casos.bUNAAAsibb

10 np-hardness  integer-programming  exp-time-algorithms 

En la complejidad de la comunicación, la conjetura de log-rank establece que cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Donde cc(M)cc(M)cc(M) es la complejidad de comunicación de M(x,y)M(x,y)M(x,y) y rk(M)rk(M)rk(M) es el rango de MMM (como una matriz) sobre los reales. Sin embargo, cuando solo está usando el método de rango para reducir …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

La clase de complejidad se define de la siguiente manera (de Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Un lenguaje está en si existe un predicado de tiempo polinómico tal queLLLSP2S2PS_2^PPPP Si , entonces existe una tal que para todo ,x∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Si , entonces existe una tal que para todo ,x∉Lx∉Lx \notin LzzzyyyP(x,y,z)=0P(x,y,z)=0P(x,y,z)=0 …

10 cc.complexity-theory  complexity-classes 

Estoy escribiendo mi tesis de maestría en CS y estoy trabajando con el análisis de alias. Lo que me interesa es el análisis intraprocesal, sensible al flujo de alias y may-may para lenguajes similares a Java. Estoy buscando textos que describan los conceptos básicos de este tema de manera detallada, …

10 reference-request  pl.programming-languages  compilers  program-analysis