HDU-5785 Manacher+区间处理

本文介绍了一种解决特定字符串问题的算法,即计算所有符合条件的回文子串组合的求和值。通过Manacher算法预处理字符串,利用树状数组思想高效计算所需结果。

Interesting

Time Limit: 6000/3000 MS (Java/Others)    Memory Limit: 131072/131072 K (Java/Others)
Total Submission(s): 349    Accepted Submission(s): 121


Problem Description
Alice get a string S. She thinks palindrome string is interesting. Now she wanna know how many three tuple (i,j,k) satisfy  1ij<klength(S) , S[i..j] and S[j+1..k] are all palindrome strings. It's easy for her. She wants to know the sum of i*k of all required three tuples. She can't solve it. So can you help her? The answer may be very large, please output the answer mod 1000000007.

A palindrome string is a string that is same when the string is read from left to right as when the string is read from right to left.
 

Input
The input contains multiple test cases. 

Each test case contains one string. The length of string is between 1 and 1000000. String only contains lowercase letter.
 

Output
For each test case output the answer mod 1000000007.
 

Sample Input
  
aaa abc
 

Sample Output
  
14 8
 

Author
ZSTU
 

Source


题目链接:

题目大意:
给出一个长度为n(n<=10^6)的串,对于0<i<=j<k<=n,如果s[i,j]和s[j+1,k]都是回文串,则答案加上i*k,最后答案模10^9+7。

解题思路:
在原串上,用L[i]表示以i开始的所有回文串结束位置的和,R[i]表示以i结尾的所有回文串起始位置的和,枚举位置i,每次将L[i]*R[i-1]加上答案即可。
如何得到数组L[i]与R[i]呢,首先用Manacher预处理出以每个位置为中心的回文串的半径,我们发现对于每个位置i,它前面半径内的每个位置j对应的以i为中心的回文串的结束位置在新串中为i*2-j,我们要将这个值加到L上。这里可以采用树状数组的思想,把这个值分为两部分i*2与j,用数组p[i]表示半径,bb1、bb2代表两个标记,每次枚举i,我们只需要bb1[i-p[i]+1]+=i,bb2[i-p[i]+1]++,bb1[i+1]-=i,bb2[i+1]--即可。我们从前往后扫一遍,将bb1与bb2的值分别加到两个和s1与s2中,这样在每个位置s1就代表了上面那个值的第一部分,s2代表了在该位置j处需要减去j的次数。我们的L是定义在原串上的,由于新串在原串相邻字符间插入了'#',所以在计算原串L的时候s1不需要再*2,并且奇偶的情况也得到了统一,于是对于新串上每个偶数位置i对应原串L[i/2]=s1-s2*i/2。同理,可以计算出数组R,总体复杂度为O(n)。

AC代码:
import java.io.*;
import java.util.*;

public class Main {
	static StreamTokenizer in=new StreamTokenizer(new BufferedReader(new InputStreamReader(System.in)));
	static PrintWriter out=new PrintWriter(new OutputStreamWriter(System.out));
	static int n,len;
	static long ans,mod=(long)1e9+7,s1,s2;
	static char[] ss;
	static int[] pp=new int[2000005];
	static char[] s=new char[2000005];
	static long[] bb1=new long[2000005];
	static long[] bb2=new long[2000005];
	static long[] ll=new long[1000005];
	static long[] rr=new long[1000005];
	static void Manacher()
	{
		Arrays.fill(s,'#');
		for(int i=0;i<n;i++)
			s[i*2+2]=ss[i];
		len=n*2+1;s[0]='$';
		int max=0,id=0;
		for(int i=1;i<=len;i++)
		{
			if(max>i)
				pp[i]=Math.min(pp[id*2-i],max-i);
			else pp[i]=1;
			while(s[i+pp[i]]==s[i-pp[i]])
				pp[i]++;
			if(i+pp[i]>max) { max=i+pp[i];id=i;}
		}
	}

