Esta es una versión especializada de una pregunta anterior: Complejidad de encontrar la descomposición propia de una matriz . Para las matrices simétricas NxN, se sabe que el tiempo O (N ^ 3) es suficiente para calcular la descomposición propia. La pregunta es: ¿podemos lograr una complejidad...
Generalmente llamamos a un algoritmo "buen algoritmo" si su tiempo de ejecución es polinómico en el peor de los casos. Pero en algunos casos (por ejemplo, el algoritmo Simplex), aunque el peor de los casos del algoritmo es exponencial, podría funcionar muy bien en la práctica. ¿Hay algún ejemplo...
Alice y Bob están dividiendo el patrimonio de su difunto tío Charlie (una colección finita de artículos discretos) de acuerdo con sus deseos. Primero A elige un elemento, luego B, luego A, y así sucesivamente.XXX Alice y Bob tienen funciones de utilidad aditivas , de modo que si Alice termina con...
El teorema de la jerarquía de tiempo permite mostrar que, por ejemplo, hay problemas en P que una máquina de Turing no puede resolver en un tiempo menor que const * n ^ 2. Pero dale algunos consejos a la máquina Turing y todas las apuestas están canceladas. Todavía no se puede demostrar que incluso...
Estoy buscando una estructura de datos, que es básicamente un árbol de mapas, donde el mapa en cada nodo contiene algunos elementos nuevos, así como los elementos en el mapa de su nodo padre. Por mapa aquí me refiero a un mapa de programación con claves y valores, como mapa en STL o dict en...
Primero preguntado en matemáticas . SE sin respuestas. Supongamos que tengo un gráfico plano, con una incrustación plana, ¿cómo encuentro la descomposición del árbol? ¿Cuál es la descomposición óptima del árbol de una rejilla cuadrada -by- d ? No estoy completamente seguro de cómo definir...
¿Es el siguiente problema de decisión NP-completo: Sea un gráfico no dirigido y dos enteros. ¿Es posible seleccionar para cada vértice de exactamente vecinos diferentes de modo que no se elija ningún nodo más de veces?b ≤ c G b csolGGb ≤ cb≤cb \le csolGGsibbCcc El caso se puede resolver...
¿Cómo puede obligar a una parte a ser honesta (obedecer las reglas del protocolo)? He visto algunos mecanismos como compromisos, pruebas, etc., pero simplemente no parecen resolver todo el problema. Me parece que la estructura del diseño del protocolo y tales mecanismos deben hacer el trabajo....
Me pregunto si hay algún enfoque que formule un problema de enrutamiento de vehículos con ventanas de tiempo ( VRPTW ) (como un problema de decisión) como una instancia SAT / SMT. (alternativa: TSP) Por ejemplo: "¿Existe una solución válida para visitar a todos los clientes dentro de sus ventanas...
Cuando revisé " Un enfoque de programación dinámica para problemas de secuencia " de Michael Held y Richard M. Karp, se me ocurrió la siguiente pregunta: ¿por qué la complejidad de su algoritmo para TSP es
En resumen: suponiendo que existan permutaciones unidireccionales , ¿podemos construir una que no tenga trampilla? Más información: Una permutación unidireccional es una permutación ππ\pi que es fácil de calcular, pero difícil de invertir (consulte el wiki de etiqueta de función unidireccional...
Como seguimiento de mi pregunta anterior , que fue resuelta por Hsien-Chih Chang, aquí hay otro intento de encontrar una generalización apropiada del teorema de Ramsey. (No es necesario que lea la pregunta anterior; esta publicación es independiente). Parámetros: se dan enteros , y luego se...
Sea un conjunto de formas rectangulares -dimensionales. Para y , describe la longitud de en la dimensión . La misma notación se utiliza para el contenedor C . El problema del empaque ortogonal dimensional D (OPP- D ) es decidir si V encaja en el contenedor C sin solaparse. Formalmente, el problema...
Del teorema de Rice se deduce que no se puede determinar si dos máquinas de Turing deciden o no el mismo idioma. Mi pregunta es: ¿Esto también se aplica en configuraciones de complejidad descriptiva, particularmente cuando se trata de probar un par de consultas SO-Horn para ver si describen el...
Para un proyecto en el que estoy trabajando, debería generar árboles de expansión aleatorios con altura acotada. Básicamente hago lo siguiente: 1) Generar un árbol de expansión 2) Verificar la viabilidad, si es posible, mantenerlo. 1) Comenzando desde un árbol de expansión mínimo (Prim o...
Tuve dificultades para encontrar algoritmos o artículos publicados sobre triangulación de polígonos auto intersectantes (también polígonos con estructura de agujeros). ¿Alguien puede guiarme para encontrar papel / algoritmo publicado, por favor? PD: alguien etiquete esta pregunta apropiadamente,...
Me gustaría saber a dónde puedo recurrir para una buena y amable introducción a k-SAT (esto puede ser para matemáticos que pueden no tener una buena formación en informática). También me gustaría conocer documentos que tal vez examinen o expliquen los métodos actuales utilizados para resolver...
Me refiero a la pregunta aquí: algoritmos poderosos demasiado complejos para implementar . Si un algoritmo es poderoso, pero demasiado complejo para implementar, ¿cómo puede estar seguro de que el algoritmo es correcto? Sin la implementación, no podrá probar el algoritmo en un escenario del mundo...
En mi experiencia, los lenguajes sensibles al contexto y los autómatas lineales limitados son frecuentemente omitidos o ignorados en los cursos de teoría de la computabilidad, e incluso quedan fuera de algunos libros de texto notables, aunque los autómatas finitos y pushdown reciben mucha atención....
Esta es una publicación separada de Consecuencias de UP es igual a NP , y también una pregunta de seguimiento a las clases de complejidad semántica vs. sintáctica . En la publicación anterior aprendimos sobre las clases semánticas y sintácticas . En pocas palabras, cuando una clase puede...