Подтвердить что ты не робот

Выполнение горизонтального node упорядочения в дереве .dot

Я пытаюсь воссоздать диаграмму примера для двоичного дерева поиска с помощью GraphViz. Вот как это должно выглядеть в конце:

Это моя первая попытка:

digraph G {
    nodesep=0.3;
    ranksep=0.2;
    margin=0.1;
    node [shape=circle];
    edge [arrowsize=0.8];
    6 -> 4;
    6 -> 11;
    4 -> 2;
    4 -> 5;
    2 -> 1;
    2 -> 3;
    11 -> 8;
    11 -> 14;
    8 -> 7;
    8 -> 10;
    10 -> 9;
    14 -> 13;
    14 -> 16;
    13 -> 12;
    16 -> 15;
    16 -> 17;
}

Но, к сожалению, GraphViz не заботится о горизонтальных положениях дерева, поэтому я получаю:

Как добавить ограничения, чтобы горизонтальные позиции вершин отображали их полное упорядочение?

Ответ 1

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

Но есть лучшее решение: Graphviz поставляется с инструментом под названием gvpr (язык сканирования и обработки графического шаблона), который позволяет

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

А так как Эмден Р. Ганснер выполнил всю работу, создав script, который делает макет красиво бинарных деревьев, вот как к этому (все кредиты принадлежат ERG):

Сохраните следующий gvpr script в файл с именем tree.gv:

BEGIN {
  double tw[node_t];    // width of tree rooted at node
  double nw[node_t];    // width of node
  double xoff[node_t];  // x offset of root from left side of its tree
  double sp = 36;       // extra space between left and right subtrees
  double wd, w, w1, w2; 
  double x, y, z;
  edge_t e1, e2;
  node_t n;
}
BEG_G {
  $.bb = "";
  $tvtype=TV_postfwd;   // visit root after all children visited
}
N {
  sscanf ($.width, "%f", &w);
  w *= 72;  // convert inches to points
  nw[$] = w;
  if ($.outdegree == 0) {
    tw[$] = w;
    xoff[$] = w/2.0;
  }
  else if ($.outdegree == 1) {
    e1 = fstout($);
    w1 = tw[e1.head];    
    tw[$] = w1 + (sp+w)/2.0;
    if (e1.side == "left")
      xoff[$] = tw[$] - w/2.0;
    else
      xoff[$] = w/2.0;
  }
  else {
    e1 = fstout($);
    w1 = tw[e1.head];    
    e2 = nxtout(e1);
    w2 = tw[e2.head];    
    wd = w1 + w2 + sp;
    if (w > wd)
      wd = w;
    tw[$] = wd;
    xoff[$] = w1 + sp/2.0;
  }
}
BEG_G {
  $tvtype=TV_fwd;   // visit root first, then children
}
N {
  if ($.indegree == 0) {
    sscanf ($.pos, "%f,%f", &x, &y);
    $.pos = sprintf("0,%f", y);
  }
  if ($.outdegree == 0) return;
  sscanf ($.pos, "%f,%f", &x, &y);
  wd = tw[$];
  e1 = fstout($);
  n = e1.head;
  sscanf (n.pos, "%f,%f", &z, &y);
  if ($.outdegree == 1) {
    if (e1.side == "left")
      n.pos = sprintf("%f,%f",  x - tw[n] - sp/2.0 + xoff[n], y);
    else
      n.pos = sprintf("%f,%f", x + sp/2.0 + xoff[n], y);
  }
  else {
    n.pos = sprintf("%f,%f", x - tw[n] - sp/2.0 + xoff[n], y);
    e2 = nxtout(e1);
    n = e2.head;
    sscanf (n.pos, "%f,%f", &z, &y);
    n.pos = sprintf("%f,%f", x + sp/2.0 + xoff[n], y);
  }
}

Предполагая, что ваш точечный файл, содержащий граф, называется binarytree.gv, вы можете выполнить следующую строку:

dot binarytree.gv | gvpr -c -ftree.gv | neato -n -Tpng -o binarytree.png

Результат:

Переключившись на строку или две в script, вы даже получите, чтобы отдельные дочерние узлы переместились влево, а не в правую сторону.