Es gibt einen Algorithmus für den T-Shirt

In der Mathematik und in der Informatik ist ein Algorithmus (von Algoritmi, die lateinische Form des Als-Khwārizmī) ein schrittweises Verfahren für Berechnungen. Algorithmen werden für Berechnung, Datenverarbeitung und automatisierte Argumentation verwendet. Genau, ist ein Algorithmus eine effektive Methode, die als begrenzte Liste [1] ausgedrückt wird der gut definierten Anweisungen für die Berechnung einer Funktion. Abfahrend von einem AnfangsStaat und von einem Anfangsinput (möglicherweise leer), beschreiben die Anweisungen eine Berechnung, die, wenn sie durchgeführt wird, durch eine begrenzte Anzahl von gut definierten aufeinander folgenden Staaten fortfährt, schließlich "Ertrag"] produziert und in einem abschließenden EndStaat endet. Der Übergang von einem Staat zum folgenden ist nicht notwendigerweise deterministisch; einige Algorithmen, bekannte asrandomized Algorithmen, enthaltener gelegentlicher Input. Eine teilweise Formalisierung des Konzeptes fing mit Versuchen, das Entscheidungsproblem (das "Entscheidungsproblem") zu lösen aufgeworfen von David Hilbert im Jahre 1928 an. Folgende Formalisierungen waren gerahmt als Versuche, "effektives calculability" oder "effektive Methode" zu definieren; jene Formalisierungen umfaßten die Gödel-Herbrand-Kleene rekursiven Funktionen 1930, 1934 und 1935, Alonzo Churchs von Lambda-Kalkül von 1936, von Formulierung 1" Emil-Postens "von 1936 und Alan Turings von Turing-Maschinen von 1936-7 und von 1939. Das Geben einer formalen Definition von Algorithmen, entsprechend dem intuitiven Begriff, bleibt ein schwieriges Problem.