Ένα απλό πολύγωνο που δεν είναι κυρτό ονομάζεται κοίλο πολύγωνο,[1] ή μη κυρτό[2] ή επανεισδύον.[3] Ένα απλό κοίλο πολύγωνο σε κάθε περίπτωση περιέχει μία τουλάχιστον εσωτερική γωνία μεγαλύτερη από 180 μοίρες.[4]
Ένα κοίλο πολύγωνο είναι πάντοτε δυνατό να διαμεριστεί σε ένα σύνολο από κυρτά πολύγωνα. Ένας αλγόριθμος πολυωνυμικού χρόνου για την εύρεση ενός διαμερισμού κοίλου πολυγώνου σε όσο το δυνατόν λιγότερα κυρτά πολύγωνα, παρουσιάστηκε το 1985 από τους καθηγητές πληροφορικής του Πανεπιστημίου Πρίνστον, Μπερνάρ Σαζέλ και Ντέιβιντ Ντόμπκιν.[5]