Text this: Quantum algorithms for graph connectivity and formula evaluation