Hop, pour info, les résultats de la première compétition internationale de solveurs de CSP (problèmes de satisfaction de contraintes) : http://cpai.ucc.ie/05/CPAI_Vol_II.pdf
La plupart des solveurs de CSP sont codés en Java, bien que ce soient par essence des programmes purement algorithmiques et forçant fortement sur le CPU.
Le principe est simple : un millier de problèmes différents sont donnés en entrée au solveur, le solveur a un temps défini pour résoudre le problème (10 minutes pour la compétition il me semble). Le programme ayant résolu le plus de problèmes est le vainqueur.
Il faut regarder la Table 4 page 12 du PDF pour voir les résultats généraux.
Les deux solveurs vainqueurs sont deux variantes du même solveur, codé en C. Les deux suivants sont deux variantes d'un solveur Java (la différence tient dans un mouchoir de poche, et vient plus de problèmes d'occupation mémoire que de temps, si on regarde les résultats de plus près), le 5e est en C, le 6e en Java. Les autres je ne sais pas, mais les deux derniers solveurs au classement étaient buggés, et étaient codés en C++...
[^] # Re: Performance des langages
Posté par scand1sk (site web personnel) . En réponse au journal Mono et Gnome. Évalué à 2.
La plupart des solveurs de CSP sont codés en Java, bien que ce soient par essence des programmes purement algorithmiques et forçant fortement sur le CPU.
Le principe est simple : un millier de problèmes différents sont donnés en entrée au solveur, le solveur a un temps défini pour résoudre le problème (10 minutes pour la compétition il me semble). Le programme ayant résolu le plus de problèmes est le vainqueur.
Il faut regarder la Table 4 page 12 du PDF pour voir les résultats généraux.
Les deux solveurs vainqueurs sont deux variantes du même solveur, codé en C. Les deux suivants sont deux variantes d'un solveur Java (la différence tient dans un mouchoir de poche, et vient plus de problèmes d'occupation mémoire que de temps, si on regarde les résultats de plus près), le 5e est en C, le 6e en Java. Les autres je ne sais pas, mais les deux derniers solveurs au classement étaient buggés, et étaient codés en C++...