А в задаче разве локальная оптимизация не прокатит? Сначала пытаемся поделить на три, потом на два, потом вычесть единицу и по новой

Или её нельзя решить через постоянный выбор локального экстремума?

А в задаче разве локальная оптимизация не прокатит? Сначала пытаемся поделить на три, потом на два, потом вычесть единицу и по новой

это моё первое решение и оно не верное для 20 выдаёт 5 но возможно ещё 4

тоесть не 20 / 2 = 10 / 2 = 5 - 1 = 4 / 2 = 2 / 2 = 2 / 2 = 1 а 20 / 2 = 10 - 1 = 9 / 3 = 3 = 3 = 1

Ну тогда надо граф решений строить, получается

let p = Array.zeroCreate 10000 for i in 2..p.Length-1 do p.[i] <- p.[i - 1] + 1 if i % 2 = 0 then p.[i] <- min (p.[i / 2] + 1) p.[i] if i % 3 = 0 then p.[i] <- min (p.[i / 3] + 1) p.[i] p.[10..12]

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

Ну тогда надо граф решений строить, получается

Динамическое программирование

Задача похожа на классическую по размену денег, кстати

Хотя сформулирована хитрее

эта задача на Stepikе называется калькулятор

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

не уверен

Динамическое программирование

еее

еее

я не виновата, что астрологи объявили

не уверен

А какая разница? делим же, если делится. Следовательно, можно крутиться от единицы, прибавляя 1, умножая на 2 и на 3. Получим в итоге решение для любого числа (докуда дойдём)

разница в кол-ве итераций

разница в кол-ве итераций

O(n)

их вероятно будет меньше чем идти от числа до 1

можно добавить проверку если (N % 3 - 1) % 2 == 0 и (N % 2 - 1) % 3 == 0 тогда проделать эти действия и прибавить 3 к счётчику действий

O(n)

пример в студию. хот на псевдо коде

O(n)

я вообще не понимаю эту О символику на Степике курс проходил но не понял

Всем Кормена, пацаны

так начни с чего-то попроще

пример в студию. хот на псевдо коде

могу на псевдо-C++ скинуть, но там будет страшненько, мне лень украшать

Определения через пределы самые понятные.

O(n)

ну нет же. Ты после каждого шага в худшем случае создаешь еще три узла которые нужн проверить и каждый потом создаст еще три узла и т.д. и т.п. типа let fsti : int list = checkOneLevel [ \3 ; \2; -1 ] N >fsti : [N\3;N\2;N-1] let sdi = List.map (checkOneLevel [\3; \2; -1]) fsti >sndi : [[N\3\3; N\3\2; N\3 - 1] , [N\2\3; N\2\2; N\2 - 1] , [(N-1)\3; (N-1)\2;(N-1) -1] ] и т.д.

На F# сами переписывайте ?

Всем Кормена, пацаны

Я ещё маленький для таких книг

ну нет же. Ты после каждого шага в худшем случае создаешь еще три узла которые нужн проверить и каждый потом создаст еще три узла и т.д. и т.п. типа let fsti : int list = checkOneLevel [ \3 ; \2; -1 ] N >fsti : [N\3;N\2;N-1] let sdi = List.map (checkOneLevel [\3; \2; -1]) fsti >sndi : [[N\3\3; N\3\2; N\3 - 1] , [N\2\3; N\2\2; N\2 - 1] , [(N-1)\3; (N-1)\2;(N-1) -1] ] и т.д.

Ну нет. Можно создать hashtable всех непроверенных индексов чтобы не проверять их ещё раз

Далее от 1-го индекса, куда кладём кол-во шагов 0. начинаем заполнять по алгоритму: по всем ненулевым индексам (их будет всё меньше с каждой итерацией): шагни на индекс * 3 и положи туда n+1 (удали из hashtable) шагни на индекс * 2 и положи туда n+1 (удали из hashtable) шагни на индекс + 1 и положи туда n+1 (удали из hashtable) повторять пока все индексы не будут заполнены. Алгоритм терминирующий, т.к. последний шаг будет постоянно выбивать хотя бы одному индексу за итерацию

Я ещё маленький для таких книг

а я типа да?)))

Ну нет. Можно создать hashtable всех непроверенных индексов чтобы не проверять их ещё раз

мемоизация != Алгоритм O(n)

Я соглашусь. Но это поможет

Я соглашусь. Но это поможет

поможет да, но алгоритм не О(н) )

поможет да, но алгоритм не О(н) )

Посмотри кодяру уже

На F# сами переписывайте ?

резервировать памяти в 3 раза больше чем надо? не хочу с++

резервировать памяти в 3 раза больше чем надо? не хочу с++

Норм, напишешь проверку на выход за границы массива если чо

Я кишками наружу оставила, считайте инструменты и зашивайте

https://safe-stack.github.io/docs/news/#18th-june

