search

IIC2213 / Syllabus-2021-1-

19 stars 2 forks source link

[Tarea 5] Duda tiempo DPLL #66

Open Okhan97 opened 3 years ago

Okhan97 commented 3 years ago

Hola,

Para la tarea apliqué DPLL el cual es mas de 10 veces mas rapido que fuerza bruta en los test de 20 proposiciones, sin embargo a pesar de esto en los de 50 los tiempos de cada test son tan grandes que de ejecutarlos todos me demoraría dias. Considerando que la aplicación de DPLL es tal como lo que se pide en el enunciado pero incluso así no se logra llegar a tiempos razonables ¿eso correspondería a un 1 en la nota de la tarea?

juanreutter commented 3 years ago

Lee el enunciado de nuevo por favor, ¿donde dice que si no te corre con 50 proposiciones te sacas un 1? Déjalo así, háblame de lo que vistes con 20 proposiciones y con eso está bien.