Нет, теория графов не является ключевым концептом, лежащим в основе науки программирования. 1
Однако она играет важную роль во многих проблемах программирования, например, в анализе программ, оптимизации, трансляции, проверке правильности, тестировании. 4