Mappe di Karnaugh a 5 o più variabili

[xyz]

Qui trovi il codice originale di Espresso e la documentazione originale:

https://ptolemy.berkeley.edu/projects/e ... /index.htm

una versione adattata per i compilatori C più moderni:

https://github.com/li3939108/espresso

Qui trovi l'algoritmo usato da Espresso come libreria per il Python:

https://github.com/cjdrake/pyeda

[Max2433BO]

Ti ringrazio molto.

Max

[rugweri]

Attenzione xyz: credo tu abbia proposto risorse relative a ESPRESSO, non a ESPRESSO-EXACT. Lo segnalo perché i due algoritmi, quantunque intimamente collegati, sono assai differenti: al di là dei formalismi impiegati (differenti anch'essi, in verità), il primo è un algoritmo euristico mentre il secondo è un algoritmo esatto.

[RenzoDF]

... Purtroppo non posso accedere ai pdf dei due algoritmi da te citati...

https://www.researchgate.net/publication/3225430_Multiple-Valued_Minimization_for_PLA_Optimization

https://www.researchgate.net/publication/2814319_A_New_Viewpoint_on_Two-Level_Logic_Minimization

[xyz]

credo tu abbia proposto risorse relative a ESPRESSO, non a ESPRESSO-EXACT

Grazie per la segnalazione, io conosco Espresso per i corsi frequentati il secolo scorso, non conosco eventuali nuovi algoritmi.

[rugweri]

In realtà i due algoritmi se ben ricordo sono stati proposti insieme, addirittura all'interno dello stesso articolo, da Richard Rudell e da Alberto Sangiovanni-Vincentelli... solo che nell'articolo i due hanno dimostrato come ESPRESSO (in realtà ESPRESSO-MV, che è un'estensione dell'originale - dovuto a Robert Brayton - alla logica multivalore) riesca a raggiungere quasi sempre (dove il "quasi", come ben ricordano Coudert e compagnia nell'altro articolo che ho citato, purtroppo ha un valore, pur non pregiudicando la qualità dell'algoritmo che infatti è usatissimo) risultati vicini a quelli ottimali e dunque renda sostanzialmente "inutile" ESPRESSO-EXACT che perciò è diventato assai meno famoso del fratello euristico

[xyz]

In realtà i due algoritmi se ben ricordo sono stati proposti insieme, addirittura all'interno dello stesso articolo...

Ho ricompilato il programma Espresso a 64 bit. Tra le opzioni ha l'impostazione "-Dexact" per disabilitare gran parte delle euristiche interne e per ottenere una soluzione minima con un grosso costo computazionale. Ho fatto qualche prova con degli esempi con tanti dati. Con opzione "-Dexact" trova una soluzione con qualche termine di prodotto in meno, ma con tanto tempo di elaborazione in più, qualche minuto, rispetto alle impostazioni di default con le euristiche abilitate, che in una frazione di secondo trova una possibile minimizzazione.

http://www.cs.columbia.edu/~cs6861/sis/espresso.txt

[rugweri]

Hai ragione, xyz: non mi ero accorto (ma la documentazione lo dice chiaramente ) che il codice che hai proposto implementasse anche la possibilità di richiedere una risoluzione esatta

[Max2433BO]

... grazie mille RenzoDF

Max