Здравствуйте, Dair, Вы писали:

D>Тут я потерялся. Исходно ты говорил про индекс и тип как отдельные друг от друга сущности.
Спасибо что пытаешься разобраться. Исходно я писал

Задача: максимально оперативно выдавать упорядоченные по индексу непрерывные куски заданной длительности. Кусок должен содержать все "типы".

Тоесть, здесь присутствуют ограничения:
1) непрерывность
2) для выбранного куска — суть, заданной последовательности индексов [a..b] — присутсвие во всех типах.
То есть, выход есть только в случае когда у нас [a..b] существует для всех типов.

D>Вот, например, если в исходном примере индексы поменять на 1234 вместо 1001 — что поменяется?
D>

D>"1"-"1"-"Б" => []
D>"2"-"1"-"A" => []
D>"3"-"2"-"A" => []
D>"4"-"2"-"В" => ??
D>

[]. Потому что ни одна из последовательностей индексов длины 2+ не содержится во всех типах. Но вот если дальше прилетит

"2"-"2"-"Б" => []
"3"-"1"-"A" => [АБАА]

Потому что появляется непрерывный сегмент минимальной длины (2), существующий для обоих типов.