Как мне выяснить, можно ли построить подмножества на обычной диаграмме Эйлера?

Я не знаком с этой темой, но в прошлом я потратил много времени на изучение графиков. Я думаю, что свойство рисования диаграммы Эйлера связано с планарностью графа, где множества являются узлами. Эта статья, кажется, проливает некоторый свет на это соотношение: обеспечение прорисовки расширенных диаграмм Эйлера на срок до 8 множеств .

Это хороший вопрос. Ответ был изложен в статьях, относящихся к различным графическим библиотекам, но он всегда будет зависеть от предположений и ограничений, которые вы вводите. Соответствует ли область кругов? Будут ли они всегда иметь хотя бы X точек пересечения? Вы ограничены в размере или количестве категорий? Более важным является вопрос о том, будет ли диаграмма Эйлера полезной. Трудно интерпретировать более дюжины пересекающихся кругов, но, если вы изображаете в основном иерархические отношения, гораздо большее количество может сработать.

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

Я предполагаю, что под «простым» вы подразумеваете, что диаграмма использует только круги, а под «пропорциональным» вы подразумеваете, что площадь каждого раздела диаграммы пропорциональна совокупности, которую она представляет из общего набора. Это может помочь сделать эти определения явными в вопросе.