Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
61
Modifiziertes PKP
Modifikation: Startdomino 
bestimmten, mit dem die korrespondierende Folge beginnen muss.
Instanz des MPKP: besteht aus einer geordneten Menge
wobei
und 
nichtleere Wörter über einem endlichen Alphabet 
sind.
Es soll entschieden werden, ob es eine korrespondierende Folge von Indizes
gibt, also eine Folge, sodass gilt
.
bestimmten, mit dem die korrespondierende Folge beginnen muss.Instanz des MPKP: besteht aus einer geordneten Menge
wobei
und nichtleere Wörter über einem endlichen Alphabet sind.Es soll entschieden werden, ob es eine korrespondierende Folge von Indizes
gibt, also eine Folge, sodass gilt .