Алгоритмы рисования диаграммы Венна

Кто-то спросил о перекрывающихся подкластерах в GraphViz и получил следующий ответ:

Извините, нет. Общие подграфы могут совместно использовать узлы, не подразумевая подмножество сдерживание, но не кластеры. Проблема в чертеже. Если кластеры могут произвольно перекрываться, их рисование становится проблемой. рисования диаграмм Венна, для которых нет хороших алгоритмов.

Каково формальное определение или пример «задачи рисования диаграмм Венна»? и почему (я предполагаю, что NP -полная/сложная )трудная ? (Дополнительные баллы :Эскиз редукции к хорошо -известной NP -полная задача)