Preguntas etiquetadas con mathematical-programming

Quiero saber qué algoritmo es más rápido para la multiplicación de dos números de n dígitos. ¡La complejidad del espacio se puede relajar aquí!

21 algorithms  mathematical-programming 

Lo que sabemos es que π es infinito y es muy probable que contenga todas las cadenas de dígitos finitos posibles ( secuencia disyuntiva ). Recientemente he visto algún prototipo de πfs que supone que cada archivo que ha creado (o cualquier otra persona) o que creará, ya está allí, …

11 algorithms  data-compression  mathematical-programming 

Antecedentes Estoy aprendiendo asistencia, Coq, por mi cuenta. Hasta ahora, he terminado de leer Coq de Yves Bertot a toda prisa . Ahora, mi objetivo es probar algunos resultados básicos con respecto a los números naturales, que culminan con el llamado algoritmo de división. Sin embargo, he encontrado algunos contratiempos …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Para el método de ramificación y corte, es esencial conocer muchas facetas de los politopos generados por el problema. Sin embargo, actualmente es uno de los problemas más difíciles calcular todas las facetas de dichos politopos a medida que crecen rápidamente. Para un problema de optimización arbitrario, el politopo utilizado …

8 algorithms  optimization  linear-programming  mathematical-programming  traveling-salesman