| V I S U A L I Z Z A D I S C U S S I O N E |
| JhOn_NoXvILl |
Inserito il - 04/11/2010 : 18:01:10
Salve ragazzi volevo sapere se qualcuno ha già eseguito l'esercizio dell'appello del 03/09/2009. Volevo sapere con quale struttura è stato implementato il trie...mi sembra un esercizio al quanto difficile |
| 2 U L T I M E R I S P O S T E (in alto le più recenti) |
| ilblondo |
Inserito il - 10/11/2010 : 14:27:04
Io ho risolto così la specifica... non so se è corretta... volevo un confronto
tipi
trie = lista ordinata <a1,...,an> di elementi di tipo stringa. Agli elementi è attribuita una relazione d'ordine parziale "<". indico con #1640; la sequenza vuota.
stringa=insieme definito di caratteri.
lista =sequenza di elementi di tipo stringa
intero=insieme dei numeri naturali
booleano = insieme di valori di verità {vero,falso}
operazioni
creatrie()=T
post:
t=#1640;
inserisci(T,s)=T'
pre:
t=#1640; o t =a1,...,an n>=1
post:
T'=s se T=#1640;, T'=a1,...,ai-1,s,ai,ai+1,...,an.
i è la posizione ottenuta secondo la relazione di precedenza
trova(t,s)=b
pre
t=a1,..,an, n>=1
post:
b=vero se #8704;i#8712;[1,n]E(esiste)(j#8712;[1,n]|s=aj, b =falso altrimenti
nuovo(t)=b
pre
t=#1640; o t=a1,...,an
post
b=vero se t=#1640;, b=falso altrimenti
primo(t)=s'
pre
t=a1,...,an n>=1
post
s'=a1
tutte(t)=l
pre
t=a1,...,an n>=1
post
L= è la lista di tutti gli elementi indicati una e una sola volta di t
Dimensione(t)=i
pre
t=a1,...,an
post
i=n
prefisso(t,s)=l
pre: t=a1,...an n>=1
post
l è una lista di elementi di t che hanno lo stesso prefisso di s
non so se è corretto
|
| ilblondo |
Inserito il - 10/11/2010 : 13:13:26
io credo ampiamente che la struttura dati da usare sia la lista ordinata.
Però sia per la lista ordinata che per la coda con priorità non so come fare la specifica semantica.
C'è sicuramente una relazione d'ordine parziale tra gli elementi ma poi non so come scrivere la specifica di inserisci() |
|
|
