בתורת הגרפים, שרוך הוא גרף שאת הצמתים שלו אפשר לסדר בסדר v1, v2, …, vn כך שהקשתות שלו הם {vi, vi+1} כאשר i = 1, 2, …, n − 1