O (n) доказуемо оптимально в худшем случае.
Рассмотрим семейство входов, где все объекты, кроме одного, неверны. Выходными данными должен быть список, содержащий только этот объект, но единственный способ найти его - это проверить объекты по одному; любой тест для более чем одного объекта всегда будет возвращать true
, потому что хотя бы один из них неверен.
Это означает, что вам нужно выполнить n тестов для одноэлементных списков в худшем случае, что требует O (n) время. Вам нужно выполнить все n тестов, потому что если вы пропустите любой из них, вы можете пропустить один правильный объект.