CMSOL está contando la lógica monádica de segundo orden, es decir, una lógica de gráficos donde el dominio es el conjunto de vértices y bordes, existen predicados para la adyacencia vértice-vértice y la incidencia de borde-vértice, hay cuantificación sobre bordes, vértices, conjuntos de bordes y...
El título habla por sí mismo. Aquí están Akinator y 20Q . El principio de estos juegos es hacerle al usuario una serie de preguntas relacionadas con alguna entidad elegida por el usuario. Y luego descubre qué es esta entidad. El núcleo del algoritmo es encontrar la "pregunta más útil" en cada...
Estoy buscando una buena referencia para los caminos más cortos del cuello de botella. Específicamente, dados los vértices syt en un gráfico no dirigido con pesos de arista, desea la ruta más corta de sa t, donde la longitud de una ruta es la arista máxima en esa ruta. Esto se puede resolver en el...
Sea X1, ... , xnortex1,…,xnx_1, \ldots, x_n puntos en el plano R2R2\mathbb{R}^2 . Considere una gráfica completa con los puntos como vértices y con pesos de arista de ∥ xyo- xj∥2‖xi−xj‖2\|x_i - x_j\|^2 . ¿Siempre puedes encontrar un corte de peso que sea al menos 2323\frac 2 3 del peso total? Si...
Hay varias nociones en competencia de un "gráfico disperso". Por ejemplo, un gráfico empotrable en la superficie podría considerarse escaso. O un gráfico con densidad de borde acotada. O un gráfico con gran circunferencia. Un gráfico con gran expansión. Un gráfico con ancho de árbol acotado....
Considere un vector dimensional donde . Para cada sabemos y supongamos que son independientes. Usando estas probabilidades, ¿hay una manera eficiente de iterar sobre vectores binarios dimensionales en orden de más probable a menos probable (con opciones arbitrarias para los lazos) usando el espacio...
El algoritmo simplex a menudo se trata dentro de la aritmética real o en el mundo discreto con cálculos exactos. Sin embargo, parece implementarse con mayor frecuencia con aritmética de punto flotante. Esto lleva a la pregunta de si el algoritmo simplex debe considerarse como un algoritmo...
Dada una secuencia de números, ¿se puede ordenar con O ( n ln n ) comparaciones y O ( n ) intercambios / movimientos? Cualquier puntero a publicaciones sobre ese tema o contraargumentos que muestren un límite inferior Ω ( n ln n ) ayudaría.nnnO(nlnn)O(nlnn)O(n \ln
¡Entonces todos conocemos el límite inferior del árbol de comparación de en el peor de los casos de comparaciones realizadas por un algoritmo de clasificación de comparación (determinista). No se aplica a la clasificación de comparación aleatoria (si medimos las comparaciones esperadas para el peor...
Estoy buscando un pequeño gráfico GGG cuyo número cromático vectorial es menor que el número cromático,
En mi trabajo surge el siguiente problema: ¿Existe un algoritmo conocido que se aproxime al número cromático de un gráfico sin un conjunto independiente de orden 65? (Por lo tanto, se conoce alfa (G) <= 64 y | V | / 64 es un límite inferior trivial, | V | un límite superior trivial. ¿Pero...
Considere el siguiente problema de prueba de membresía de subgrupo abelian . Entradas: Un grupo abeliano finito G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} con arbitrariamente grande didid_i . Un generador de conjunto...
'Dado , ¿hay x , y ∈ N , a x 2 + b y = c ' es N P -completo?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} ¿A qué clase de complejidad pertenece 'Dado , a qué pertenece x , y ∈ N , a x 2 + b y 2 = c '?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb...
Los autómatas de estado finito residual (RFSA, definidos en [DLT02]) son NFA que tienen algunas características agradables en común con los DFA. En particular, siempre hay un RFSA canónico de tamaño mínimo para cada idioma regular, y el idioma reconocido por cada estado en el RFSA es residual, al...
Existe un algoritmo de tiempo lineal para dividir el texto de manera uniforme en líneas de ancho máximo. Utiliza SMAWK (o Knuth & Plass) y "uniformemente" significa: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness ¿Existe un algoritmo o una función de costo cóncava para el algoritmo...
Soy un estudiante de matemáticas interesado en TCS. Quiero estudiar por su cuenta los algoritmos y su complejidad para resolver los problemas teóricos grupales, como encontrar el orden de los elementos, enumeración de coset, encontrar generador, probar si un subconjunto determinado genera el...
Espero que alguien sepa algo sobre esto, así que no tengo que leer la literatura ... Considere una secuencia de números . Piense en la secuencia como n - 1 intervalos [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] . Claramente, la secuencia original es bitónica si algún punto en la línea...
Esto puede parecer más una pregunta de ciencias sociales que una pregunta de TCS, pero no lo es. Al leer " Algoritmos aleatorios " que describe el problema del matrimonio estable, se puede leer lo siguiente (p54) "Se puede demostrar que para cada elección de listas de preferencias existe al menos...
Lo siento si me equivoco con el lugar para hacer la pregunta (¿tal vez debería ir a stackoverflow.com/mathoverflow.net?). Me pregunto si hay una prueba de que al evaluar el algoritmo euclidiano extendido, los coeficientes de Bézout (es decir, s y t en identidad como + bt = mcd ( a , b )) no...
Me interesarían mucho las referencias a la teoría de las funciones submodulares (desde lo básico hasta lo avanzado). En particular, estoy estudiando aproximaciones a problemas de optimización difíciles y quiero desarrollar mis fundamentos en funciones submodulares, ya que son relevantes para los...