Про важность правильных циклов.

[albobin]

Дальше пусть верхи бодаются.
Ладно бы устройство было для ядрёного реактора, а то ж медицина!

[DIzer]

Дальше пусть верхи бодаются.
Ладно бы устройство было для ядрёного реактора, а то ж медицина!

а как же премия в  квартал?

[valexey]

Это. конечно, не моё дело, но как-то мало верится, что микроконтроллер имеет такой баг в таком месте  . Это же не экзотика  какая-то (I2C) для областей применения таких камней( наверное типа  MSP430). Может быть это отмазка  хардварщиков  (лажанулись где-нибудь) или не срюхали нюансы.  Сам я не спец (но когда-то давно имел некоторое отношение к схемным делам) , потому с лёгкостью предпоЛАЖения делаю:)

На msp430 как раз все нормально (если бы у нас не было нашего же аналогичного решения на msp430 с тем же самым сенсором где идет общение по тому же самому протоколу, ловля бага была бы более занятной и длитиельной). А баг в свежем микроконтроллере (точнее его версии), который совсем не msp430. Если что, на него пока даже ерраты от производителя нету (если ты имел дело с микроконтроллерами, то это должно сказать о многом :-) ).

[albobin]

на него пока даже ерраты от производителя нету (если ты имел дело с микроконтроллерами, то это должно сказать о многом :-) ).

Можно сказать, что не имел (рядом немного посидел:) , но после слов об отсутствии  ерраты сочувственно умолкаю.
   

[Peter Almazov]

Да нет никаких контр-усилий. Есть одностороннее проталкивание конкретной формальной методики (цикл Дейкстры и Ко) конкретным адептом данной методики (info21).

Это совершенно неверно.
Во-первых, Info21 элементарно не владеет методикой, о чем я неоднократно писал.
Во-вторых, он, натурально, шизанулся на цикле Дейкстры. Это, кстати, следствие пункта 1.
К тому, что я говорю Info21 вообще не имеет никакого отношения.

[Peter Almazov]

А может мы их строим альтернативно-верным способом? :-) Вообще, где математически коректное доказательство того, что именно тот способ построения циклов является единственно верным?

Между прочим, valexey, попробуйте со своей командой сделать простой эксперимент. Надеюсь, все читали про двоичный поиск. Решение задачи о голландском нац. флаге (сортировка чисел от 1 до 3), тоже, без сомнения, видели. Попробуйте восстановить по памяти эти программы, они очень короткие. Надеюсь, память у вас не фотографическая, и программы придется построить. Альтернативно-верным или любым другим способом.

[albobin]

В качестве стёба, "цикл" в честь голландского флага на МАМПСе.

Код: [Выделить]

Arrange(flag)
      N bardak,colour
      S bardak=flag,flag=""
      F colour=0,1,2    S $P(flag,colour,$L(bardak,colour))=""
      Q


[albobin]

В задаче оказывается есть ограничения на допустимые операции (только перестановка двух элементов).
Так что мой предыдущий пост - мимо кассы

[valexey_u]

А может мы их строим альтернативно-верным способом? :-) Вообще, где математически коректное доказательство того, что именно тот способ построения циклов является единственно верным?

Между прочим, valexey, попробуйте со своей командой сделать простой эксперимент. Надеюсь, все читали про двоичный поиск. Решение задачи о голландском нац. флаге (сортировка чисел от 1 до 3), тоже, без сомнения, видели. Попробуйте восстановить по памяти эти программы, они очень короткие. Надеюсь, память у вас не фотографическая, и программы придется построить. Альтернативно-верным или любым другим способом.

Ну, поставил эксперимент на себе. Пока двоичный поиск (заодно немного плюсы вспомнил):

Код: [Выделить]

template<typename I, typename T>
I search(const I begin, const I end, T what) {
    assert(begin<end);
    auto first = begin;
    auto last  = end-1;
    for (size_t i=0; i<(size_t)log2(std::distance(begin, end))+1; ++i) {
        auto current = first+std::distance(first,last)/2;
        if (*current == what) return current;
        else if (*current < what) first = current+1;
        else last = current;
        if (first == last) return end;
    }
    assert(false);
    return end;
}
Очень надеюсь, что здесь есть ошибка.