> Стоп-стоп, речь шла про НОРМАЛЬНОЕ сравнение строк.
> Где первый шаг - это сравнить s1.len==s2.len
> s1.len==s2.len

== это всего лишь оператор языка, компилятор "правильного языка" проверит
что аргументы строковые и вызовет strcmp() :)

> и на этом все может закончиться за O(1).

А как ты представляешь сравнение строк менее, чем за O(n) ?

O(1) будет с твоей точке зрения, для проца это регистровый CMP.
Так что, сложность превращается в O(n/x), где х толщина регистра, x >= 1