Я не понял при чём тут Шелл и merge sort

это усовершенствованная сортировка вставками. Более того в википедии есть код:

template< typename RandomAccessIterator, typename Compare >
void shell_sort( RandomAccessIterator first, RandomAccessIterator last, Compare comp )
{
    for( auto d = ( last - first ) / 2; d != 0; d /= 2 )
//нужен цикл для first = a[0..d-1]
        for( auto i = first + d; i != last; ++i )
            for( auto j = i; j - first >= d && comp( *j, *( j - d ) ); j -= d )
                std::swap( *j, *( j - d ) );
}

Я тоже не пойму. Пошел препода доставать.

Может препод попутал insert vs merge

(

Ходи в алгоритмы, спрашивай.
Ну ил algolist.ru никто не отменял.

Отбой. Он прислал объяснение для обычной сортировки Шелла. Ну если кто знает про, то что я здесь говорил, буду благодарен.

ап

как называется алгоритм(если он есть), который уменьшает число операторов в логическом выражении, именно жмет, типа было x & z | y & z получили (x | y)&z где вообще об этом почитать? а то я кроме XXНФ которые в обратную сторону никаких не знаю

Ты хочешь добиться минимально возможного количества операторов?

да

у меня есть подозрения что это онли перебором достижимо

Мне тоже так кажется, потому что задача SAT к ней сводится.

Сведение:
Нам дана формула. Хотим проверить, существует ли набор переменных, обращающих ее в 1.
Запустим на ней минимизацию.
Заметим, что если ответ был NO, то мы обязательно получим формулу "0" (любая другая неминимальная).
Заметим, что если ответ был YES, то мы обязательно получим формулу, отличную от "0" (т.к. неэквивалентна).
Значит,
SAT(formula) := minimize(formula) != "0"
Мы построили полиномиальное сведение к NP-полной задаче, значит минимизация формулы - NP-полная задача.

хорошо наверное быть умным))

Ну, не факт что я сейчас тебя не обманываю.

Есть какая нибудь формула для суммы k-тых биномиальных коеффициентов, кроме dft?

А можно спросить, как правильно построить uml диаграмму деятельности для рекурсивного алгоритма?

😮