Ciencias de la computación teórica

Estoy buscando un algoritmo para dibujar un gráfico mixto de circunscripción / dependencia (para una aplicación lingüística). Tal gráfico tendría dos tipos diferentes de vértices (tokens, nodos) y dos tipos diferentes de bordes (jerárquico, no jerárquico). Soy nuevo en teoría de gráficos y algoritmos en general, y espero que esta …

9 ds.algorithms  graph-algorithms  cg.comp-geom  graph-drawing 

Sé que el tiempo de ejecución esperado en el peor de los casos del algoritmo de triangulación incremental aleatorio delaunay (como se da en Computational Geometry ) es . Hay un ejercicio que implica que el peor tiempo de ejecución es . He tratado de construir un ejemplo donde este …

9 ds.algorithms  randomized-algorithms  delaunay-triangulation  worst-case 

Estoy buscando un teorema que diga algo como esto: si el tiempo de cobertura de una cadena de Markov reversible es pequeño, entonces la brecha espectral es grande. Aquí la brecha espectral significa, es decir, ignoramos el valor propio más pequeño de la cadena.1 - | λ2El |1-El |λ2El |1-|\lambda_2| …

9 ds.algorithms  pr.probability  random-walks 

He preguntado este problema en MathOverflow , sin ninguna respuesta satisfactoria. Considere el siguiente juego de dos jugadores, que es una simplificación del juego de cartas llamado Winner . (La siguiente formulación fue tomada de un comentario de Guillaume Brunerie sobre MathOverflow). Hay dos jugadores A y B. Cada jugador …

9 gt.game-theory  card-games 

Editar: ahora hay una pregunta de seguimiento relacionada con esta publicación. Definiciones Sean y enteros. Usamos la notación .ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Se dice que una matriz es una matriz de color to- si se cumple lo siguiente:c×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk tenemos para todo ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] …

9 co.combinatorics  lower-bounds  dc.distributed-comp 

En una pregunta anterior Algoritmo parametrizado para encontrar bicliques , pregunté si había algoritmos parametrizados rápidos para encontrar un -biclique en un gráfico de n vértices y aprendí que estaba abierto si es FPT wrt k . ¿Es lo mismo para contar las k × k -bicliques, o se sabe …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

Esta es una pregunta que hice en el foro de matemáticas SE, y me remitieron aquí. Así que aquí está la cuestión- Soy un novato tanto en matemática formal como en informática teórica, así que por favor tengan paciencia conmigo si encuentran que mi pregunta no está bien formulada. El …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

Supongamos que tenemos un gráfico en nodos. Nos gustaría asignar a cada nodo un o un . Llame a esto una configuración . El número de s que tenemos que asignar es exactamente (por lo tanto, el número de s es ). Dada una configuración , observamos cada nodo y …

9 graph-theory  co.combinatorics  optimization 

Hay algunos problemas NP-Complete ( , , etc.) que se sabe que están en . ¿Qué pasa con los espacios sub-lineales?S A TSUNAT \mathsf{SAT} D S P A C E ( n )S U B S E T S U MSUsiSmiTSUMETRO \mathsf{SUBSETSUM} D S P A C E ( n …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Me gustaría disculparme por todas las publicaciones a continuación. Elegí el foro equivocado para publicar esto originalmente. Sin embargo, en lugar de hacer de esto un desperdicio completo, he reelaborado la pregunta para que sea un verdadero problema de "Ciencia de la Computación Teórica". Problema: cree un algoritmo que tome …

9 ds.algorithms  cg.comp-geom  polygon 

Según el título, aparte de usar un solucionador de LP de propósito general, ¿hay un enfoque para resolver sistemas de desigualdades sobre las variables Xyo, ... , xkXyo,...,Xkx_i, \ldots, x_k donde las desigualdades tienen la forma ∑yo ∈ yoXyo&lt; ∑j ∈ JXj∑yo∈yoXyo&lt;∑j∈JXj\sum_{i \in I} x_i < \sum_{j \in J} x_j …

9 ds.algorithms  linear-algebra  linear-programming 

He estado luchando con los detalles técnicos de una prueba sobre la teoría de subastas en este documento: http://users.eecs.northwestern.edu/~hartline/omd.pdf Específicamente, Teorema 2.5: Las condiciones necesarias y suficientes para un mecanismo veraz. Incluso más específicamente, la dirección hacia adelante de la prueba, dada en la página 6. Al definir un valor …

9 gt.game-theory 

Sea una unidad cuadrada. En función de β , ¿cuál es el número máximo de regiones β- grasas disgregadas en pares con un diámetro de al menos 1 que puede intersecar S ?SSSββ\betaββ\betaSSS A continuación, damos una figura que muestra que para , el número máximo es 7. ¿Qué pasa …

9 cg.comp-geom 

Estoy buscando la dimensión VC del siguiente sistema establecido. Universo tal que U ⊆ R 3 . En el sistema de conjuntos R, cada conjunto S ∈ R corresponde a una esfera en R 3 de modo que el conjunto S contiene un elemento en U si y solo si …

9 cg.comp-geom  machine-learning  vc-dimension 

Supongamos que es un gráfico incrustado en una superficie compacta orientable del género g para que la incrustación sea celular. Considere el dual de la gráfica G ∗ . Supongamos que C 1 y C 2 sean ciclos disjuntos en G ∗ que son homotópicos entre sí y que E …

9 graph-theory  co.combinatorics  topological-graph-theory