公式是正确的，这里不要被传统的约瑟夫环问题思维定式了：
（1）传统的约瑟夫环问题，每个人都是一个相互区别的个体，所以他们的编号相异这点很重要。
（2）而这一题中，好人之间的编号是相对无所谓的，坏人也一样；所以杀了一个坏人由后一个坏人补齐就好了，只要保证前k个是好人就行，编号相对不重要。