/// <summary>
/// Kiíratja a megoldást egy terminális csúcs alapján.
/// Feltételezi, hogy a terminális csúcs szülő referenciáján felfelé haladva eljutunk a start csúcshoz.
/// A csúcsok sorrendjét megfordítja, hogy helyesen tudja kiírni a megoldást.
/// Ha a csúcs null, akkor kiírja, hogy nincs megoldás.
/// </summary>
/// <param name="egyTerminálisCsúcs">
/// A megoldást képviselő terminális csúcs vagy null.
/// </param>
public void megoldásKiírása(Csúcs egyTerminálisCsúcs)
{
if (egyTerminálisCsúcs == null)
{
Console.WriteLine("Nincs megoldás");
return;
}
// Meg kell fordítani a csúcsok sorrendjét.
Stack <Csúcs> megoldás = new Stack <Csúcs>();
Csúcs aktCsúcs = egyTerminálisCsúcs;
while (aktCsúcs != null)
{
megoldás.Push(aktCsúcs);
aktCsúcs = aktCsúcs.GetSzülő();
}
// Megfordítottuk, lehet kiírni.
foreach (Csúcs akt in megoldás)
{
Console.WriteLine(akt);
}
}
// A kereső algoritmus rekurzív megvalósítása.
// Mivel rekurzív, ezért a visszalépésnek a "return null" felel meg.
private Csúcs Keresés(Csúcs aktCsúcs)
{
int mélység = aktCsúcs.GetMélység();
// mélységi korlát vizsgálata
if (korlát > 0 && mélység >= korlát)
{
return(null);
}
// emlékezet használata kör kiszűréséhez
Csúcs aktSzülő = null;
if (emlékezetes)
{
aktSzülő = aktCsúcs.GetSzülő();
}
while (aktSzülő != null)
{
// Ellenőrzöm, hogy jártam-e ebben az állapotban. Ha igen, akkor visszalépés.
if (aktCsúcs.Equals(aktSzülő))
{
return(null);
}
// Visszafelé haladás a szülői láncon.
aktSzülő = aktSzülő.GetSzülő();
}
if (aktCsúcs.TerminálisCsúcsE())
{
// Megvan a megoldás, vissza kell adni a terminális csúcsot.
return(aktCsúcs);
}
// Itt hívogatom az alapoperátorokat a szuper operátoron
// keresztül. Ha valamelyik alkalmazható, akkor új csúcsot
// készítek, és meghívom önmagamat rekurzívan.
for (int i = 0; i < aktCsúcs.OperátorokSzáma(); i++)
{
// Elkészítem az új gyermek csúcsot.
// Ez csak akkor lesz kész, ha alkalmazok rá egy alkalmazható operátort is.
Csúcs újCsúcs = new Csúcs(aktCsúcs);
// Kipróbálom az i.dik alapoperátort. Alkalmazható?
if (újCsúcs.SzuperOperátor(i))
{
// Ha igen, rekurzívan meghívni önmagam az új csúcsra.
// Ha nem null értéket ad vissza, akkor megvan a megoldás.
// Ha null értéket, akkor ki kell próbálni a következő alapoperátort.
Csúcs terminális = Keresés(újCsúcs);
if (terminális != null)
{
// Visszaadom a megoldást képviselő terminális csúcsot.
return(terminális);
}
// Az else ágon kellene visszavonni az operátort.
// Erre akkor van szükség, ha az új gyermeket létrehozásában nem lenne klónozást.
// Mivel klónoztam, ezért ez a rész üres.
}
}
// Ha kipróbáltam az összes operátort és egyik se vezetett megoldásra, akkor visszalépés.
// A visszalépés hatására eggyel feljebb a következő alapoperátor kerül sorra.
return(null);
}