	public static void main(String[] args) throws IOException {
		//Scanner in=new Scanner(System.in);
		while(in.nextToken()!=StreamTokenizer.TT_EOF)
		{
			ss=in.sval.toCharArray();
			n=ss.length;
			Manacher();
			Arrays.fill(bb1,0);
			Arrays.fill(bb2,0);
			for(int i=len;i>0;i--)
			{
				bb1[i-pp[i]+1]+=i;
				bb1[i+1]-=i;
				bb2[i-pp[i]+1]++;
				bb2[i+1]--;
			}
			s1=s2=0;
			for(int i=1;i<=len;i++)
			{
				s1+=bb1[i];s2+=bb2[i];
				if(i%2==0)
					ll[i/2]=(s1-s2*i/2)%mod;
			}
			Arrays.fill(bb1,0);
			Arrays.fill(bb2,0);
			for(int i=len;i>0;i--)
			{
				bb1[i]+=i;
				bb1[i+pp[i]]-=i;
				bb2[i]++;
				bb2[i+pp[i]]--;
			}
			s1=s2=0;
			for(int i=1;i<=len;i++)
			{
				s1+=bb1[i];s2+=bb2[i];
				if(i%2==0)
					rr[i/2]=(s1-s2*i/2)%mod;
			}
			ans=0;
			for(int i=2;i<=n;i++)
				ans=(ans+ll[i]*rr[i-1]%mod)%mod;
			out.println(ans);
		}
		out.flush();
	}
}



