Нет, дело не в 110 строчке. Поменяйте местами размерности массива t, и да будет Вам счастье :). Вся проблема в том, что в жабе объект типа "массив" хранит некоторое количество дополнительной информации, а Вы создаете 10⁶ массивов, когда можно обойтись всего двумя, поэтому и получаете MLE.

Instead of keeping 2 int variable, you can keep a boolean (b) and a integer (m). Boolean is the expected answer. The other variable contains the minimal element in its range. As K is fixed, so

tr [v].b = tr [v << 1].b || tr [v << 1 | 1].b ||
          (tr [v << 1].m + tr [v << 1 | 1].m < K);
tr [v].m = min (tr [v << 1].m, tr [v << 1 | 1].m);

Thus you can avoid that line :s

Я решил немного по-другому:в вершине дерева хранил минимум на отрезке и его индекс в массиве.Когда приходил запрос типа 1, я искал 1-ый минимум,на его месте поставил INF,искал 2-ой минимум ,и проверял,что сумма 1-ого и 2-ого минимумов меньше K.Затем я возвращал на место INF`а его настоящее значение.