先给出k平衡的概念：这里有一个01串，如果这个01串的每个长度为k的子串都有相同数量的0和1个字符，那么这个01串被称为k平衡。
艾伦听到这非常的生气，这样的条件也太苛刻了，一点都不自由！所以他又发明了一个符号’?’，它存在于01串中，可以代表0或者1。
给定一串字符串，只由0，1和’?’组成。你需要写一个程序，来判断在‘?’可以替换为0或1的情况下此字符串是否为k平衡。
先给出k平衡的概念：这里有一个01串，如果这个01串的每个长度为k的子串都有相同数量的0和1个字符，那么这个01串被称为k平衡。
艾伦听到这非常的生气，这样的条件也太苛刻了，一点都不自由！所以他又发明了一个符号’?’，它存在于01串中，可以代表0或者1。
给定一串字符串，只由0，1和’?’组成。你需要写一个程序，来判断在‘?’可以替换为0或1的情况下此字符串是否为k平衡。
第一行输入两个整数n和k，表示字符串的长度和平衡01串的参数k。
第二行输入长度为n的由0，1和’?’组成的字符串。
若为k平衡则输出YES
否则输出NO
7 4 1?0??1?
YES