Все статьи подряд / Математика / Хабр's Journal
[Most Recent Entries]
[Calendar View]
Sunday, March 19th, 2023
Time |
Event |
5:01a |
Быстрый поиск изоморфных подграфов Привет, Хабр! В этой статье представлен алгоритм быстрого поиска подграфов, изоморфных заданному, рассматриваются только направленные графы. Сначала будет приведён алгоритм поиска паттернов рекуррентным перебором, потом его быстрая модификация. Примеры кода написаны на C++ , исходники всей библиотеки лежат здесь. Также написана копия библиотеки на Java , исходники лежат здесь. Читать далее | 2:04p |
Программирование — как выражение строгой математической теории А что если представлять программу как не набор ключевых слов, а как какой-то формальный язык, с математической строгостью. Тогда программу можно выразить через линии (например). Т.е. чисто теоретически может существовать такой язык программирования, где вместо ключевых слов в котором будут линии и изгибы. Например вот такая линия выражает программу "достать все товары без фильтров из базы данных". Читать далее | 2:10p |
Сообразим на троих. Троичные компьютеры
В повседневной жизни мы используем десятичную систему счисления. Почему именно её — это вопрос отдельный. В конце концов, существуют системы с основанием 12 (по фалангам пальцев без большого), 5 (пальцы на одной руке), 20, 60 и так далее. В компьютерах всё несколько проще — там (можно даже сказать, «Традиционно») используется двоичная система, как самая лёгкая для воплощения. Есть ток — нету тока. Есть отверстие в перфокарте — нет отверстия. Ноль или единица. Короче говоря, «да» или «нет» — третьего не дано. А что будет, если дать? Об этом и поговорим. Читать дальше → |
|