Пользователь
0,0
рейтинг
28 декабря 2011 в 09:54

Разработка → Рисуем картинки с помощью кривой Гильберта

В субботу на прошлой неделе «дело было вечером, делать было нечего», и мы с хабраюзером sourcerer разговаривали не понятно о чём. И почему-то речь зашла речь о задаче обратной к задаче построения графика функции по её выражению. То есть, например, у нас есть выражение y(x) = (cos0,5x ⋅ cos 200x + |x|0,5 − 0,7)(4 − x2)0,01. График такой функции чем-то напоминает сердечко. Но нам был интересен обратный вопрос, как, имея, например, изображение сердечка, получить выражение для функции, графиком которой будет это самое сердечко.

Какие-нибудь ряды Фурье вспоминать не хотелось, а хотелось чего-то простого и красивого. Мы начали вспоминать известные нам результаты, связанные с этим вопросом. В результате получилась программка, которая по изображению генерирует ломаную линию, чем-то напоминающую исходное изображение. На примере котёнка по имени Гав это выглядит примерно так (смотреть лучше издалека):



Если интересно как такое сделать, а также узнать про формулу конопли, формулу, график которой является этой же формулой, то добро пожаловать под хабракат. (Будет много картинок.)



Итак, вспомним некоторые результаты.

Формула конопли. Примерно в 2005 году активно разрабатывалась и обсуждалась формула конопли. Простые формулы в полярных координатах вида
  1. R(t) = (1 + sin t)(1 + 0,9 ⋅ cos 8t)(1 + 0,1 ⋅ cos 24t),
  2. R(t) = (1 + sin t)(1 − 0,9 ⋅ |sin 4t|) ⋅ (0,9 + 0,05 ⋅ cos 200t),
  3. R(t) = (1 + sin t)(1 + 0,9 ⋅ cos 8t)(1 + 0,1 ⋅ cos 24t) (0,5+0,05 ⋅ cos 140t)
конечно обладают симпатичными графиками, но всё это ничто по сравнению с результатом Антона Сухинова.



Что же сделал Антон Сухинов? Он в 2005 на арбузном форуме предложил следующую замысловатую формулу (если я нигде не ошибся при наборе):

Тогда, рисуя только те точки для которых F(ar) > 0 и выбирая цвет в зависимости от значения функции, получаем следующее изображение:


С ума спрыгнуть, не правда ли?

Формула Таппера. Рассмотрим неравенство
, и пусть число k равно
48584506361897134235820959624942020445814005879832445494830930850619347
04708809928450644769865524364849997247024915119110411605739177407856919
75432657185544205721044573588368182982375413963433822519945219165128434
83329051311931999535024137587652392648746133949068701305622958132194811
13685339535565290850023875092856892694555974281546386510730049106723058
93358605254409666435126534936364395712556569593681518433485760526694016
12512669514215505395545191537854575257565907405401579290017659679654800
64427829131488548259914721248506352686630476300.

Оказывается множество точек (x, y − k) удовлетворяющих этому неравенству и таких, что 0 ≤ x ≤ 106 и kyk + 17, выглядит следующим образом:


А это снова само неравенство. Понятно, конечно, что просто-напросто в числе k зашифровано изображение, но тем не менее результат очень красивый и не понятно как такое вообще можно было придумать.
Более подробно можно почитать в википедии: Tupper's self-referential formula, а мы перейдём от частных результатов к массовым методам.

Системы итерируемых функций. Наверное, каждый, кто хоть немножко сталкивался с фракталами, знает, что такое системы итерируемых функций. СИФ позволяет с помощью пары десятков чисел получать картинки очень похожие на реальные листья, деревья, ветки:

Идея о том, что можно попытаться решить обратную задачу — по заданному изображению получить набор чисел, описывающих СИФ, позволила Майклу Барнсли придумать фрактальное сжатие. Какая-то попытка рассказать о фрактальном сжатии уже предпринималась на хабре: Основы фрактального сжатия изображений. Но тем, кто хочет разобраться детально порекомендую первую половину книги «Фракталы и вейвлеты для сжатия изображений в действии» С. Уэлстида.

Фрактальные строки. На самом деле в алгоритме фрактального сжатия используются не системы итерируемых функций, а так называемые системы частичных итерируемых функций. Тем не менее есть класс изображений, для которых легко придумать именно СИФ, аттракторами которых они являются. Такими изображениями являются фрактальные строки. Фрактальная строка — это слово, каждая буква которого состоит из уменьшенных копий данного слова и так далее. На примере слова «ХАБР» это выглядит как-то так:

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

Портрет В.-Й. Мёллера. Листая книгу «Фракталы, хаос, степенные законы. Миниатюры из бесконечного рая» М. Шредера, можно наткнуться на следующую иллюстрацию:


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

Для начала нужно взять алгоритм построения кривой Гильберта. Но не с помощью каких-нибудь L-систем, а честный рекурсивный алгоритм. А дальше модифицируем его следующим образом. Если яркость квадратика больше заданного порога и в четырёх его подквадратиках кривую рисовать не нужно, то считаем, что и в самом квадратике рисовать кривую не нужно. Хотя наверное проще понять из кода, приведённого ниже.

