Source: chapitre 33 de « Selected Papers on Fun and Games » de Donald E. Knuth. Une échelle de mots est un jeu qui consiste à trouver, connaissant un mot de départ et un mot d’arrivée une succession de mots tel que le mot \(i+1\) est semblable au mot \(i\) (au sens où une transformation simple suffit à passer du mot \(i\) au mot \(i+1\)). Nous allons considerer une version simplifiée du jeu qui n’autorise que l’opération de changement d’une lettre sur les mots (on ignore les opérations « ajout / retrait de lettre » et « changement de l’ordre des lettre »).…

Cette page rassemble quelques solutions en Answer Set Programming (avec Clingo) à une sélection de problèmes de logique originaires de sources diverses et variées. Brilliant Order logic Source: https://brilliant.org Qu°1 4 is before 1 and 2. 3 is after 1 and 2. 2 is before 1. #const n=4. values(1..n). before(4, (1;2)). after(3, (1;2)). before(2, 1). values(1..n). after(After, Before) :- before(Before, After). before(Before, After) :- after(After, Before). n { position(Value, Position): values(Value), values(Position) } n.…

Dans le précédent poste, nous avions résolu le problème de la couverture minimale avec l’Integer Programming. Dans ce billet, nous poursuivons notre exploration de ce problème en implémentant un programme logique Answer Set Programming avec clingo. Reprenons le meme exemple: % On commence par définir le graphe non orienté % L'ensemble des sommets noeud(a;b;c;d;e). % L'ensemble des aretes arete(a,c). arete(a,d). arete(a,e). arete(c,b). arete(d,e). % Comme le graphe est non orienté, dès lors qu'une arete u,v existe, l'arete v,u est prise en compte.…

Le problème de couverture par sommets (ou Vertex Cover en anglais) consiste, étant donné un graphe, à trouver un ensemble minimum de sommets de sorte que toutes les arêtes soient couvertes. Formellement: soit \(G(V, E)\) un graphe, une couverture est un ensemble \(S\) tel que: \[ S \subseteq V \text{ tel que } \forall e = (u, v) \in E, u \in S, \text{ ou } v \in S \]…

Après avoir enregistré des sons de chauve-souris, orthoptères ou d’oiseaux, il est souvent utile de jeter un oeil aux spectrogrammes des enregistrements, par exemple lors de l’analyse d’enregistrements réalisés dans le cadre du programme Vigie-Chiro. Les logiciels recommandés dans les tutoriels Vigie-Chiro sont, pour certains, développés uniquement pour Windows. Dans cet article, nous apprendrons comment installer ces logiciels (Kaleidoscope, Syrinx, Batsound 4, 7-zip et Lupas-Rename) sur une machine Linux à l’aide de Wine.…