Partition Borders

A short record in order not to loose the idea. Multimodal graphs can grow extremely large. To keep their size in bounds they can be cut into smaller parts. One can introduce a special modality that maps vertices of one patition to those of another pa...