Planète Casio
Les membres ayant 30 points peuvent parler sur les canaux annonces, projets et hs du chat.
La shoutbox n'est pas chargée par défaut pour des raisons de performances. Cliquez pour charger.
Un programme au hasard
Maze3D
Catégorie : Jeux
Rubrique : Réflexion
Pour : Graph 90+E
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: 455 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: 455 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
LephenixnoirEn ligneAdministrateurPoints: 24689 Défis: 170 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: 455 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: 91 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
LephenixnoirEn ligneAdministrateurPoints: 24689 Défis: 170 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: 91 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 ?
LephenixnoirEn ligneAdministrateurPoints: 24689 Défis: 170 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 v4.3 © créé par Neuronix et Muelsaco 2004 - 2024 | Il y a 84 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