题目描述：给定一个01字符串S（字符串中只包含0、1两种字符），求两个区间s1、s2，要求这两个区间的0、1字符的个数相等，且区间最长，两区间可重叠但不重合。

例子：S=“11011”，s1=[0,3]，s2=[1,4]时，满足要求，且区间最长为4。

本文是”排序算法“第2篇文章，主要介绍线性时间复杂度的三种非比较排序算法：计数排序、桶排序和基数排序。这三种排序给我们另一种思考问题的角度。

排序算法在整个算法体系中属于比较基础的知识，以致于大多数人并没有意识到它对于构建当今计算机庞大技术体系所发挥的巨大作用。

对于很多算法问题而言，要想直接找到更小时间复杂度的方案非常困难，但是一旦将数据排好序，问题就会迎刃而解，所以排序算法扮演着算法基石的作用。

计算机科学家们很早就开始研究各种排序算法，排序算法时间复杂度的每一次微小降低，都会在计算机世界引起轰动。