Recursividad, recursividad y stack overflow everywhere

Te comento que tienes que trabajar con lógica Proposicional. Vamos, básicamente lo que estas haciendo, unas proposiciones que son las variables, y las conectivas que son los enlaces(&&, |, etc...).

El problema que tienen estos programas es que el algoritmo de resolución básico que harías(que son las tablas de verdad) tiene esta forma:

2^n

Donde n es el número de proposiciones(ya que pueden ser verdaderas o falsas).

Es un verdadero problema, ya que una vez que tengas un gran número de proposiciones se va a disparar el número de ejecuciones que vas a realizar. Para eso se han creado una serie de métodos(como sacarlo por contradicción) que hacen que el algoritmo tenga una complejidad menor. De hecho, asi fue como surgio uno de los primeros problemas np complejos, que todavia sigue sin resolver.

Pero bueno, el caso es que hay una pagina en la que se compite por ver quien es capaz de idear el algoritmo mas eficiente:

http://www.satcompetition.org

Se trata de saber si una fórmula es satisfacible, lo que usaras para ver si un razonamiento es correcto(el razonamiento deberia de ser siempre satisfacible).

http://es.wikipedia.org/wiki/Problema_de_satisfacibilidad_booleana#Algoritmos

En el apartado de algoritmos tienes un resumen, yo que tu me lo leeria, ya que el tema de logica es muy importante en el desarrollo de la computacion y la algoritmia en general, ademas de ser realmente fascinante.

Cualquier duda pregunta, que probablemente me pase poniendo conceptos XD

Un saludo!

Que grandes las dos antiguas de Conan...la nueva un truño xD

Na hombre, es que habia que decirlo. Aun asi tampoco me molan con mucho mucho, pero que sean pequeñas tampoco.

Que ya lo se, por eso os pregunto:

-En el CD hay mas de 80 min de musica
-El CD no es de Datos ya que si no tambien funcionaria el mio
-El CD no puede ser de audio porque tiene mas de 80 minutos


¿Alguién sabe como se puede hacer eso?

http://www.youtube.com/watch?v=e9Y-_I_-0Uk 0:39

no seras marica?XDD

Lo que habeis comentado ya lo sé, lo que pregunto es porque es así, y porque un cd que no es de datos(ya que si fuese de datos el mio lo leeria también) puede tener mas de 80 minutos(y muchos más).

El otro día me disponia a grabar un cd de música(metal, por supuesto) para el coche de un colega. El caso es que no sabiamos si este podría leer los cds de datos, y la restricción de 80 min se quedaba muy corta para el cd(88 canciones de metal son casi 7 horas). Hice un cd de datos, que, por mala suerte, el reproductor no leia.

Me extrañe bastante, ya que tenia un disco(de música chunda-chunda) que tenía como unas 130 canciones y que si que leía. Era un cd verbatim crystal a x46, y no se como ha podido grabar tantas canciones así(duran de media 3 min o asi, asi que no creo que sean menos de ni si quiera 90 minutos). ¿Alguién sabe como lo pudo hacer?

También me preguntaba porque existen estas restricciones en los cds de audio. Me suena que es algo relacionado con la velocidad de reproducción y de grabación, pero si alguien me pudiese dar una mejor explicación estaria encantado 

En fin, a ver si soluciono esto que necesito escuchar metal!!

PD: Esto lo he puesto aqui porque el foro de grabacion esta muy muerto y no lo leyo casi nadie, asi que sorry por el doble post

jaja, empezad a rezar babuinos paganos!XDDDD

Dime una. Y aparte de eso esta demostrado que no guarda ninguna relación por medio de estudios, así que ya me dirás XD