J'ai un solver sat que j'aimerais tester


contrexemple Membre 4 788 messages
Enigmologue‚
Posté(e)

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.

Partager ce message


Lien à poster
Partager sur d’autres sites
Annonces
Maintenant
Répy Membre 6 298 messages
Forumeur alchimiste‚
Posté(e)
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 = ???

 

1 personne aime ça

Partager ce message


Lien à poster
Partager sur d’autres sites
Gouderien Membre 10 210 messages
Obsédé textuel‚ 65ans
Posté(e)
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.

2 personnes aiment ça

Partager ce message


Lien à poster
Partager sur d’autres sites
contrexemple Membre 4 788 messages
Enigmologue‚
Posté(e)
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

Partager ce message


Lien à poster
Partager sur d’autres sites
Gouderien Membre 10 210 messages
Obsédé textuel‚ 65ans
Posté(e)
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).

Partager ce message


Lien à poster
Partager sur d’autres sites
azad2B Membre 956 messages
Forumeur accro‚ 105ans
Posté(e)

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.

1 personne aime ça

Partager ce message


Lien à poster
Partager sur d’autres sites
contrexemple Membre 4 788 messages
Enigmologue‚
Posté(e)
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.

Modifié par contrexemple

Partager ce message


Lien à poster
Partager sur d’autres sites
Eventuellement Membre 3 409 messages
Baby Forumeur‚ 23ans
Posté(e)

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.

Partager ce message


Lien à poster
Partager sur d’autres sites
contrexemple Membre 4 788 messages
Enigmologue‚
Posté(e)

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.

Partager ce message


Lien à poster
Partager sur d’autres sites
azad2B Membre 956 messages
Forumeur accro‚ 105ans
Posté(e)

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.

Modifié par azad2B

Partager ce message


Lien à poster
Partager sur d’autres sites
Répy Membre 6 298 messages
Forumeur alchimiste‚
Posté(e)
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".

1 personne aime ça

Partager ce message


Lien à poster
Partager sur d’autres sites
contrexemple Membre 4 788 messages
Enigmologue‚
Posté(e)

@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.

Modifié par contrexemple

Partager ce message


Lien à poster
Partager sur d’autres sites
azad2B Membre 956 messages
Forumeur accro‚ 105ans
Posté(e)

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. 

Partager ce message


Lien à poster
Partager sur d’autres sites
contrexemple Membre 4 788 messages
Enigmologue‚
Posté(e)
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.

Modifié par contrexemple

Partager ce message


Lien à poster
Partager sur d’autres sites
azad2B Membre 956 messages
Forumeur accro‚ 105ans
Posté(e)

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.

Modifié par azad2B
1 personne aime ça

Partager ce message


Lien à poster
Partager sur d’autres sites
contrexemple Membre 4 788 messages
Enigmologue‚
Posté(e)
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.

Modifié par contrexemple

Partager ce message


Lien à poster
Partager sur d’autres sites
Annonces
Maintenant

Créer un compte ou se connecter pour commenter

Vous devez être membre afin de pouvoir déposer un commentaire

Créer un compte

Créez un compte sur notre communauté. C’est facile !


Créer un nouveau compte

Se connecter

Vous avez déjà un compte ? Connectez-vous ici.


Connectez-vous maintenant