В гарантиях там есть довольно четкие грани - по поводу "гонки состояний" можно уточнить, что Rust без unsafe исключает data race, который UB, но позволяет создавать race condition, которые логические ошибки.
GC - это решение проблем с ручным управлением памятью за счет накладных расходов в рантайме. Rust тоже решает проблемы с памятью, но позволяет получить определенные гарантии статически.
> Первый одноплатник линейки Nvidia Jetson компания Nvidia представила в 2019 году
В 2019 представлена первая версия модели Nano, а первый одноплатник серии - это Nvidia Jetson TK1. Он покрупнее, но также одна плата с SoC, CPU+GPU+память на одном кристалле. TK1 вышел ещё в 2014 году, и в европейском проекте Mont-Blanc тестировали небольшой кластер на 8 узлов в 2015.
У Седжвика DFS определяется как рекурсивный алгоритм, и затем строятся аналогичные итеративные алгоритмы. Алгоритм из статьи, когда порядок посещения узлов не соответствует DFS, обсуждается как не являющийся поиском в глубину, но заслуживающий внимания как раз по причине, вынесенной в заголовок статьи.
У Кормена к ключевым свойствам DFS относятся свойства, происходящие из рекурсивной структуры вызовов. В том числе, моменты открытия и закрытия вершин (покраски в серый и черный) должны образовывать скобочную структуру. Как @mayorovp и написал, в статье это происходит в нарушенном порядке.
На практике где-то конечно разница может быть не важна, но раз разговор зашел про настоящий, то есть строгие критерии.
В гарантиях там есть довольно четкие грани - по поводу "гонки состояний" можно уточнить, что Rust без unsafe исключает data race, который UB, но позволяет создавать race condition, которые логические ошибки.
GC - это решение проблем с ручным управлением памятью за счет накладных расходов в рантайме. Rust тоже решает проблемы с памятью, но позволяет получить определенные гарантии статически.
По нику автора статьи @gov0run напрашивается упоминание одноименного суперкомпьютера из ОИЯИ.
> Первый одноплатник линейки Nvidia Jetson компания Nvidia представила в 2019 году
В 2019 представлена первая версия модели Nano, а первый одноплатник серии - это Nvidia Jetson TK1. Он покрупнее, но также одна плата с SoC, CPU+GPU+память на одном кристалле. TK1 вышел ещё в 2014 году, и в европейском проекте Mont-Blanc тестировали небольшой кластер на 8 узлов в 2015.
У Седжвика DFS определяется как рекурсивный алгоритм, и затем строятся аналогичные итеративные алгоритмы. Алгоритм из статьи, когда порядок посещения узлов не соответствует DFS, обсуждается как не являющийся поиском в глубину, но заслуживающий внимания как раз по причине, вынесенной в заголовок статьи.
У Кормена к ключевым свойствам DFS относятся свойства, происходящие из рекурсивной структуры вызовов. В том числе, моменты открытия и закрытия вершин (покраски в серый и черный) должны образовывать скобочную структуру. Как @mayorovp и написал, в статье это происходит в нарушенном порядке.
На практике где-то конечно разница может быть не важна, но раз разговор зашел про настоящий, то есть строгие критерии.