Estimating and leveraging graph parameters via approximation algorithms and machine learning