#include <bits/stdc++.h>
#define ll long long
#define N 100005
using namespace std;

int t; 
int l, r; 
int n, q; 
char c[N];

int main() {
    ios::sync_with_stdio(0); cin.tie(0); cout.tie(0); 
    cin >> t; 
    while (t--) { 
        cin >> n >> q; 
        memset(c, 0, sizeof(c)); 
        for (int i = 1; i <= n; ++i) cin >> c[i];

        // f_zero: 第一个 '0' 出现的位置
        // f_one: 第一个 '1' 出现的位置
        // l_zero: 最后一个 '0' 出现的位置
        // l_one: 最后一个 '1' 出现的位置
        int f_zero = 0, f_one = 0;
        int l_zero = 0, l_one = 0;

        for (int i = 1; i <= n; ++i) {
            if (c[i] == '0' && (!f_zero)) f_zero = i; // 记录第一个 '0' 的位置
            if (c[i] == '1' && (!f_one)) f_one = i; // 记录第一个 '1' 的位置

            if (c[i] == '0') l_zero = max(l_zero, i); // 更新最后一个 '0' 的位置
            if (c[i] == '1') l_one = max(l_one, i); // 更新最后一个 '1' 的位置
        }

        while (q--) {
            cin >> l >> r; // 读取查询区间 [l, r]
            if (l == r) { // 如果区间长度为 1，那么它不管怎么取，都是一个连续的子区间，直接输出 "No"
                cout << "No\n";
                continue;
            }

            char a = c[l], b = c[r]; // a 是区间左端字符，b 是区间右端字符

            // 判断是否存在 "有趣子序列"：
            // 1. 如果左端字符 '0' 在 [1, l-1] 中出现（即 f_zero < l）
            // 2. 如果左端字符 '1' 在 [1, l-1] 中出现（即 f_one < l）
            // 3. 如果右端字符 '0' 在 [r+1, n] 中出现（即 l_zero > r）
            // 4. 如果右端字符 '1' 在 [r+1, n] 中出现（即 l_one > r）
            // 满足任意一条即可输出 "Yes"，否则输出 "No"
            if ((a == '0' && f_zero < l) || (a == '1' && f_one < l) || (b == '0' && l_zero > r) || (b == '1' && l_one > r)) cout << "Yes\n";
            else cout << "No\n";
        }
    }
    return 0;
}