Все статьи подряд / Математика / Хабр's Journal
 
[Most Recent Entries] [Calendar View]

Sunday, March 19th, 2023

    Time Event
    5:01a
    Быстрый поиск изоморфных подграфов

    Привет, Хабр!

    В этой статье представлен алгоритм быстрого поиска подграфов, изоморфных заданному, рассматриваются только направленные графы.

    Сначала будет приведён алгоритм поиска паттернов рекуррентным перебором, потом его быстрая модификация.

    Примеры кода написаны на C++, исходники всей библиотеки лежат здесь. Также написана копия библиотеки на Java, исходники лежат здесь.

    Читать далее
    2:04p
    Программирование — как выражение строгой математической теории

    А что если представлять программу как не набор ключевых слов, а как какой-то формальный язык, с математической строгостью. Тогда программу можно выразить через линии (например).

    Т.е. чисто теоретически может существовать такой язык программирования, где вместо ключевых слов в котором будут линии и изгибы. Например вот такая линия выражает программу "достать все товары без фильтров из базы данных".

    Читать далее
    2:10p
    Сообразим на троих. Троичные компьютеры
    image

    В повседневной жизни мы используем десятичную систему счисления. Почему именно её — это вопрос отдельный. В конце концов, существуют системы с основанием 12 (по фалангам пальцев без большого), 5 (пальцы на одной руке), 20, 60 и так далее. В компьютерах всё несколько проще — там (можно даже сказать, «Традиционно») используется двоичная система, как самая лёгкая для воплощения. Есть ток — нету тока. Есть отверстие в перфокарте — нет отверстия. Ноль или единица. Короче говоря, «да» или «нет» — третьего не дано. А что будет, если дать? Об этом и поговорим. Читать дальше →

    << Previous Day 2023/03/19
    [Calendar]
    Next Day >>

Все статьи подряд / Математика / Хабр   About LJ.Rossia.org