<think>嗯,用户问的是关于1462题的“Antisymmetry”,也就是反对称性。首先,我需要确定这个题目的具体内容,因为题目编号可能来自不同的OJ平台,比如POJ或者HDU。不过通常来说,反对称性的题目可能涉及到字符串处理,特别是回文相关的变种。比如,寻找具有某种对称性质的子串数量。 首先,回忆一下常见的回文问题,比如最长回文子串,或者统计所有回文子串的数量。而反对称性可能是指一种特殊的对称方式,比如每个字符与其对称位置的字符相反。例如,在二进制字符串中,0和1互为反对称,那么一个反对称的子串可能在长度是偶数的情况下,每个位置i和其对称位置j的字符不同。 比如,假设字符串是“01”,那么0和1互为反对称,这样的子串就是有效的。但如果长度是奇数的话,中间的那个字符无法找到对应的反对称字符,所以可能只有偶数长度的子串才可能成为反对称串。 接下来,题目可能要求统计这样的子串数目。那么如何高效地计算呢?常规的回文子串方法可能可以借鉴,比如Manacher算法,但需要调整对称条件。 比如,对于每个可能的中心,向两边扩展,检查是否满足反对称条件。不过因为反对称子串必须是偶数长度,所以可能不需要考虑奇数长度的情况。所以,类似于Manacher算法中的处理方式,可能需要调整,只处理偶数长度的中心点。 或者,另一种思路是,将原字符串转换成一个差异数组,比如比较相邻字符是否相反,然后用类似的方法统计满足条件的区间。例如,对于每个位置i,检查i和i+1是否不同,然后向两边扩展,直到无法满足条件为止。 比如,原题可能是给出一个01字符串,求反对称子串的数量。反对称子串定义为:将该子串反转后,每位取反等于原子串。例如,"01"反转取反后是"01",所以是反对称的。而"0001"则可能不是。 或者,更严格的定义可能是,对于子串s的第i个字符和倒数第i个字符,必须满足互异。例如,子串长度为2k,则s[i] != s[2k -i +1] 对所有i有效。 这样的话,每个位置上的字符必须与对应的位置相反。这可能类似于回文结构,但条件是相反而非相同。 那么,如何高效计算这样的子串数目呢?可能的解法是类似Manacher算法的扩展方式,或者利用哈希预处理,或者动态规划。 比如,对于每个可能的中心点(这里可能只能取两个字符之间的位置,因为子串必须是偶数长度),然后向左右扩展,直到遇到不满足条件的字符对。 举个例子,字符串s的长度为n,那么可能的中心点有n-1个,每个中心点位于i和i+1之间。对于每个中心点,计算最大的扩展半径,使得对于所有k>=0,有s[i -k] != s[i +1 +k]。这样,每个中心点的半径为r,则可以贡献r+1个有效的子串。 例如,假设中心点i的扩展半径为2,那么可以生成3个有效子串:长度2(半径0)、长度4(半径1)、长度6(半径2)。不过可能需要确认这里的计数方式是否正确。 或者,可能每个半径对应的子串数目等于半径的长度。例如,半径为r,那么有r个有效的子串。比如,当半径为0时,可能只能构成长度为2的子串;半径为1时,可以构成两个长度2和4的子串?或者需要具体分析。 这个时候可能需要举个例子。比如字符串是“010010”,那么每个中心点的扩展情况是怎样的? 假设中心点在第1和第2字符之间(索引从0开始),即位置0和1之间。此时s[0]是0,s[1]是1,所以满足0≠1。此时半径可以扩展。左边是i-1=-1,右边是i+1+1=2。s[-1]越界,所以停止。所以最大半径是0,那么贡献1个子串(半径0+1?或者0的情况需要仔细看)。 可能每个中心点的有效子串数目等于其最大扩展半径。比如,如果某个中心点能扩展r次,那么对应的有效子串数目是r+1。比如,最大半径是0,说明只能有1个子串(长度2);如果半径是1,可以有两个子串(长度2和4)。 这可能需要进一步验证。比如,假设中心点可以扩展r次,那么每次扩展对应一个更长的子串。例如,初始时,中心点左右字符满足条件,对应长度为2的子串。然后扩展一次,左右各加一个字符,如果满足条件,则长度为4的子串,依此类推。所以,总的子串数目是r+1个。 因此,总的时间复杂度是O(n),因为每个中心点处理的时间是线性的,并且所有中心点的处理总和是O(n)。 那么,具体的步骤可能是: 1. 预处理字符串,将每个中心点作为可能的扩展起点,即所有i和i+1的位置。 2. 对于每个中心点,初始左右指针为i和i+1。 3. 检查当前左右字符是否满足反对称条件(即不同)。 4. 如果满足,则扩展左右指针,继续检查,直到不满足条件或者越界。 5. 记录该中心点能扩展的最大半径r,对应的子串数目为r+1。 6. 将所有中心点的子串数目累加,得到总数。 例如,对于字符串“01”,中心点只有一个(0和1之间),可以扩展半径0次,得到1个子串,总数为1。 对于更长的字符串,比如“0110”,中心点有三个: 中心点0-1:字符0和1,满足条件,扩展半径0,可以扩展吗?假设初始左右是0和1,满足,然后检查左边-1和右边2,越界,所以半径0,贡献1。 中心点1-2:字符1和1,不满足条件,所以贡献0。 中心点2-3:字符0和1,满足,扩展半径0,贡献1。总共有2个。 或者,假设字符串是“0101”,那么中心点有三个: 中心0-1:0和1,满足。检查左边-1和右边2。无法扩展,所以半径0,贡献1。 中心1-2:1和0,满足。扩展左边0和右边3:0和1是否满足?0和1不同,所以半径增加1。此时左右指针可以继续扩展到左边-1和右边4,越界。所以最大半径是1,贡献2个子串(长度2和4)。 所以,总共有1+2+1=4个子串? 例如,中心0-1贡献1,中心1-2贡献2(长度2和4),中心2-3贡献1。总共有4个反对称子串。 可能这需要进一步验证。例如,子串包括: 0-1: "01" → 有效。 1-2: "10" → 有效。同时,扩展到0-3: "0110",其中每个对应的字符是否满足反对称? 原字符串是0,1,1,0。中心点1-2是1和1,不满足,所以该中心点无效。哦,这可能与之前的假设矛盾,所以需要重新审视。 或者,可能我之前的例子中的字符串是“0101”?即索引0:0,1:1,2:0,3:1。中心点1-2是1和0。满足反对称条件。然后扩展左边0和右边3,即0和1,也满足。因此,该中心点的半径是1,对应长度4的子串。所以,对应的子串数目是半径+1=2。那么,子串是1-2的“10”(长度2),以及0-3的“0101”(长度4),对吗? 但是,在字符串“0101”中,子串0-3是“0101”。它的反对称性需要满足:第i位和倒数第i位不同。例如,第一个字符0,最后一个字符1,不同;第二个字符1,倒数第二个字符0,不同。所以满足条件,因此是有效的反对称子串。因此,该中心点贡献了2个子串。 因此,总共有中心点0-1贡献1,中心点1-2贡献2,中心点2-3贡献1,总和是4。这样的例子是否正确? 这可能说明,该方法是可行的。 综上,解决这个问题的思路可能是: - 遍历每个可能的中心点(偶数长度子串的中心在两个字符之间) - 对每个中心点,尽可能向两边扩展,直到不满足反对称条件 - 统计每个中心点能扩展出的子串数目,总和即为答案 这样的算法时间复杂度为O(n^2),因为每个中心点可能扩展O(n)次。但对于n较大的情况,比如1e5的字符串,这样的方法无法通过。所以需要更高效的算法,比如类似Manacher算法的线性时间方法。 或者,题目给定的数据范围可能较小,允许O(n^2)的时间。比如,题目1462可能来自某个OJ,比如HDU或某个比赛题,可能n的范围是1e4或更小,这样O(n^2)的算法可以通过。 或者,是否有更高效的线性方法?例如,预处理每个可能的中心点,并利用已有的信息加速扩展过程。 例如,Manacher算法利用对称性来减少重复计算。在这里,可能也存在类似的性质。例如,如果已知某个中心点的扩展半径很大,那么可以利用对称点的信息来减少当前中心点的扩展次数。 不过,反对称的条件可能与回文不同,因此是否适用需要进一步分析。例如,在回文中,对称位置的字符必须相同,而这里必须不同。因此,对称性可能并不存在,导致Manacher算法的优化无法直接应用。因此,可能需要回到O(n^2)的解法,但对于题目给定的数据范围,这可能已经足够。 因此,总结解决步骤: 1. 遍历每个可能的中心点,共n-1个(字符串长度为n)。 2. 对每个中心点,初始化左右指针为i和i+1。 3. 检查当前左右字符是否满足s[left] != s[right]。 4. 如果满足,计数器加1(对应长度为2的子串),然后尝试扩展,left减1,right加1,重复检查,直到越界或不满足条件。每次成功扩展,计数器加1。 例如,当中心点i,初始left=i,right=i+1。若s[left] != s[right],则计数器加1。然后left--,right++,检查是否在边界内,并且s[left] != s[right]。如果是,计数器加1,继续扩展。直到不满足条件为止。这样,每个中心点的贡献是扩展的次数,即r次,其中r是最大的扩展步数,所以总共有r次+0次?或者每次扩展对应一个更长的子串? 比如,初始left=i,right=i+1,对应长度为2的子串。然后扩展一次,得到长度为4的子串,依此类推。所以,每次成功的扩展都会增加一个子串。因此,对于中心点i,可以扩展k次,则贡献k+1个子串?或者每个扩展步骤对应一个新的子串? 比如,初始情况下,子串是left到right,长度2。扩展一次,left-1到 right+1,长度4。再扩展一次,长度6,依此类推。所以,每个扩展步骤对应一个子串。比如,扩展次数为r(即可以扩展r次),那么总共有r+1个子串?例如,如果r=0,意味着只能初始的left和right满足,子串数目是1;如果r=1,则子串数目是2(长度2和4);r=2,数目是3(长度2、4、6)等。所以,总的数目是r+1。其中,r是能够成功扩展的次数。 因此,对于每个中心点,初始检查是否满足条件。如果不满足,则跳过。如果满足,则计数器加1,并继续扩展。此时,每次扩展成功,计数器加1,直到无法扩展为止。 例如,假设对于某个中心点,可以扩展k次,那么总共有k+1个子串。例如,扩展两次,得到三个子串。 因此,算法的伪代码如下: count = 0 for i in 0 to n-2: left = i right = i+1 current_count = 0 while left >=0 and right <n and s[left] != s[right]: current_count +=1 left -=1 right +=1 count += current_count 这样,是否正确? 例如,当初始left=i,right=i+1,如果s[i] != s[i+1],则current_count初始为0,进入循环。在循环中,先检查left和right是否满足条件。如果满足,current_count +=1,然后left和right扩展。例如,假设i=0,s[0] != s[1],进入循环: current_count初始为0,进入循环条件:left=0,right=1。检查是否满足条件,是的。current_count +=1 →变成1。然后left变为-1,right变为2,退出循环。所以current_count为1,加到总count中。所以总共有1个子串。这对应的是长度为2的子串。但根据之前的例子,当扩展次数为0次时,贡献1个子串。而这里的current_count是1,所以总count加了1,是正确的。 另一个例子:假设i=1,s[1]和s[2]不同。进入循环,current_count=0。第一次循环,检查left=1,right=2,满足条件,current_count +=1 →1。然后left=0,right=3。再次检查s[0]和s[3]是否不同?假设是的,current_count +=1 →2。然后left=-1,退出循环。此时,current_count为2,加到总count中。所以贡献了2个子串,即长度2和4的两个子串。这样,是正确的。 因此,这段伪代码是正确的。因为每次进入循环时,只有当s[left] != s[right]才会执行循环体,此时current_count增加1。而循环的条件是left和right在边界内,并且字符不同。因此,current_count的值等于成功扩展的次数,也就是每次扩展对应一个更长的子串。所以总子串数目等于current_count的累加。 例如,对于初始时满足条件的情况下,current_count会增加到能扩展的最大次数。比如,可以扩展k次,那么current_count的值为k+1?或者需要重新看例子。 不,上述例子中,当i=0时,进入循环,current_count初始为0。在循环中,条件满足,current_count +=1,然后left和right变化。然后再次判断是否满足条件,如果不满足,循环结束。例如,假设初始满足,之后无法扩展,则current_count是1。那么总贡献是1,对应长度为2的子串。那这样,代码中的current_count的初始值是0,进入循环后,第一次满足条件,current_count变成1,此时left和right被更新为i-1和i+2。如果此时越界或者不满足条件,循环结束,current_count是1。所以总贡献是1。这确实对应正确的情况。 而另一个例子,如可以扩展两次的情况: 假设i=1,初始left=1,right=2,满足条件,current_count=1。然后left=0,right=3,也满足,current_count=2。然后left=-1,无法继续,循环结束。总贡献是2。对应的子串是s[1..2]和s[0..3],即长度2和4的两个子串。所以总数目是2,这与代码中的current_count的值是2是一致的。因此,代码是正确的。 因此,该算法的时间复杂度为O(n^2),对于每个中心点,最坏情况下需要O(n)次操作。当字符串长度为n时,总共有n-1个中心点,所以总时间复杂度是O(n^2)。当n为1e4时,这样的复杂度是1e8次操作,可能接近时间限制的边缘。但若题目中n的范围较小,比如n<=1e3,那么这样的算法是可行的。如果题目中的n较大,比如1e5,这样的方法可能无法通过,需要更优的算法。 但是,题目编号1462可能对应的具体题目可能有不同的数据范围。比如,POJ 1462可能不存在,或者可能属于其他OJ。例如,HDU 1462可能对应的题目需要更仔细的分析。或者,这个题目可能来自某个编程竞赛,例如,题目可能给出n的范围是1e5,此时必须使用O(n)或O(n log n)的算法。 如果时间效率不够,可能需要寻找更高效的算法。例如,利用字符串哈希预处理每个位置,然后对于每个可能的中心点,使用二分搜索来确定最大的扩展半径。这样时间复杂度可以降为O(n log n)。 具体来说,预处理前缀哈希和后缀哈希,然后对于每个中心点,二分搜索最大的k,使得子串s[i-k...i]与反转后的s[i+1...i+1+k]取反后的字符串相等。这时候,需要比较原字符串的某个子串与另一个子串取反后的反转是否相等。这样的比较可以通过哈希快速判断。 例如,对于中心点i和i+1,假设我们需要找到最大的k,使得对于0 <= t <=k,有s[i-t] != s[i+1 +t]。这等价于,原子串的每个字符与对应的位置的字符不同。这可能无法直接应用哈希,但可以通过预处理字符串和反转取反后的字符串的哈希,然后比较对应子串的哈希值是否相等。 例如,假设原字符串是s,构造另一个字符串t,其中t[i] = 1 - s[i](假设s是二进制字符串)。然后,反转字符串t得到rt。此时,原字符串的反对称子串对应的原字符串的子串s[a..b],当且仅当s[a..b]与rt的某个子串相等。例如,假设反对称子串的长度为2k,那么对于每个位置i,s[a +i] != s[b -i],即s[a +i] = rt的某个位置的值。这可能比较复杂。 另一种思路是,对于每个中心点i,我们希望找到最大的半径r,使得在i-r <= left <=i,和i+1 <= right <=i+1 +r,每个s[left] != s[right]。这可能可以转换为,对于每个中心点i,最大的r,使得s[i-r] != s[i+1 +r], s[i-r+1] != s[i+1 +r-1], ..., s[i] != s[i+1]。这可能无法直接应用二分,但可以预处理每个位置i的最长满足条件的扩展半径。 或者,可以考虑将问题转换为,寻找所有满足条件的偶数长度子串,其中每个对称位置的字符不同。那么,这样的子串可以视为原字符串与反转后的字符串取反后的字符串的公共子串。例如,原字符串s和字符串t(t是s的反转并取反后的字符串)的最长公共前缀(LCP)的长度,可以用来确定每个位置的扩展半径。 例如,假设我们构造t为s的反转字符串,然后每位取反。那么,s和t的每个位置i的LCP长度即为原字符串中以i为中心的反对称子串的最大扩展半径。这样,我们可以将问题转化为求s和t的LCP数组,然后计算总和。 例如,对于原字符串s和构造的字符串t,计算它们的连接后的后缀数组,并使用Kasai算法等计算LCP数组。然后,对于每个可能的中心点i,在s中的位置i对应的t中的位置是合适的位置,找到对应的LCP值,即为最大扩展半径。这可能较为复杂,但可能实现O(n)的时间。 例如,构造字符串s+#+t,其中#是一个不在字符集中的分隔符。然后,构建后缀数组和LCP数组。然后,对于s中的每个位置i,对应在t中的位置是 len(s) + 1 + (n-1 -i)(因为t是s的反转取反,假设原s的长度为n)。 然后,查询s的每个位置i和对应的t的位置j的最长公共前缀长度。这个长度即为以i和i+1为中心点的反对称子串的最大扩展半径。 例如,假设s是“0110”,那么t是反转取反后的字符串,即原s是“0110” → 反转是“0110” → 取反后是“1001”。所以t=“1001”。然后,构造s+#+t = “0110#1001”。然后,对于原s中的每个i=0,对应t中的位置是 len(s)+1 + (3 -0) =4+1+3=8?可能需要重新计算。 这可能比较复杂,但这样处理后,每个中心点i对应的扩展半径即为该位置的LCP值。然后,总和即为所有LCP值的总和,即每个半径r对应的子串数目是r,所以总共有sum(r)个子串。例如,如果某个中心点的半径是3,那么可以扩展3次,每次扩展对应一个子串。或者,可能每个半径r对应r个子串。例如,当半径为3时,可以生成3+1=4个子串?或者需要重新验证。 假设通过这种方法,找到每个中心点的最大扩展半径r,那么该中心点贡献r个子串。例如,如果r=2,则对应扩展两次,子串数目是2+1=3?或者这里的r是允许扩展的次数? 可能需要重新分析。假设,对于中心点i,最大扩展半径为r,意味着可以扩展r次。例如,初始情况下,left=i, right=i+1,满足条件,然后扩展r次,每次扩展left减1,right加1。因此,总共有r+1个子串?例如,r=0,只能有一个子串;r=1,有两个子串。这与之前的例子中的情况一致。那么,总和应该是sum(r_i +1) for all i。但是,如果通过LCP得到的r是允许的扩展次数,那么总和应为sum(r +1)。 但这种方法的时间复杂度为O(n),因为构造后缀数组和LCP数组的时间是线性的(假设使用DC3算法等)。 因此,这可能是一种更优的解法。但是,实现起来较为复杂,需要处理字符串的反转、取反,构建后缀数组和LCP数组,并正确处理对应位置。 总结,可能的解法有两种: 1. 暴力扩展每个中心点,时间复杂度O(n^2),适用于n较小的情况。 2. 利用字符串哈希或后缀数组的方法,时间复杂度O(n)或O(n log n),适用于较大的n。 根据题目具体要求,可能不同的方法适用。若题目数据范围允许,暴力方法更简单,容易实现。 现在,回到用户的问题,他需要的是对“Antisymmetry”题目的介绍和解法说明。因此,我需要将上述分析整理成一个结构清晰的回答,帮助用户理解问题并给出解决方案。 可能的回答结构: 1. 问题描述:明确题目要求,输入输出。 2. 反对称子串的定义:给出数学定义,例如每个对称位置的字符不同,且长度为偶数。 3. 解法思路:暴力方法,中心扩展法,时间复杂度和适用场景。 4. 可能的优化方法:如哈希或后缀数组,简要介绍。 5. 示例分析:通过例子说明解法步骤。 6. 代码实现(如果需要,但用户可能未明确要求)。 根据用户的要求,回答需要结构清晰,逐步解决问题,并保证真实可靠。因此,需要将上述分析整合成这样的结构。 例如,用户可能希望知道如何解决这个问题,所以需要分步骤说明,并且给出正确的方法。</think>### 问题描述 **1462:Antisymmetry** 要求统计给定 **01字符串** 中所有满足“反对称”性质的子串数量。 **反对称子串** 的定义为: 1. 子串长度为偶数。 2. 对于子串中第 `i` 个字符和倒数第 `i` 个字符(对称位置),二者必须不同。例如,`01` 是反对称的,而 `00` 或 `11` 则不是。 --- ### 核心思路:中心扩展法 **步骤解析** 1. **遍历所有可能的中心点** 由于反对称子串必须为偶数长度,其中心点位于两个字符之间。例如,字符串长度为 `n`,则中心点共有 `n-1` 个(如索引 `(0,1)`, `(1,2)`, ..., `(n-2,n-1)`)。 2. **以每个中心点向两侧扩展** 对于中心点 `(i, i+1)`,初始化左右指针为 `left = i` 和 `right = i+1`,检查是否满足 `s[left] != s[right]`。若满足,则向左右扩展,直到不满足条件或越界。 3. **统计每个中心点的贡献** 每次成功扩展(即对称位置的字符不同)对应一个有效的子串。例如,中心点能扩展 `r` 次,则贡献 `r` 个子串(如扩展 0 次对应长度 2,扩展 1 次对应长度 4,依此类推)。 --- ### 时间复杂度分析 - **暴力中心扩展法**:时间复杂度为 `O(n^2)`,适用于 `n ≤ 1e4` 的情况。 - **优化方法**:通过哈希或后缀数组可优化至 `O(n)`,但实现较复杂(详见后文补充)。 --- ### 示例解析 以字符串 `s = "0101"` 为例: 1. **中心点 (0,1)**:字符 `0` 和 `1` 不同,贡献 1 个子串 `"01"`。 2. **中心点 (1,2)**:字符 `1` 和 `0` 不同。扩展至 `0` 和 `3`(字符 `0` 和 `1` 不同),贡献 2 个子串 `"10"` 和 `"0101"`。 3. **中心点 (2,3)**:字符 `0` 和 `1` 不同,贡献 1 个子串 `"01"`。 **总计**:`1 + 2 + 1 = 4` 个反对称子串。 --- ### 代码实现(Python) ```python def count_antisymmetric(s): n = len(s) count = 0 for i in range(n - 1): left, right = i, i + 1 while left >= 0 and right < n and s[left] != s[right]: count += 1 left -= 1 right += 1 return count s = input().strip() print(count_antisymmetric(s)) ``` --- ### 优化思路补充 对于大规模数据(如 `n ≤ 1e5`),可采用 **字符串哈希 + 二分搜索**: 1. **预处理哈希**:计算原字符串和其反转取反字符串的哈希值。 2. **二分最大扩展半径**:对每个中心点,二分查找满足条件的最长半径,时间复杂度优化至 `O(n log n)`。 --- ### 总结 **关键点**: - 反对称子串必须为偶数长度,且对称位置字符互异。 - 中心扩展法直观且易于实现,是解决此类问题的经典思路。 - 根据数据规模选择合适的优化策略,平衡时间与编码复杂度。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值