Diskrete Mathematik/Gemischte Definitionsabfrage/18/Aufgabe/Lösung


  1. Die Relation heißt linkseindeutig, wenn es zu jedem maximal ein mit gibt.
  2. Ein Verband heißt boolesch, wenn er komplementär und distributiv ist.
  3. Eine Äquivalenzrelation auf einer Menge ist eine Relation, die die folgenden drei Eigenschaften besitzt (für beliebige ).
    1. .
    2. Aus folgt .
    3. Aus und folgt .
  4. Der Graph heißt homogen, wenn es zu je zwei Knotenpunkten einen Automorphismus

    mit

    gibt.

  5. Ein aufspannender Wald ist ein Untergraph der ein Wald ist, dessen Bäume mit den Zusammenhangskomponenten von übereinstimmen.
  6. Eine Paarung für liegt vor, wenn jeder Knoten aus von einer Kante aus abgedeckt wird.