es.davy.ai

Preguntas y respuestas de programación confiables

¿Tienes una pregunta?

Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.

Tag: MATHEMATICAL-OPTIMIZATION

¿Qué es la división binaria?

Trataba de aprender sobre métodos para calcular pi. Uno de los algoritmos que he leído es el binary splitting. Se utiliza para calcular de manera más rápida la serie Chudnovsky. https://www.ginac.de/CLN/binsplit.pdf No tengo ni idea de qué significa. Espero que alguien pueda explicarlo o señalar recursos para que lo pueda . . . Read more

¿Cómo generar planos de corte para un problema de SAT?

Estoy trabajando en una idea que requiere que genere planos de corte para problemas SAT. Estoy utilizando un problema de https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html, qg5-10.cnf de instancias codificadas en SAT de cuasigrupos (o cuadrados latinos). Estoy utilizando la última versión de SCIP, SCIP8.0.0. Me preguntaba si hay alguna manera de generar planos de . . . Read more