Vanishing of Schubert coefficients in probabilistic polynomial time | Synapse