最大密集段 与论文相关的代码和证明“功能珍珠：寻找密度最高的珍珠细分市场“Sharon Curtis和Shin-Cheng Mu。 请参阅theorems-proved.md以获取每个文件中已证明的定理和假定的属性的列表。