暗黑字符串那个公式怎么推导出来的