J'ai un solver sat que j'aimerais tester

Salut,

Je cherche un challenge pour tester mon solver, ici : http://www.satcompetition.org/

Mais c'est anglais j'arrive pas à y trouver un problème sat pour challenger mon solver.

Merci pour votre aide.

il y a 23 minutes, contrexemple a dit :

Salut,

Je cherche un challenge pour tester mon solver, ici : http://www.satcompetition.org/

Mais c'est anglais j'arrive pas à y trouver un problème sat pour challenger mon solver.

 

Sur un forum d'expression française on utilise le français !

Je cherche un challenge = ???

mon solver =  ???

problème sat = ???

pour challenger mon solver = ???

challenger = défier

problème sat = https://fr.wikipedia.org/wiki/Problème_SAT

un solver = une stratégie de résolution des problèmes sat

Il y a 2 heures, contrexemple a dit :

Salut,

 

Je cherche un challenge pour tester mon solver, ici : http://www.satcompetition.org/

Mais c'est anglais j'arrive pas à y trouver un problème sat pour challenger mon solver.

 

Merci pour votre aide.

Tu t'exprimes déjà en partie en anglais... sans comprendre cette langue, à première vue.

Il y a 1 heure, Gouderien a dit :

Tu t'exprimes déjà en partie en anglais... sans comprendre cette langue, à première vue.

C'est du franglais

il y a 9 minutes, contrexemple a dit :

C'est du franglais

J'ai horreur du franglais. Quand je rencontre quelqu'un qui baragouine cet idiome, j'ai très envie de parler anglais, rien que pour voir la tête qu'il fera. Notre actuel président est un adepte forcené du franglais (mais faut reconnaître que lui il parle anglais).

Et comme d'ab, tu ne dis rien d'utile. En particulier : quel problème rêves-tu résoudre, ton site en propose une multitude.

il y a une heure, azad2B a dit :

Et comme d'ab, tu ne dis rien d'utile. En particulier : quel problème rêves-tu résoudre, ton site en propose une multitude.

Sur mon site je propose des énigmes de maths, donc pour la plus part des énoncés j'en connais une solution.

Ensuite ma demande est simple, je souhaite tester une stratégie de résolution des problèmes sat, et pour cela j'ai besoin d'un défi, dans le lien que je donne il doit y en avoir, mon anglais étant ce qu'il est, je ne sais pas où, c'est pour cela que je demande à ceux qui connaisse bien l'anglais de m'indiquer un tel défi.

Même en franglais, je m'étonne que des amateurs de science (et a priori de sciences informatiques) ne connaissent pas le terme "solver", qui par barbarisme donne "solveur" en français.

Aprés c'est pas de ma faute si maintenant la plus part des sites scientifiques (non vulgarisés) sont en anglais, par contre c'est de ma faute si je suis nul en anglais.

Je ne parlais pas de TON site, mais de celui dont tu as donné le lien.

Pour le reste la logique formelle n'est pas ma tasse de thé, donc je n'y connais rien. Mais le site que tu indiques propose de télécharger différents solveurs ( à toi de choisir le plus approprié à ce que tu veux faire) et j'ai cru comprendre que pour les challenges proposés on pouvait aussi opter pour des solutions "maison" écrites en C, voire même en Basic ou en Python. Pour ce qui me concerne, et ignorant tout de la terminologie SAT je résoudrais le challenge (ou tenterais de le faire) à l'aide des fonctions élémentaires de l'électronique (AND, OR, XOR) et de leurs négations (NAND, NOR, XNOR) cela me donnerait un schéma peut-être compliqué dans un premier temps, qui suffirait ensuite de simplifier en appliquant les règles de l'algèbre booléenne . Ca ce n'est pas trop difficile. Et dans ce cas, un excellent "solveur" pourrait être un émulateur de circuits logiques, comme de NI de National Instrument que je pratique couramment pour mes besoins personnels en électronique. Mais il y en a d'autres, et des beaucoup moins chers, et même gratuits. Cherche.

Il y a 14 heures, Eventuellement a dit :

Même en franglais, je m'étonne que des amateurs de science (et a priori de sciences informatiques) ne connaissent pas le terme "solver", qui par barbarisme donne "solveur" en français.

Je pratique l'anglais ne t'en déplaise.

Mais dans un forum d'expression française, je trouve anormal que l'on utilise le "charabia franglais".

@azad2B mais non je ne cherche pas un solveur mais je cherche à tester le mien (j'en ai déjà un), pour vois s'il est juste bon ou excellent.

S'il est bon, il fait apparaître les solutions d'un certain pourcentage des problèmes que tu lui soumet.... s'il est excellent, il les solutionne toutes. Et dans ce dernier cas, tu as droit à la Médaille de la Pierre Philosophale, décernée par le Grand Jury de l'Alchimie. Pas besoin de poster pour poser ce genre de question, tu devrais envoyer ton algorithme aux experts en la matière. 

il y a 52 minutes, azad2B a dit :

tu devrais envoyer ton algorithme aux experts en la matière. 

tu rêves, j'ai plus d'ambition que cela, je vais en faire un programme facilement utilisable, et montrer qu'il est excellent, donc tout le monde pourra s'en servir... autant dire que si je réussis c'est la fin de la cryptographie, mais avant, avant, j'ai besoin d'un challenge pour me prouver que mon programme est excellent.

Alors je ne comprend pas ! Pourquoi poster ici, puisque tu as créé le solveur miraculeux et que le site dont tu as envoyé l' adresse propose des tas de challenges, dont j'ai pu constater qu'ils étaient très au dessus de la moyenne ? Envoies ton algo et tu ruines tous les travaux des spécialistes en cryptographie en signant son arrêt de mort, ce qui fera d'une pierre (tombale) deux coups : Tu deviens célèbre et ta notoriété ici, remontera de quelques crans. Ce qui, conviens-en, ne serait pas une mauvaise chose, même si elle ne plafonne qu'à quelques centimètres au-dessus des pâquerettes.

il y a 32 minutes, azad2B a dit :

Alors je ne comprend pas ! Pourquoi poster ici, puisque tu as créé le solveur miraculeux 

Je n'ai rien créé, (un maçon crée-t-il les maisons ?) je veux tester mon solver pour savoir s'il est vraiment excellent (je le pense mais ce n'est pas suffisant), avec ce challenge je peux le prouver un peu plus fort.

Mes travaux sont fait pour être rendu publique, et me rapporter un maximum d'aûmone courante, mais chaque chose en leurs temps, pour l'instant rendre publique ce résultat, s'il était vraiment excellent, serait une mauvaise chose.

Au revoir.