问题描述
给定一个式子\(x^2 \equiv n \pmod p\)，求\(x\)的值。其中，如果\(x\)有解，则称\(n\)为\(p\)的二次剩余。
首先，强烈推荐阅读这篇文章。（看懂了就不用来了）
Miller-Robin 算法包括两个部分，一个是费马测试，还有一个就是二次探测。这两个东西听上去非常的玄学（的确也是），我来讲清楚，并附上代码。我们现在要进行测试的数是\(p\)。
这道题主要是运用贪心。首先我们可以确定以下几种情况是肯定无解的：
我们发现整个字符串\(s[1 \dots n]\)中，第一个和最后一个字符一定要是 ‘(‘ 和 ‘)’。所以我们只用关心\(s[2 \dots n-1]\)就好。统计需要补充的括号个数：也就是\((n-2)\)减去现已确定的括号个数，分\(remL\)为左括号需要补充的个数、\(remR\)为右括号需要补充的个数。