Point2D[] drawHilbertCurve(Point2D p, double size, int d) {
    Point2D q = new Point2D.Double(
            p.getX() + size * sqrt(2) * cos(PI * (d + 0.5) / 2),
            p.getY() + size * sqrt(2) * sin(PI * (d + 0.5) / 2));
    if (size <= 2) {
        if (blockIsWhite(p, q)) {
            return null;
        } else {
            Point2D cc = new Point2D.Double(
                    p.getX() + size * sqrt(2) * cos(PI * (d + 0.5) / 2) / 2,
                    p.getY() + size * sqrt(2) * sin(PI * (d + 0.5) / 2) / 2);
            return new Point2D[]{cc, cc};
        }
    } else {
        Point2D cl = new Point2D.Double(
                p.getX() + size * cos(PI * (d + 1) / 2) / 2,
                p.getY() + size * sin(PI * (d + 1) / 2) / 2);
        Point2D cc = new Point2D.Double(
                p.getX() + size * sqrt(2) * cos(PI * (d + 0.5) / 2) / 2,
                p.getY() + size * sqrt(2) * sin(PI * (d + 0.5) / 2) / 2);
        Point2D br = new Point2D.Double(
                p.getX() + size * cos(PI * d / 2),
                p.getY() + size * sin(PI * d / 2));
        Point2D[] p1 = drawHilbertCurve(cl, size / 2, d - 1);
        Point2D[] p2 = drawHilbertCurve(cl, size / 2, d);
        Point2D[] p3 = drawHilbertCurve(cc, size / 2, d);
        Point2D[] p4 = drawHilbertCurve(br, size / 2, d + 1);
        if (p1 == null && p2 == null && p3 == null && p4 == null && blockIsWhite(p, q)) {
            return null;
        } else {
            if (p1 == null) {
                p1 = new Point2D[2];
                p1[0] = p1[1] = new Point2D.Double(
                        cl.getX() + size * sqrt(2) * cos(PI * (d - 0.5) / 2) / 4,
                        cl.getY() + size * sqrt(2) * sin(PI * (d - 0.5) / 2) / 4);
            }
            if (p2 == null) {
                p2 = new Point2D[2];
                p2[0] = p2[1] = new Point2D.Double(
                        cl.getX() + size * sqrt(2) * cos(PI * (d + 0.5) / 2) / 4,
                        cl.getY() + size * sqrt(2) * sin(PI * (d + 0.5) / 2) / 4);
            }
            if (p3 == null) {
                p3 = new Point2D[2];
                p3[0] = p3[1] = new Point2D.Double(
                        cc.getX() + size * sqrt(2) * cos(PI * (d + 0.5) / 2) / 4,
                        cc.getY() + size * sqrt(2) * sin(PI * (d + 0.5) / 2) / 4);
            }
            if (p4 == null) {
                p4 = new Point2D[2];
                p4[0] = p4[1] = new Point2D.Double(
                        br.getX() + size * sqrt(2) * cos(PI * (d + 1.5) / 2) / 4,
                        br.getY() + size * sqrt(2) * sin(PI * (d + 1.5) / 2) / 4);
            }

            drawLine(p1[0], p2[0]);
            drawLine(p2[1], p3[0]);
            drawLine(p3[1], p4[1]);
        }
        return new Point2D[]{p1[1], p4[0]};
    }
}


boolean blockIsWhite(Point2D p, Point2D q) {
    int l = (int) min(p.getX(), q.getX());
    int r = (int) max(p.getX(), q.getX());
    int t = (int) min(p.getY(), q.getY());
    int b = (int) max(p.getY(), q.getY());

    double c = 0;
    for (int i = l; i < r; ++i) {
        for (int j = t; j < b; ++j) {
            c += (srcImage.getRGB(i, j) & 0x0000FF) / 255.0;
        }
    }
    return c / ((b - t) * (r - l)) > threshold * (1 - log(2) / log(b - t));
}


Перед тем, как изображение скармливалось программке, оно переводилось в оттенки серого и опытным путём подстраивалась яркость и контрастность. Например, вот что получилось, когда программку натравили на тукса:



Исходный код программки.

Если кто-то знает ещё какие-то красивые результаты из обсуждаемой области, то напишите об этом, пожалуйста, в комментариях.
Matvei Kotov @mkot
карма
232,0
рейтинг 0,0
Пользователь
Реклама помогает поддерживать и развивать наши сервисы

Подробнее
Спецпроект

Самое читаемое Разработка

