Cofola: Un Linguaggio Dichiarativo per Problemi di Conteggio Combinatorio

C'è un nuovo articolo su arXiv che introduce Cofola, acronimo di COmbinatorial counting LAnguage with First-Order logic. Questo linguaggio dichiarativo tipizzato è progettato per affrontare problemi legati al conteggio combinatorio. Questi problemi, spesso presenti in settori come l'intelligenza artificiale, la statistica e la matematica discreta, riguardano il conteggio di sottoinsiemi, multinsiemi, permutazioni, partizioni o composizioni in varie condizioni. I metodi attuali possono essere noiosi e inaffidabili o lenti nei calcoli. Cofola offre caratteristiche come insiemi, borse, tuple, sequenze, cerchi, partizioni e composizioni, insieme a vincoli relazionali e aritmetici. Collega chiaramente ogni programma Cofola a uno specifico problema di conteggio combinatorio attraverso la sua semantica denotazionale.