Ich suche nette Beispiele, bei denen das folgende Phänomen auftritt: (1) Ein algorithmisches Problem sieht schwierig aus, wenn Sie es anhand der Definitionen und nur unter Verwendung von Standardergebnissen lösen möchten. (2) Andererseits wird es einfach, wenn Sie einige (nicht so Standard-) Theoreme kennen.
Das Ziel ist es, den Schülern zu veranschaulichen, dass das Erlernen weiterer Theoreme nützlich sein kann, auch für diejenigen, die sich außerhalb des theoretischen Bereichs befinden (wie Software-Ingenieure, Computer-Ingenieure usw.). Hier ist ein Beispiel:
Frage: Gibt es bei gegebenen ganzen Zahlen einen n- Vertex-Graphen (und wenn ja, finden Sie einen), so dass seine Vertex-Konnektivität k ist , seine Kanten-Konnektivität l ist und sein minimaler Grad d ist ?
Beachten Sie, dass die Parameter genau den angegebenen Zahlen entsprechen müssen und nicht nur Grenzen sind. Wenn Sie dies von Grund auf lösen möchten, scheint es ziemlich schwierig zu sein. Wenn Sie andererseits mit dem folgenden Theorem vertraut sind (siehe Extremal Graph Theory von B. Bollobas), sieht die Situation ganz anders aus.
Satz: Sei ganze Zahlen. Es existiert ein n- Vertex-Graph mit Vertex-Konnektivität k , Kanten-Konnektivität l und minimalem Grad d , wenn und nur wenn eine der folgenden Bedingungen erfüllt ist:
- ,
Diese Bedingungen sind sehr einfach zu überprüfen, da es sich um einfache Ungleichungen zwischen den Eingabeparametern handelt, sodass die Existenzfrage mühelos beantwortet werden kann. Darüber hinaus ist der Beweis des Theorems konstruktiv und löst auch das Konstruktionsproblem. Auf der anderen Seite erscheint dieses Ergebnis nicht standardmässig genug, so dass Sie erwarten können, dass jeder davon erfährt.
Können Sie in diesem Sinne weitere Beispiele nennen, bei denen die Kenntnis eines (nicht ganz so gängigen) Theorems eine Aufgabe erheblich vereinfacht?