только хотел прислать)

Хех.

tl;dr > remove Suave as a recommended option on the SAFE stack > Our default recommendation for SAFE stack applications is to use Saturn or Giraffe directly, running on top of Kestel on ASP .NET.

Топ кек

(Давно пора)

переименуются в GAFE?

SAFE оказался не Safe

не переимеются, под А там так то любой клауд)

Драма.

Да, Haf себя изолирует от комьюнити

SAFE оказался не Safe

Saturn ?

Saturn ?

Для меня SAFE звучало как "безопасный стэк" - типо-безопасный язык + опенсорс. А оказалось, что стэк технологий не такой уж и безопансый)

Hi, Done!

Для меня SAFE звучало как "безопасный стэк" - типо-безопасный язык + опенсорс. А оказалось, что стэк технологий не такой уж и безопансый)

Почему не безопасный?

Почему не безопасный?

ну из-за лицензии на логари пострадала репутация автора и всех его проектов, один из которых Suave. Использовать в продакшене Suave я бы сейчас не рискнул

ну из-за лицензии на логари пострадала репутация автора и всех его проектов, один из которых Suave. Использовать в продакшене Suave я бы сейчас не рискнул

Так safe не только suave

Ну и с лицензиями вроде все решили, suave не будет от логари зависеть

Так safe не только suave

да, но изначально был именно suave

S - server

Ну и с лицензиями вроде все решили, suave не будет от логари зависеть

но это особо не спасает ситуацию

но это особо не спасает ситуацию

Я suave после жирафа бы не использовал и так бы

S - server

ну я не про абревиатуру, а про стэк, изначльно там был только suave, а потом добавили жираф

Я suave после жирафа бы не использовал и так бы

я только suave пробовал, мне очень понравился. Жаль, что автор так психанул

я только suave пробовал, мне очень понравился. Жаль, что автор так психанул

Giraffe тебе тоже понравится)

ну да, апи честно украденный из suave :)

Ну так отличное же решение. Слава богу api не авторским правом не ограничивается

А кто такой Хаф?

Да. в свете последних событий - слава Богу, что есть жираф. Хотя его появление было одной из причин такого хейта от haf в сторону MS

Я какую-то драму пропустила, кажется

Я какую-то драму пропустила, кажется

Да тут каждую неделю драма.

А кто такой Хаф?

в прошлом - герой F# OSS Community https://github.com/haf сейчас отступник и бунтарь :D

Ну так отличное же решение. Слава богу api не авторским правом не ограничивается

э.. не рапарсил

Одно не лишнее

Одно не лишнее

ну тут тоже как попрет. оракл у гугла бабки хотел чисто за апи отжать

Да тут каждую неделю драма.

Я не понял, так suave все еще поддерживается?

А скажите, юзал кто Canopy? Что-то не могу разобраться как свичнуться на всплывающее окно

Нашел)

url компилируется в настоящий CIL литерал, а url2 в статический метод.

url компилируется в настоящий CIL литерал, а url2 в статический метод.

спасибо)

Насколько ты помнишь, гарантируется, что CIL литералы — это константы, и они должны быть заинлайнены во время компиляции.

Насколько ты помнишь, гарантируется, что CIL литералы — это константы, и они должны быть заинлайнены во время компиляции.

угу я просто думал что оно и let="..." сразу оптимизирует ну потому что оно всё равно ведь будет иммутабельно (если не оговорено иное)

url компилируется в настоящий CIL литерал, а url2 в статический метод.

Разве в метод?

почему так не сделали?)

почему так не сделали?)

Чтобы не вводить дополнительные сложные правила, неочевидные программисту.

А то получится, например, что одни значения, связанные через let, можно использовать в паттерн матчинге, а другие почему-то нет.

В спеке есть хороший пример: [<Literal>] let C = 3 match 4 with | C -> sprintf "matched, C = %d" C | _ -> sprintf "no match, C = %d" C

Поведение меняется в зависимости от наличия [<Literal>].

Разве в метод?

С точки зрения CIL. Конечно же, там C# свойство. :)

какие есть библиотеки под dotnet core для работы с postgre sql? Type Provider еще же не завезли в dotnet core?

какие есть библиотеки под dotnet core для работы с postgre sql? Type Provider еще же не завезли в dotnet core?

https://github.com/demetrixbio/FSharp.Data.Npgsql Потом расскажешь, как оно. :)

https://github.com/demetrixbio/FSharp.Data.Npgsql Потом расскажешь, как оно. :)

спасибо, обязательно гляну)

https://github.com/demetrixbio/FSharp.Data.Npgsql Потом расскажешь, как оно. :)

Это, если типы из c# не видны, то это же erased type provider?

Это, если типы из c# не видны, то это же erased type provider?

Угу.

Хм, интересно почему jsonprovider erased тогда

Я несколько огорчился этому факту

?‍♂️