Andere Kunden interessierten sich auch für
![Automatische Auswertung von Reverse-Card-Sorting-Versuchen]( "Automatische Auswertung von Reverse-Card-Sorting-Versuchen")
Automatische Auswertung von Reverse-Card-Sorting-Versuchen61,90 €![Agiles Produktmanagement mit Scrum]( "Agiles Produktmanagement mit Scrum")
Agiles Produktmanagement mit Scrum24,90 €![System zur Generierung, Rekonstruktion und Konvertierung von PGEN++-Programmen]( "System zur Generierung, Rekonstruktion und Konvertierung von PGEN++-Programmen")
System zur Generierung, Rekonstruktion und Konvertierung von PGEN++-Programmen48,60 €![Eine geführte Reise durch die nicht-interaktive automatische Generierung von Geschichten]( "Eine geführte Reise durch die nicht-interaktive automatische Generierung von Geschichten")
Eine geführte Reise durch die nicht-interaktive automatische Generierung von Geschichten43,90 €![Automatische Extraktion des Straßennetzes aus THRS-Bildern]( "Automatische Extraktion des Straßennetzes aus THRS-Bildern")
Automatische Extraktion des Straßennetzes aus THRS-Bildern39,90 €![Automatische Erkennung von Plagiaten im Internethandel]( "Automatische Erkennung von Plagiaten im Internethandel")
Automatische Erkennung von Plagiaten im Internethandel35,90 €![Automatische Segmentierung der Aorta mit der Level-Set-Methode]( "Automatische Segmentierung der Aorta mit der Level-Set-Methode")
Automatische Segmentierung der Aorta mit der Level-Set-Methode35,90 €
Inhaltlich unveränderte Neuauflage. In der Komplexitätstheorie ist lange bekannt, dass es im Allgemeinen nicht möglich ist Aussagen zum Ressourcenbedarf von Programmen zu ent scheiden. So ist es z.B. unmöglich zu entscheiden, ob ein Programm eine polynomielle Laufzeit besitzt. Dennoch ist es möglich Verfahren zu ent wickeln, die manchen Programmen einen maximalen Ressourcenbedarf zerti fizieren können. Zertifizieren bedeutet hierbei, dass das Verfahren zwar im Erfolgsfall eine obere Schranke des Ressourcenbedarfs garantieren kann, aber bei Misserfolg nicht garantieren kann, dass eine solche Schranke nicht existiert. Dieses Buch beschreibt ein Verfahren, welches die Generierung von konkreten polynomiellen Längenschranken zu zertifizierbaren Programme ermöglicht. Eine solche Schranke gibt an, dass sich die Längen aller Ausgaben des Programms durch Polynome über den Längen der Eingaben beschränken lassen. Weiterhin werden die Grenzen einer solchen automatischen Generierung von polynomiellen Längenschranken untersucht und gezeigt wie durch das vorgestellte Verfahren die Komplexitätsklassen FP, FLINSPACE und FPSPACE charakterisiert werden können.