st-connectivity