www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Haskell" - markierte Binärbaum
markierte Binärbaum < Haskell < Programmiersprachen < Praxis < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Haskell"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

markierte Binärbaum: Prüfen ob Blatt und markiert
Status: (Frage) beantwortet Status 
Datum: 23:09 Mo 04.12.2006
Autor: nieselfriem

Aufgabe
Gegeben ist der Haskell-Datentyp
data Bt = E | K Int Bt Bt
zur Definition markierter Binärbäume. Definieren Sie eine Funktion count :: Bt -> (Int, Int),
wobei count(b) = (x, y) die Summe x der Markierungen sowie die Anzahl y der Blätter im Binärbaum
b berechnet.

Wie kann ich testen, ob der Punkt dem ich gerade bin ein Blatt ist und ob dieser schon markiert ist



count :: Bt -> (Int, Int)
count E =(0,0)
count (K b _ _) |knoten blatt? (_,bl+1)
                |ist markierung?(ma+1,_)  

where
        bl count b
        ma count b

ist das überhaubt die richtige Herangehensweise?

Gruß und Dank für Tipps


        
Bezug
markierte Binärbaum: Antwort
Status: (Antwort) fertig Status 
Datum: 08:33 Di 05.12.2006
Autor: Martin243

Hallo,

so wie ich das verstehe hat ein Blatt die Unterbäume E E, falls E tatsächlich für Empty steht. Also weißt du, dass jedes (K i E E) ein Blatt ist.
Alle Knoten des Baums sind markiert, da musst du nichts unterscheiden. Du musst nur ihre Werte aufaddieren.
Das gleichzeitige Zählen und Summieren birgt eine kleine Schwierigkeit, aber die kann man mit einer geeigneten where-Klausel umgehen.

Ich würde Folgendes vorschlagen:
count :: Bt -> (Int, Int) 
count E = (0,0)
count (K i E E) = (i,1)
count (K i l r) = (i + lM + rM, lB + rB) where
  (lM, lB) = count l
  (rM, rB) = count r


Gruß
Martin

Bezug
                
Bezug
markierte Binärbaum: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:51 Di 05.12.2006
Autor: nieselfriem

count (K i l r) = (i + lM + rM, lB + rB)

(lB + rB)<-- meine Frage ist hier, du addierst hier blätter, woher weißt du das es blätter sind und nicht weitere Knoten?

Gruß niesel

Bezug
                        
Bezug
markierte Binärbaum: Antwort
Status: (Antwort) fertig Status 
Datum: 15:02 Di 05.12.2006
Autor: Martin243

Hallo,

ich addiere die Funktionswerte, die in der where-Klausel rekursiv berechnet werden. Beim Absteigen in die Unterbäume addiere ich sonst nichts dazu.
Ich addiere an dieser Stelle also nur die Anzahl der Blätter im linken Teilbaum und die Anzahl der Blätter im rechten Teilbaum. Durch den rekursiven Aufruf steigen wir immer weiter hinab (zählen dabei nichts mit) und landen irgendwann bei dem Konstruktor "K i E E", welcher in der Zeile "count (K i E E) = (i,1)" behandelt wird. Erst hier sind wir bei einem Blatt (einer Verzweigung mit leeren Teilbäumen E) angelangt und sagen, dass wir 1 Blatt gezählt haben. Durch die Rekursion wird dann jede 1 sozusagen durch die einzelnen Aufrufe hochpropagiert bis zur Wurzel des Baums.

Na ja, Haskell ist eine wunderschöne Sprache, aber manchmal...

Am besten ist, du zeichnest dir ein kleines Bäumchen dieser Art und versuchst die einzelnen Funktionsaufrufe mit ihrem Rückgabewerten nachzuvollziehen.


Gruß
Martin

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Haskell"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]