Tredje Homomorphism Theorem är ett folkteorem för den konstruktiva algoritmiska gemenskapen. Det står att en funktion på listor som kan beräknas både från vänster till höger och från höger till vänster är nödvändigtvis en lista homomorfism som kan beräknas enligt varje parentesisering av listan. Vi formaliserar och bevisar theorem, och använder det för att förbättra en O(n 2 ) sorteringsalgoritm till O(n log n).
Den tredje homomorfismen teorem anger att om en funktion kan skrivas både som en vänster vik och en höger vik, då kan det också utvärderas på ett divide-and-conquer sätt REF.
The Third Homomorphism Theorem
{'venue': 'J. Funct. Program.', 'journal': None, 'mag_field_of_study': ['Computer Science']}