Комментарии (43)

  • +16
    • +18
      • 0
        В свое время минут 10 перепечатывал это в вольфрам, чтобы увидеть «too large input» — или что-то вроде того. «Batman equation» ввести не догадался)
  • +11
    А где формула кривой тукса?
    • +2
      Ну да, в полной мере задача не была решена. Но параметризовать эту кривую вполне возможно.
  • +2
    появилось желание стряхнуть пыль с диска с матлабом :)
  • +16
    Зарегистрированные на арбузном форуме! Пожалуйста перевыложите файлы (SAnCannabola.zip и Cannabola.zip) из конопляного топика forum.arbuz.uz/index.php?showtopic=998 в место, доступное простым смертным. В данный момент регистрация на форуме закрыта, отсюда, собственно и проблема. Спасибо.
    • +1
      Спасибо, что напомнили про arbuz.uz — интересный сайт, давно там не был.
    • 0
      Я зарегистрирован.
      Залогинился, попробовал скачать — выдаёт ошибку о том, что требуемые файлы отсутствуют. Увы.

      Поиском обнаруживается, что Cannabola.zip перезалита на некоторых других форумах. Попробуйте зарегистрироваться там и скачать.
    • +1
    • НЛО прилетело и опубликовало эту надпись здесь
  • +2
    Товарищи знали толк в…
    • +2
      Введите в поисковике:

      48584506361897134235820959624942020445814005879832445494830930850619347
      04708809928450644769865524364849997247024915119110411605739177407856919
      75432657185544205721044573588368182982375413963433822519945219165128434
      83329051311931999535024137587652392648746133949068701305622958132194811
      13685339535565290850023875092856892694555974281546386510730049106723058
      93358605254409666435126534936364395712556569593681518433485760526694016
      12512669514215505395545191537854575257565907405401579290017659679654800
      64427829131488548259914721248506352686630476300

      и попадете на сайт с бесплатными извращениями.
      • +7
        И попадете на Хабр, на этот самый топик. Мсье знает толк в рекурсии :)
      • +4
        попал на какой-то очередной клон хабра hqit.org.ua
      • +1
        По низкочастотным поисковым запросаам статья на хабре попадает в топ-1 гугля через 30 минут после публикации.
        • +5
          Доказано!

          Гуглем

          Ровно 30 минут ;)
  • +3
    Ну да, согласен, я дурак… Против таких доказательств не попрешь.
  • +28
    Про функцию конопли хорошо прокоментированно тут:
    «Ситуация похожа на анекдот, когда учитель, пытаясь овладеть вниманием совершенно раздолбайского класса, спросил: «Дети, кто знает, как натянуть презерватив на глобус?». Дети спросили, что такое глобус, и учитель им спокойно про него рассказывал весь урок. Так что, пусть через коноплю, но интерес к математическим картинкам проявляется.»
    • +3
      Мне больше интересно, как до такого дошло, что решили функцией коноплю построить =))
      Так и представляется:
      — Еее, чуваки, нехило так вставило… а знаете, не, вы знаете, а давайте коноплю функцией нарисуем, прикиньте ваще как зашибись!
      — Даааа, ништяяяяк!
  • +1
    Очень рекомендую немного заморочиться и посмотреть, как выглядит каждая из формул, составляющих формулу конопли.
  • +1
    В случае Тукса возникает четкое впечатление, что ласты Тукса прозрачные.

    НО Это реально круто.
  • +3
    Блин, как?? Как они это делают?
  • +2
    Я как-то писал конструктор рекурсивных кривых на билдере (молодой был)). Конструктор работал по принципу «берём каждую прямую из шаблона и заменяем на весь шаблон в масштабе, и так n раз». Получалось круто, гильберт, серпинский и еще некоторые.
  • +1
    f7(a, r) — это стебелек конопли?
    • +1
      Ага, стебелёк.
  • НЛО прилетело и опубликовало эту надпись здесь
  • +2
    Пять баллов!
  • +3
    Мужик, ты красавчик!
  • +2
    Очень много матана, совсем взорвало мой бедный моск, не мучанный матаном со второго курса института. Но картинки красивые — плюсую.
  • –5
    Теперь понятно, что курил автор )
  • +5
    Первую лекцию по матану можно начинать с этого топика.
    • 0
      на матане графики не очень-то рисуют
  • +2
    Да… Сила математики во всей своей красе! Уважение и благодарность автору и хабраюзеру sourcerer, как я понимаю — это был совместный проект.
    • +1
      На самом деле, я просто идею предложил.
      • 0
        А все и начинается с идеи =)
        В итоге все читают эту замечательную статью. Я, конечно, знал, что это возможно. Но увидеть такую программу… Однозначно спасибо Вам обоим!
  • +2
    Я правильно понимаю, что в формуле Таппера картинка зашифрована в самом числе, а формула лишь разворачивает её.
    • +3
      Да, примерно так.
  • +1
    Какая замечательная статья! Возникла мысль о создании для фана on-line сервиса по генерации таких картинок, а если еще «обработку изображений» к этому привлечь, будет совсем интересно, что бы не «опытным путем подстраивать контрастность и яркость» а автоматом подбирать.
    • +1
      Такой сервис хотелось бы увидеть=)
  • +5
    Теперь я наконец увидел как генерировать няшные тестовые контуры для теста станка лазерной резки :-D
  • +2

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.