一个长$2k$的数列，$k$个$1$,$k$个$0$。

一个数列合法当且仅当对于任意前缀$0$的个数不少于$1$的个数。求合法数列数。

请问有比$O(k^2)$快的做法吗