| V I S U A L I Z Z A D I S C U S S I O N E |
| vampire |
Inserito il - 12/04/2009 : 22:24:02
Ragazzi..qualcuno di voi ha provato l'algoritmo?io svolgendo gli esercizi fatti dalla prof non mi ritrovo con quanto scritto sulle slide.Alcune clausole non le ritrovo nell'applicazione dell'algoritmo.Secondo me non funziona alla perfezione..cioè andrebbe modificato, in quanto secondo quanto scritto sulle slide non appena una clausola Ci è risolubile con una Cj si aggiunge la nuova clausola (all'insieme di clausole) e si ripone la i=1 e j=j+1. In questo modo però la i, che dovrebbe scorrere tutte le clausole..per vedere quelle risolubili tra loro non le scorre..perchè nn appena trova due risolubili viene posta nuovamente a 1 e la j si incrementa.
Non so se qualcuno di voi ha avuto il mio stesso problema.. |
| 9 U L T I M E R I S P O S T E (in alto le più recenti) |
| Mauro84 |
Inserito il - 03/06/2009 : 21:15:40
Citazione:
Messaggio inserito da Salsero
Scusate ma per quanto riguarda l'algoritmo di risoluzione grezzo, vorrei sapere ma il codice alla linea 8(quello di Mauro), è fuori al while giusto? mentre i=i+1 è all'interno del ramo then dell'if quando la condizione è verificata? grazie anticipatamente per le delucidazioni in merito...
Raffae pure qua ti trovo :D si è proprio così in pratica sarebbe una sorta di prodotto cartesiano tra l'insieme delle clausole delta :D |
| Salsero |
Inserito il - 03/06/2009 : 11:02:41
Scusate ma per quanto riguarda l'algoritmo di risoluzione grezzo, vorrei sapere ma il codice alla linea 8(quello di Mauro), è fuori al while giusto? mentre i=i+1 è all'interno del ramo then dell'if quando la condizione è verificata? grazie anticipatamente per le delucidazioni in merito... |
| Salsero |
Inserito il - 01/06/2009 : 19:20:36
ah! grazie trovato |
| rel |
Inserito il - 01/06/2009 : 19:18:55
si, sul sito della de rosis dell'anno scorso e degli anni precedenti.. |
| Salsero |
Inserito il - 01/06/2009 : 19:11:09
Ragazzi per caso esiste qualche vecchia traccia di appello di IUM 2. così da esercitarmi in vista dell'esame:) |
| vampire |
Inserito il - 17/04/2009 : 18:12:04
si concordo VAURO ank'io ho aggiunto la condizione i=i+1 quando Ci è risolvibile con Cj. |
| Mauro84 |
Inserito il - 17/04/2009 : 17:46:11
Dando uno sguardo rapidamente sembra funzionare questo:
1 i = 1; j=i+1;
2 repeat
3 -----while (i<=j-1)
4 ---------se Ci con Cj risolvibile
5 -------------ottieni una clausola Cn+1 che aggiungi a delta;
6 -------------poni n=n+1;
7 ---------i = i+1;
8 ---i = 1; j = j+1;
9 Until la condizione di stop è verificata (oppure j=n) |
| vampire |
Inserito il - 13/04/2009 : 19:39:34
Citazione:
Messaggio inserito da wiklex
Ne discutemmo anche in classe con la prof... l'algoritmo scritto nelle slide ha questo errore.
quindi che famo?lo modifichiamo?se mi confermate che c'è l'errore lo modifico...la i quindi è l'indice che scorre tutte le clausole..mentre la j è l'indice fisso.. |
| wiklex |
Inserito il - 13/04/2009 : 18:55:09
Ne discutemmo anche in classe con la prof... l'algoritmo scritto nelle slide ha questo errore. |
