This is the hard version of Problem F. The only difference between the easy version and the hard version is the constraints.

We will call a non-empty string balanced if it contains the same number of plus and minus signs. For example: strings "+--+" and "++-+--" are balanced, and strings "+--", "--" and "" are not balanced.

We will call a string promising if the string can be made balanced by several (possibly zero) uses of the following operation:

replace two adjacent minus signs with one plus sign.

In particular, every balanced string is promising. However, the converse is not true: not every promising string is balanced.

For example, the string "-+---" is promising, because you can replace two adjacent minuses with plus and get a balanced string "-++-", or get another balanced string "-+-+".

How many non-empty substrings of the given string $s$ are promising? Each non-empty promising substring must be counted in the answer as many times as it occurs in string $s$.

Recall that a substring is a sequence of consecutive characters of the string. For example, for string "+-+" its substring are: "+-", "-+", "+", "+-+" (the string is a substring of itself) and some others. But the following strings are not its substring: "--", "++", "-++".


-----Input-----

The first line of the input contains an integer $t$ ($1 \le t \le 10^4$) —the number of test cases in the test.

Then the descriptions of test cases follow.

Each test case of input data consists of two lines. The first line consists of the number $n$ ($1 \le n \le 2 \cdot 10^5$): the length of $s$.

The second line of the test case contains the string $s$ of length $n$, consisting only of characters "+" and "-".

It is guaranteed that the sum of values $n$ over all test cases does not exceed $2 \cdot 10^5$.


-----Output-----

For each test case, print a single number: the number of the promising non-empty substrings of string $s$. Each non-empty promising substring must be counted in the answer as many times as it occurs in string $s$.


-----Examples-----

Input
5
3
+-+
5
-+---
4
----
7
--+---+
6
+++---
Output
2
4
2
7
4


-----Note-----

The following are the promising substrings for the first three test cases in the example:

$s[1 \dots 2]$="+-", $s[2 \dots 3]$="-+";

$s[1 \dots 2]$="-+", $s[2 \dots 3]$="+-", $s[1 \dots 5]$="-+---", $s[3 \dots 5]$="---";

$s[1 \dots 3]$="---", $s[2 \dots 4]$="---".

Difficulty: HARD
Tags: Mathematics

String algorithms

Data structures

Implementation
Skill types: Data structures

Starter code:

Solutions:
def solve():
	n = int(input())
	s = input()
	res = 0
	cnt = [0 for _ in range(2 * n + 1)]
	cnt_promise = [0] * 3
	cur_bal = n
	cnt[cur_bal] = 1
	cnt_promise[cur_bal % 3] = 1
	for c in s:
		new_bal = cur_bal
		if c == '-':
			new_bal -= 1
			cnt_promise[new_bal % 3] += cnt[new_bal]
			res += cnt_promise[new_bal % 3]
			cnt[new_bal] += 1
			cnt_promise[new_bal % 3] += 1
		else:
			cnt_promise[new_bal % 3] -= cnt[new_bal]
			new_bal += 1
			res += cnt_promise[new_bal % 3]
			cnt_promise[new_bal % 3] += 1
			cnt[new_bal] += 1
		cur_bal = new_bal
	print(res)
num_test = int(input())
for t in range(num_test):
	solve()


for _ in range(int(input())):
	count = [0] * (2 * int(input()) + 1)
	f = [0] * 3
	u = 0
	count[u] += 1
	f[u % 3] += 1
	total = 0
	for x in input():
		if x == '-':
			u -= 1
			f[u % 3] += count[u]
		else:
			f[u % 3] -= count[u]
			u += 1
		total += f[u % 3]
		count[u] += 1
		f[u % 3] += 1
	print(total)


tst = int(input())
for _ in range(tst):
	n = int(input())
	s = input()
	f = [0 for i in range(3)]
	cur_bal = n
	cnt_bal = [0 for i in range(2 * n + 1)]
	cnt_bal[cur_bal] += 1
	f[cur_bal % 3] += 1
	ans = 0
	for i in range(n):
		new_bal = cur_bal
		if s[i] == '-':
			new_bal -= 1
			f[new_bal % 3] += cnt_bal[new_bal]
			ans += f[new_bal % 3]
			cnt_bal[new_bal] += 1
			f[new_bal % 3] += 1
		else:
			f[new_bal % 3] -= cnt_bal[new_bal]
			new_bal += 1
			ans += f[new_bal % 3]
			cnt_bal[new_bal] += 1
			f[new_bal % 3] += 1
		cur_bal = new_bal
	print(ans)


import collections
for _ in range(int(input())):
	n = int(input())
	l = 2 * n + 2
	s = input().strip()
	y = [[0] * (l + 1) for i in range(3)]

	def upd(x, a):
		while x <= l:
			a[x] += 1
			x += x & -x

	def qry(x, a):
		r = 0
		while x > 0:
			r += a[x]
			x -= x & -x
		return r
	ans = 0
	t = n + 1
	upd(t, y[t % 3])
	for i in s:
		t = t + (1 if i == '-' else -1)
		ans += qry(t, y[t % 3])
		upd(t, y[t % 3])
	print(ans)


import sys
input = sys.stdin.readline
for _ in range(int(input().strip())):
	n = int(input())
	(m, s) = (n + 1 << 1, input().strip())
	T = [[0] * m for i in range(3)]

	def upd(p, x):
		while p < m:
			T[x][p] += 1
			p += p & -p

	def qry(p, x):
		r = 0
		while p:
			r += T[x][p]
			p -= p & -p
		return r
	ans = 0
	t = n + 1
	upd(t, t % 3)
	for i in s:
		t = t + (1 if i == '-' else -1)
		ans += qry(t, t % 3)
		upd(t, t % 3)
	print(ans)


def lowbit(x):
	return x & -x

def getleftmore(nums):
	unqiue_nums = list(set(nums))
	unqiue_nums.sort(reverse=True)
	d = {c: i + 1 for (i, c) in enumerate(unqiue_nums)}
	n = len(unqiue_nums)
	c = [0] * (n + 1)

	def insert(x, val):
		while x < n + 1:
			c[x] += val
			x += lowbit(x)

	def query(x):
		res = 0
		while x > 0:
			res += c[x]
			x -= lowbit(x)
		return res
	res = 0
	for num in nums:
		insert(d[num], 1)
		res += query(d[num]) - 1
	return res

def promisingstring2(s):
	total = 0
	sums = [[] for _ in range(3)]
	sums[0].append(0)
	for c in s:
		if c == '+':
			total += 1
		else:
			total -= 1
		sums[total % 3].append(total)
	ans = 0
	for nums in sums:
		ans += getleftmore(nums)
	return ans
t = int(input())
for _ in range(t):
	_ = input()
	s = input()
	print(promisingstring2(s))


for _ in range(int(input())):
	n = int(input())
	(m, s) = (n + 1 << 1, input())
	T = [[0] * m for i in range(3)]

	def upd(p, x):
		while p < m:
			T[x][p] += 1
			p += p & -p

	def qry(p, x):
		r = 0
		while p:
			r += T[x][p]
			p -= p & -p
		return r
	ans = 0
	t = n + 1
	upd(t, t % 3)
	for i in s:
		t = t + (1 if i == '-' else -1)
		ans += qry(t, t % 3)
		upd(t, t % 3)
	print(ans)