перф всемогущий, ну лол, ты вроде на VTune  сидишь

Потому что я пишу на расте. Ты просто не представляешь экосистему джавистов и дотнетчиков.

Там людей которые знают про нативные профилировщики очень мало.

Часто пользуются dotTrace/visualvm соответственно

И всё

я знаю только тех джавистов которые знают про Unsafe.access, они в курсе что такое перф)

Ну таких очень мало

ладно, пофиг, ты доволен vtune?

Более-менее.

Он, имхо, где-то может быть перегружен, и интерфейс не везде приятный.

Но мне нравится, что нормальные визуализации в одном месте с более-менее удобной навигацией

1. Не могут в связи с двумя факторами:
a. Солдат, стоящий в конце шеренги, будет либо повёрнут к шеренге спиной, либо повернётся после того, как увидит лицо стоящего впереди, что по индукции сокращает шеренгу до тривиального случая в 1 солдата.
b. Стоящие внутри шеренги, будучи повёрнутыми лицом друг к другу, на следующем шаге развернутся спинами, исключая воздействие друг на друга в изолированной системе, таким образом рассеивая энтропию из-за конечного размера шеренги.
2. Могут, если один смотрит в спину другому либо в пустоту. Т.е. для любого положения линии разделения шеренги на две части (может быть пустая часть) все изначально должны встать спиной к линии, примерами будут ллл|ппппп или |ппппппп.
3. Тривиальны положения, когда все изначально смотрят в одну сторону. Почему это все варианты? Предположим о наличии другого расположения. Если таковые есть, то из них можно прийти к положению непосредственно перед смотрящими в одну сторону. Известно, что любой шаг приводит к тому, что хотя бы двое будут стоять спинами, пришли к противоречию.
Дитём не решил бы.

а юзал хоть раз https://github.com/andikleen/pmu-tools у меня нет просто интел цпу

да, конца шеренги это точки кристаллизации

я не понимаю почему вы так смело обобщаете до случая с двумя солдатами или одним солдатом. почему не тремя например?

База индукции

Чем проще можно взять, тем предпочтительнее

ну а откуда мы знаем что минимальное это один или два а не три?

я могу предположить что три, потому что 2 + пустота кек

либо два, но не два солтала а солдат+пустота

Один (или вообще ноль) это минимальный размер шеренги. Двое, потому что только на них операции определены.

>b. Стоящие внутри шеренги, будучи повёрнутыми лицом друг к другу, на следующем шаге развернутся спинами, исключая воздействие друг на друга в изолированной системе, таким образом рассеивая энтропию из-за конечного размера шеренги.

эм нет же. в следущей инетарции они опять могут повернуться к друг другу. рассеивают энтропию именно границы внешние

хмм да, имеет смысл