„Rendszeroptimalizálás, 24. tétel” változatai közötti eltérés

12. sor:

Először egy speciális esetet bizonyítunk be, melyben minden netnek pontosan egy északi és egy déli terminálja van. A huzalozás során a következő sorrendben kötjük be a neteket:

1 ÉK-DNy típusú netek (/ alak): déli terminálok x koordinátája szerinti növekvő sorrendben, így nem metszik egymást

* ÉK-DNy típusú netek (/ alak): déli terminálok x koordinátája szerinti növekvő sorrendben, így nem metszik egymást

1 egyenes bekötések (| alak): sorrent érdektelen, nem metszhetik egymást

* egyenes bekötések (| alak): sorrent érdektelen, nem metszhetik egymást

1 ÉNy-DK típusú netek (\ alak): északi terminálok x koordinátája szerinti növekvő sorrendben

* ÉNy-DK típusú netek (\ alak): északi terminálok x koordinátája szerinti növekvő sorrendben

Végül az általános esetet visszavezetjük a speciálisra oly módon, hogy amennyiben valamelyik oldal (északi, déli, vagy mindkettő) nem felel meg a fenti speciális esetnek, a megfelelő terminálokat a [[RopiTetel23|23. tételben]] említett Gallai-féle algoritmussal egysoros huzalozásként kezelve összekötjük, majd netenként "kivezetünk" egy függőleges huzalt, így már alkalmazható a speciális esetre kidolgozott algoritmus.

@@ 12. sor: / 12. sor: @@
 Először egy speciális esetet bizonyítunk be, melyben minden netnek pontosan egy északi és egy déli terminálja van. A huzalozás során a következő sorrendben kötjük be a neteket:
-ÉK-DNy típusú netek (/ alak): déli terminálok x koordinátája szerinti növekvő sorrendben, így nem metszik egymást
+* ÉK-DNy típusú netek (/ alak): déli terminálok x koordinátája szerinti növekvő sorrendben, így nem metszik egymást
-egyenes bekötések (| alak): sorrent érdektelen, nem metszhetik egymást
+* egyenes bekötések (| alak): sorrent érdektelen, nem metszhetik egymást
-ÉNy-DK típusú netek (\ alak): északi terminálok x koordinátája szerinti növekvő sorrendben
+* ÉNy-DK típusú netek (\ alak): északi terminálok x koordinátája szerinti növekvő sorrendben
 Végül az általános esetet visszavezetjük a speciálisra oly módon, hogy amennyiben valamelyik oldal (északi, déli, vagy mindkettő) nem felel meg a fenti speciális esetnek, a megfelelő terminálokat a [[RopiTetel23|23. tételben]] említett Gallai-féle algoritmussal egysoros huzalozásként kezelve összekötjük, majd netenként "kivezetünk" egy függőleges huzalt, így már alkalmazható a speciális esetre kidolgozott algoritmus.