Det finns en algoritm för det t-shirt

I matematik och datavetenskap är en algoritm (från Algoritmi, latinen bildar av al-Khwārizmī), ett steg-för-steg tillvägagångssätt för beräkningar. Algoritmer används för beräkning, data - bearbeta och automatiserat resonemang. Mer exakt, är en algoritm en effektiv metod som uttrycks som ett finite, listar [1] av brunn-definierade anvisningar för beräkna en fungera. Start från ett initialt påstår, och initialt mata in (töm kanske), anvisningarna beskriver en uträkning som, när de utförs som ska, fortsätter till och med ett finite numrerar av brunn-definierad på varandra följande stater, slutligen att producera "som tillverkas"], och avslutning på en statlig finaländelse. Övergången från en som är statlig till det nästa, är inte nödvändigtvis deterministisk; några algoritmer, bekant asrandomized algoritmer, införlivat slumpmässigt matar in. En partisk formalization av begreppet började med försök att lösa Entscheidungsproblemen ("beslutsproblemet") som poserades av David Hilbert i 1928. Följande formalizations inramades som försök att definiera "effektiv calculability" eller "effektiv metod"; de inklusive formalizations den recursive Gödelen-Herbrand-Kleene fungerar av 1930, 1934 och 1935, den Alonzo kyrka calculusen för lambda av 1936, den Emil stolpens "utformning 1" av 1936 och Alans Turing Turing maskiner av 1936-7 och 1939. Att ge en formell definition av algoritmer som motsvarar till den intuitiva aningen, återstår ett utmana problem.