Søgning

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.2 Søgeproblemer... Søgning efter fil(er) Søgning i databaser Søgning på Internettet Søgning efter en delstreng i en anden (søgning i to niveauer!) Afgør om et tal er et primtal Afgør om en sequence er sorteret...

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.3 Søgning (ineffektiv) public static boolean search(int e, Sequence s) { // post: returnerer om e findes i s boolean found; // resultat-variabel int i; // sweep-variabel i = 0; found = false; while ( i != s.size() ) { if ( s.elementAt(i) == e ) found = true; i++; } return found; }

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.4 Fornuftig søgning... ?

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.5 public static boolean search(int m, Sequence s) { // post: returnerer om m findes i s boolean found; // resultat-variabel int i; // sweep-variabel i = 0; found = false; while ( !found && i != s.size() ) { int e = s.elementAt(i); if ( e == m ) found = true; else i++; } return found; } Lineær søgning

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.6 Søgeskabelon Søgedomæne: S Kandidatmængde: K  kandidatelement : e Målelement : m I et søgedomæne, S, søger vi efter et målelement, m. På et givet tidspunkt under søgningen har vi afsøgt en del af søgedomænet; den resterende del kalder vi kandidatmængden, K. Et skridt i søgningen består i at vælge et (tilfældigt) kandidatelement, e, fra kandidatmængden og sammenligne dette med målelementet m. Enten har vi fundet det vi søger, eller også afskærer vi en del af kandidatmængden. Søgningen slutter når vi har fundet det vi søger eller når kandidatmængden er tom.

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.7 Søgeskabelon, algoritmisk initialiser K ; found = false ; while ( !found && K  Ø ) { udvælg e fra K ; if ( e == m ) found = true ; else split K ; }

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.8 Konkretisering af skabelonen S : initialiser K : K  Ø : udvælg e fra K : split K : s[0..s.size()) i = 0; i != s.size e = s.elementAt(i); i++; s: i e (usorteret)

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.9 public static boolean search(int m, Sequence s) { // post: returnerer om m findes i s boolean found; // resultat-variabel i = 0; found = false; while ( !found && i != s.size() ) { int e = s.elementAt(i); if ( e == m ) found = true; else i++; } return found; } Lineær søgning

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.10 e == m ? initialiser K ; found = false ; while ( !found && K  Ø ) { udvælg e fra K ; if ( e == m ) found = true ; else split K ; } Hvad med søgning efter en String i en ArrayList? if ( e.equals( m ) )

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.11 Søgning i sorteret sequence S : initialiser K : K  Ø : udvælg e fra K : split K : s[0..s.size()) i = 0; i != s.size e = s.elementAt(i); if ( e < m ) i++; else // e > m i = s.size(); s: i e (sorteret)

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.12 public static boolean search(int m, Sequence s) { // pre: s er sorteret (  ) // post: returnerer om m findes i s boolean found; // resultat-variabel i = 0; found = false; while ( !found && i != s.size() ) { int e = s.elementAt(i); if ( e == m ) found = true; else if ( e < m ) i++; else // e > m i = s.size(); } return found; } Optimeret lineær søgning

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.13 Men vi kan gøre det bedre... Jeg tænker på et tilfældigt tal mellem 1 og 100; hvor hurtigt kan I gætte det? Hvert gæt koster 1 kr. Hvor mange kroner risikerer I at skulle betale?

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.14 Binær søgning i Java ?

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.15 Binær søgning s: l e h mi S : initialiser K : K  Ø : udvælg e fra K : split K : s[0..s.size()) l = 0 ; h = s.size(); l < h mi = (l+h)/2; e = s.elementAt(mi) if ( e < m ) l = mi+1; else // e > m h = mi; (sorteret)

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.16 public static boolean search(int m, Sequence s) { // pre: s er sorteret (  ) // post: returnerer om m findes i s boolean found; // resultat-variabel l = 0; h = s.size(); found = false; while ( !found && l<h ) { int mi = (l+h)/2; int e = s.elementAt(mi); if ( e == m ) found = true; else if ( e < m ) l = mi+1; else // e > m h = mi; } return found; } Bineær søgning (Java)

 Michael E. Caspersen, 2000Introducerende objektorienteret programmeringSøgning.17 Binær søgning er effektiv! s.size() sammenligninger