Ciencias de la Computación

Tengo un problema que sospecho es NP-completo. Es fácil demostrar que es NP. Mi actual tren de pensamiento gira en torno al uso de una reducción de la mochila, pero daría como resultado casos de 0-1-mochila con el valor de cada elemento igual a su peso. ¿Sigue siendo NP completo? …

9 complexity-theory  np-complete  decision-problem  packing 

Tengo un problema con respecto a la siguiente situación. Tengo dos conjuntos de números como este: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 …

9 approximation  heuristics 

¿Existe un algoritmo de tiempo lineal para verificar que una secuencia de caracteres es una concatenación de palíndromos? Lo único que me viene a la mente es la solución ingenua: 1. k = 1 2. Split string into k substrings (all possibilities) and check 3. k++ 4. repeat Nota: la …

9 algorithms  efficiency  strings 

Estoy implementando el algoritmo de cancelación de ciclo para encontrar una solución óptima para el problema de flujo de costo mínimo. Al encontrar y eliminar los ciclos de costos negativos en la red residual, el costo total se reduce en cada ronda. Para encontrar un ciclo negativo, estoy usando el …

9 algorithms  graph-theory  shortest-path  network-flow 

Puedes modificar cualquier gráfico GGG para que Dijkstra encuentre la solución con el mínimo número de aristas así: Multiplique cada peso de borde con un número , luego agregue al peso para penalizar cada borde adicional en la solución, es deciraaa111 w′(u,v)=a∗w(u,v)+1w′(u,v)=a∗w(u,v)+1w'(u,v)=a*w(u,v)+1 Esto no funciona para todos los valores de …

9 algorithms  graph-theory  shortest-path 

En el problema de la suma de subconjuntos, ¿pueden ser iguales algunos de los números dados ? Por ejemplo, podríamos tener y el objetivo es ? ¿Puedo suponer que tengo una solución específica con los números y y y no?a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_n[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4]5552223331,1,11,1,11,1,1222

9 complexity-theory  terminology 

Me gustaría aprender más sobre la programación concatenante a través de la creación de un lenguaje pequeño y simple, basado en la pila y siguiendo el paradigma de la concatenación. Desafortunadamente, no he encontrado muchos recursos relacionados con los lenguajes concatenantes y su implementación, así que discúlpeme de antemano por …

8 logic  programming-languages  compilers  type-theory  type-checking 

Estás organizando una liga de baloncesto 1 v 1 con un calendario de juegos. Al final de la liga, hace que cada jugador informe su supuesto récord de victorias y derrotas (no hay empates), pero desea verificar si las clasificaciones propuestas eran realmente posibles dado el calendario. Por ejemplo: tienes …

8 algorithms  time-complexity 

Leí esta oración en un libro: En la arquitectura VLIW, el compilador y / o el escritor de ensamblaje elige instrucciones que se pueden ejecutar en paralelo. ¿Cuál es la diferencia entre el escritor de ensamblador y el compilador? ¿Un escritor de ensamblaje también significaría lo mismo que ensamblador?

8 compilers  assembly 

Estaba mirando esta lectura del MIT sobre la complejidad computacional y en el minuto 15:00 Erik Demaine se embarca en una demostración para mostrar lo que se indica en el título de esta pregunta. Sin embargo, no puedo seguir su razonamiento, en la práctica lo que dice es esto: podemos …

8 computability  proof-techniques  decision-problem  uncountability 

En primer lugar, me disculpo si se me ha preguntado esto, pero realmente no encontré nada. Me he topado con este artículo . Dice que hay un problema que solo las computadoras cuánticas pueden resolver. Según tengo entendido, esto debería significar, intuitivamente, que este problema es "efectivamente computable", ya que …

8 turing-machines  quantum-computing  church-turing-thesis 

Estaba leyendo este documento donde los autores explican el Teorema 1, que establece que "Objeto alcanzable" (como se define en el documento) es NP-completo. Sin embargo, prueban la reducción solo en una dirección, es decir, desde 2P1N SAT hasta Objeto alcanzable. Esto solo prueba que el problema es NP-duro; ¿no …

8 complexity-theory  np-complete  np-hard  satisfiability 

Esta pregunta y esta pregunta me hicieron pensar un poco. Para ordenar una matriz de longitud con elementos únicos en , necesitamos poder almacenar conteos de valores en la matriz. Hay algunas sugerencias, pero estoy buscando una manera de hacerlo en el peor de los casos, el tiempo lineal. Más …

8 algorithms  search-trees  hash-tables 

Entonces significa problemas en los que tenemos pequeños testigos verificables para instancias de y para pequeños testigos verificables para instancias de . ¿Cómo funciona esto paraNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} ¿y así?

8 complexity-theory  np 

Veo en todas partes que la ecuación recursiva para la complejidad de Strassen alg es: Esto no está tan claro para mí. Se supone que el parámetro es el tamaño de la entrada, pero parece que aquí es una dimensión de una matriz, mientras que el tamaño de entrada es …

8 algorithms  complexity-theory  divide-and-conquer  matrix