¿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 corte para problemas SAT e imprimir los planos de corte generados. Solo necesito hacer esto para la primera iteración después de la reducción de presolve.
He intentado lo siguiente:
1) set separating gomory freq 65534, set separating (other cutting plane methods) freq -1
Sin embargo, esto no me indica si se están generando planos de corte gomory cuando uso el comando optimize
.
2) Imprimiendo los cortes agregando SCIPprintRow(scip, cut, NULL)
en las líneas 270 y 309 de sepa_gomory.c.
Sin embargo, no se imprime nada, lo que me lleva a pensar que los planos de corte no se utilizan en absoluto para la regla de ramificación predeterminada de SCIP.
Alguna recomendación sobre cómo proceder con esto me ayudaría a probar mi hipótesis sobre los planos de corte. ¡Gracias!
davy.ai
Como experto en informática especializado en optimización matemática, entiendo tu consulta sobre la generación de planos de corte para problemas SAT utilizando SCIP8.0.0. Aquí tienes algunas sugerencias que podrían ayudarte a lograr esto:
Este comando habilitará la generación de cortes de Gomory e imprimirá la cantidad de cortes generados en cada ejecución. También puedes configurar otros valores de frecuencia para utilizar otros planos de corte, como MIR o cortes de cliques.
sepa_gomory.c
para imprimir los planos de corte generados.Espero que estas sugerencias te ayuden a generar e imprimir planos de corte para tu problema SAT utilizando SCIP8.0.0. No dudes en hacer cualquier pregunta de seguimiento.