Cos'è ElectroYou | Login Iscriviti

ElectroYou - la comunità dei professionisti del mondo elettrico

Mappe di Karnaugh a 5 o più variabili

Analisi, geometria, algebra, topologia...

Moderatori: Foto UtenteDirtyDeeds, Foto UtentePietroBaima, Foto UtenteIanero

2
voti

[11] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto Utentexyz » 26 dic 2019, 17:41

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
Avatar utente
Foto Utentexyz
6.125 2 4 5
G.Master EY
G.Master EY
 
Messaggi: 1626
Iscritto il: 5 dic 2009, 18:37
Località: Italy Turin

0
voti

[12] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto UtenteMax2433BO » 26 dic 2019, 17:43

Ti ringrazio molto.

O_/ Max
Disapprovo quello che dite, ma difenderò fino alla morte il vostro diritto di dirlo [attribuita a Voltaire]

Sapere sia di sapere una cosa, sia di non saperla: questa è conoscenza. [Confucio, "I colloqui"]
Avatar utente
Foto UtenteMax2433BO
10,4k 3 9 13
Master EY
Master EY
 
Messaggi: 2640
Iscritto il: 25 set 2013, 16:29
Località: Un puntino insignificante nell'universo!!

1
voti

[13] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto Utentewruggeri » 26 dic 2019, 17:59

Attenzione Foto Utentexyz: 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.
Rispondo solo a chi si esprime correttamente in italiano e rispetta il regolamento.
Se non conosci un argomento, non parlarne.
Gli unici fatti sono quelli dimostrabili, il resto è opinione.
Non sono omofobo, sessista, leghista o analoghe merdate.
Avatar utente
Foto Utentewruggeri
5.284 2 8 13
Master EY
Master EY
 
Messaggi: 1095
Iscritto il: 25 nov 2016, 18:46

3
voti

[14] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto UtenteRenzoDF » 26 dic 2019, 18:43

"Il circuito ha sempre ragione" (Luigi Malesani)
Avatar utente
Foto UtenteRenzoDF
53,5k 8 12 13
G.Master EY
G.Master EY
 
Messaggi: 12581
Iscritto il: 4 ott 2008, 9:55

0
voti

[15] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto Utentexyz » 26 dic 2019, 18:50

wruggeri ha scritto: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.
Avatar utente
Foto Utentexyz
6.125 2 4 5
G.Master EY
G.Master EY
 
Messaggi: 1626
Iscritto il: 5 dic 2009, 18:37
Località: Italy Turin

1
voti

[16] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto Utentewruggeri » 26 dic 2019, 19:10

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 :mrgreen:
Rispondo solo a chi si esprime correttamente in italiano e rispetta il regolamento.
Se non conosci un argomento, non parlarne.
Gli unici fatti sono quelli dimostrabili, il resto è opinione.
Non sono omofobo, sessista, leghista o analoghe merdate.
Avatar utente
Foto Utentewruggeri
5.284 2 8 13
Master EY
Master EY
 
Messaggi: 1095
Iscritto il: 25 nov 2016, 18:46

2
voti

[17] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto Utentexyz » 27 dic 2019, 12:47

wruggeri ha scritto: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
Avatar utente
Foto Utentexyz
6.125 2 4 5
G.Master EY
G.Master EY
 
Messaggi: 1626
Iscritto il: 5 dic 2009, 18:37
Località: Italy Turin

0
voti

[18] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto Utentewruggeri » 27 dic 2019, 16:20

Hai ragione, Foto Utentexyz: non mi ero accorto (ma la documentazione lo dice chiaramente #-o ) che il codice che hai proposto implementasse anche la possibilità di richiedere una risoluzione esatta :ok:
Rispondo solo a chi si esprime correttamente in italiano e rispetta il regolamento.
Se non conosci un argomento, non parlarne.
Gli unici fatti sono quelli dimostrabili, il resto è opinione.
Non sono omofobo, sessista, leghista o analoghe merdate.
Avatar utente
Foto Utentewruggeri
5.284 2 8 13
Master EY
Master EY
 
Messaggi: 1095
Iscritto il: 25 nov 2016, 18:46

0
voti

[19] Re: Mappe di Karnaugh a 5 o più variabili

Messaggioda Foto UtenteMax2433BO » 27 dic 2019, 16:24

... grazie mille Foto UtenteRenzoDF :ok:

O_/ Max
Disapprovo quello che dite, ma difenderò fino alla morte il vostro diritto di dirlo [attribuita a Voltaire]

Sapere sia di sapere una cosa, sia di non saperla: questa è conoscenza. [Confucio, "I colloqui"]
Avatar utente
Foto UtenteMax2433BO
10,4k 3 9 13
Master EY
Master EY
 
Messaggi: 2640
Iscritto il: 25 set 2013, 16:29
Località: Un puntino insignificante nell'universo!!

Precedente

Torna a Matematica generale

Chi c’è in linea

Visitano il forum: Nessuno e 3 ospiti