Die Kombinatorik ist eine Teildisziplin der Mathematik, die sich mit endlichen oder abzählbar unendlichen diskreten Strukturen beschäftigt und deshalb auch dem Oberbegriff Diskrete Mathematik zugerechnet wird. Beispiele sind Graphen (Graphentheorie), teilgeordnete Mengen wie Verbände, Matroide, kombinatorische Designs, lateinische Quadrate, Parkettierungen, Permutationen von Objekten, Partitionen. Die Abgrenzung zu anderen Teilgebieten der Diskreten Mathematik ist fließend. Eine Definition von George Pólya bezeichnet die Kombinatorik als Untersuchung des Abzählens, der Existenz und Konstruktion von Konfigurationen.[1]
Je nach den verwendeten Methoden und Gegenständen unterscheidet man auch Teildisziplinen wie algebraische Kombinatorik, analytische Kombinatorik, geometrische und topologische Kombinatorik, probabilistische Kombinatorik, Kombinatorische Spieltheorie, Ramseytheorie. Speziell mit der Optimierung diskreter Strukturen beschäftigt sich die kombinatorische Optimierung.