Les membres ayant 30 points peuvent parler sur les canaux annonces, projets et hs du chat.
Un programme au hasard
Starwars
Catégorie : Jeux
Rubrique : Action/Sport
Pour : Graph 25
Défi
Retour liste des défis
Optimisation de condition
Difficulté : Moyen
Défi ajouté par : Thebigbadboy le 14-01-2022 10:17
ThebigbadboyHors ligneMaître du PuzzlePoints: 411 Défis: 16 Message
Question ou texte du défi :
Beaucoup plus court que le précédant problème que j'ai soumis, je vous demande cette fois-ci de créer une condition (de taille minimale !) qui vérifie que 2 réels positifs (A et B) sont nuls.
La condition, bien entendu, renverra soit 1 si A et B sont nuls, sinon 0.
La seule contrainte est de commencer la condition avec "A" pour ne pas qu'il y ait plusieurs réponses à cette QR.
Indice 1 : taille de la condition
Cliquer pour enrouler
La condition pèse simplement 4 octets.

Indice 2 : caractères à utiliser
Cliquer pour enrouler
Simplement : aucun caractère ne se trouvant pas sur un clavier d'ordi ne doit être entré, que ce soit ≠ ou autres, et bien évidemment pas d'opcode Basic Casio (Not , ...).

Votre réponse au défi :

Þ ã Ý à á â


Commentaires :

ThebigbadboyHors ligneMaître du PuzzlePoints: 411 Défis: 16 Message
Posté le 14-01-2022 à 10:18 | #
Ça faisait un petit moment que je voulais le mettre celui-ci, en espérant qu'il soit plus facile quand même que mon dernier
LephenixnoirHors ligneAdministrateurPoints: 22452 Défis: 149 Message
Posté le 14-01-2022 à 10:35 | #
Fiouh, j'ai trouvé. Je me pensais fort à ça à une époque, mais ça m'a donné du fil à retordre même avec les indices (j'ai cherché ~5 minutes sans le premier indice, pareil avec, et encore ~1-2 minutes avec le deuxième).

J'ai pas encore résolu l'autre d'ailleurs, faudrait que j'y retourne.
ThebigbadboyHors ligneMaître du PuzzlePoints: 411 Défis: 16 Message
Posté le 14-01-2022 à 10:53 | #
Eh ben, si même toi tu as eu du mal alors je ne laisse pas cette QR en "facile"

J'ai pas vraiment d'autres idées niveau indice...

C'est toujours des trucs comme celui-ci que j'adore, car une fois trouvé c'est tellement satisfaisant (et la personne qui lit le code ne comprendra plus rien ).

D'ailleurs, l'autre QR c'est aussi une magouille qui y ressemble .
BrickcitiesHors ligneMembrePoints: 63 Défis: 9 Message
Posté le 14-01-2022 à 11:15 | #
Trouvé aussi J'ai mis du temps avant de me rendre compte que le "2 réels positifs" avait de l'importance
LephenixnoirHors ligneAdministrateurPoints: 22452 Défis: 149 Message
Posté le 14-01-2022 à 11:20 | #
Elle est pas si dure que ça cette version, je veux dire une fois qu'on a le trick en tête c'est sur que c'est pas trop inventif. Mais c'est malin, j'aime. C'est du matériau à 1kBCJ tout ça.

Edit : je me demande d'ailleurs si on pourrait pas utiliser un solver pour trouver automatiquement des formes simplifiées comme ça
BrickcitiesHors ligneMembrePoints: 63 Défis: 9 Message
Posté le 14-01-2022 à 11:32 | #
Un solveur ? Genre tu lui donnerais la table de vérité et il trouverait la forme optimisée ?
LephenixnoirHors ligneAdministrateurPoints: 22452 Défis: 149 Message
Posté le 14-01-2022 à 11:38 | #
Un truc un peu plus puissant... puisqu'on a des réels t'as pas juste une table de vérité. Tu lui donnerais des hypothèses linéaires et il trouverait une expression optimisée.

Étant donné qu'il y a des procédures de décision complètes pour l'arithmétique linéaire sur Z/Q/R (et même des incomplètes pour l'arithmétique non-linéaire), on peut tester si une formule donnée est correcte automatiquement, et à partir de là explorer plus ou moins brutalement les formules par ordre de taille... un truc comme ça

Planète Casio v42 © créé par Neuronix et Muelsaco 2004 - 2022 | Il y a 29 connectés | Nous contacter | Qui sommes-nous ? | Licences et remerciements

Planète Casio est un site communautaire non affilié à Casio. Toute reproduction de Planète Casio, même partielle, est interdite.
Les programmes et autres publications présentes sur Planète Casio restent la propriété de leurs auteurs et peuvent être soumis à des licences ou copyrights.
CASIO est une marque déposée par CASIO Computer Co., Ltd