Ciencias de la computación teórica

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 cada una de las …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

¿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 …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

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 círculos …

16 graph-theory  co.combinatorics  graph-algorithms  graph-drawing 

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 …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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 decisión), espacio sublinear (por ejemplo, algoritmos de boceto …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Estoy interesado en este problema: dado un gráfico no dirigido , ¿hay una partición de G en los gráficos G 1 ( E 1 , V 1 ) y G 2 ( E 2 , V 2 ) de modo que G 1 y G 2 son isomorfos?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, …

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

Según un resultado clásico de Kuroda, la clase de complejidad NSPACE [ ]nortenorten (también conocida como NLIN-SPACE) es precisamente la clase CSL de lenguajes sensibles al contexto . El problema de satisfacción SAT está en NSPACE [ ], ya que una suposición de tamaño lineal para una solución se puede …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Estoy tratando de descubrir cómo funciona el Gráfico de ruta P(G)P(G)P(G) según el Algoritmo de Eppstein en este documento y cómo puedo reconstruir las kkk rutas más cortas de a con la construcción del montón .ssstttH(G)H(G)H(G) Hasta aquí: v G Gout(v)out(v)out(v) contiene todos los bordes dejando un vértice en un …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Como es bien sabido, la descomposición de un árbol de un gráfico consiste en un árbol T con una bolsa asociada T v ⊆ V ( G ) para cada vértice , que cumple las siguientes condiciones:GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Cada vértice de se produce en alguna bolsa de …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Una frase de permutación es una extensión de las definiciones de gramática libre de contexto estándar (E) BNF: una frase de permutación contiene n producciones (o, de manera equivalente, no terminales) A 1 a A n{ A1, ... , Anorte}{UN1,...,UNnorte}\{ A_1, \dots, A_n \}nortenortenUN1UN1A_1UNnorteUNnorteA_n . En la posición de la …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

No trabajo en teoría, pero mi trabajo requiere leer (y comprender) documentos de teoría de vez en cuando. Una vez que entiendo un (conjunto de) resultados, discuto estos resultados con las personas con las que trabajo, la mayoría de las cuales tampoco trabajan en teoría. Durante una de esas discusiones, …

16 ds.algorithms  graph-algorithms 

¿Cuál es el número mínimo de compuertas binarias necesarias para calcular AND y OR de bits de entrada simultáneamente? El límite superior trivial es 2 n - 2 . Creo que esto es óptimo, pero ¿cómo probarlo? La técnica de eliminación de compuerta estándar no funciona aquí, ya que al …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Es bien sabido que y son menores prohibidos para gráficos planos. Hay cientos de menores prohibidos para gráficos incrustados en un toro. El número de menores prohibidos para gráficos incrustados en la superficie del género g es una función exponencial de g . Mi pregunta es la siguiente:K5K5K_5K3,3K3,3K_{3,3} ¿Hay un …

16 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

Dado que la mayoría de las universidades estadounidenses solo aceptan solicitudes en un solo campo, estoy tratando de descubrir cuáles son las ventajas / desventajas de postularse a un programa de teoría de CS versus un programa de matemática aplicada dado que el interés de uno se encuentra en algún …

16 soft-question  advice-request  career 

Estoy buscando un problema que pertenece a en gráficos generales pero está en en gráficos de ancho de árbol acotado. De hecho, creo que estos problemas son más difíciles que usar la programación dinámica normal en acotado -Gráficos de árbol de ancho para resolverlos.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth