скажите, а не встречался ли вам какой-нибудь разумный язык или пакет для манипуляций с графами?
пусть есть граф, в вершинах одинаковые структуры данных. хочется записывать правила преобразования графа, в которых фигурировали бы как условия на этих структурах, так и условия типа столько-то исходящих ребер, или подмножество высокой связности, или подграфы похожие на образец, такое. ‎- поцелуйчики в строю
беглый гуглеж пока к цели не привел -- видел пакеты визуализации, вдел язык для обеспечения высокого параллелизма обработки. ‎- поцелуйчики в строю
а языки запросов всяких графовых БД (Neo4j, OrientDB там) это сильно не то, что тебе нужно? (я в смысле в них не особо понимаю, но это кажется самое близкое из того, что видел) ‎- волна бургерных
иначе говоря, задавая правила преобразования графа, получаешь новый граф или набор графов. ‎- поцелуйчики в строю
вспомнил Gremlin https://github.com/tinkerpop/gremlin/wiki (но он тоже больше ориентирован на запросы или in-place manipulation, не функциональный), нашлась статья в педии со списком реализаций https://en.wikipedia.org/wiki/Graph_rewriting ‎- волна бургерных
о, graph rewriting это очень похоже. я по другому рукаву пока дошел до https://en.wikipedia.org/wiki/SageMath со встроенным в него NetworkX. ‎- поцелуйчики в строю
^ а, да, куча же должна быть social network analysis tools разного пошиба, среди них и достаточно общие ‎- волна бургерных
мне пока по твоему руслу https://en.wikipedia.org/wiki/GrGen показался многообещающим. только я за 15 минут не понял какой для него входной формат графов. курю мануал. upd понимает http://www.gupro.de/GXL, короче. ‎- поцелуйчики в строю
social network analysis tools норовят переписать граф в скаляры характеристик, трансформировать не рвутся. ‎- поцелуйчики в строю
а, я надеялся, что кто-нибудь сделал на общем графообрабатывающем субстрате, и забыл его как следует закрыть )) ‎- волна бургерных
оо, манипуляции, данные, скобочки. давно не. ‎- поцелуйчики в строю
Насколько велики такие графы? Насколько нетривиальны требуемые преобразования? ‎- 9000
@9000 миллионы вершин, преобразования будут подбираться эмпирически, несколько типов я упомянул в первом каменте. GrGen на первый взгляд подходит вполне. еще долью визуализации чтоб удобней экспериментировать, тот же SAGE/NetworkX или https://en.wikipedia.org/wiki/Gephi, должно получиться смешать но не взбалтывать. ‎- поцелуйчики в строю
В первом комменте понятно про условия, а про преобразования не очень :) ‎- 9000
я сам пока понимаю примерно. свертки, паттерны, надо будет экспериментировать. ‎- поцелуйчики в строю
[адский бардак с форматами, оставлю здесь еще http://www.arakhne.org/neteditor/ -- Save and load into GML, GraphML, GXL, or NGR (zipped GML/GraphML/GXL) files.] ‎- поцелуйчики в строю
судя по "рекламе", с графами, а точнее с data flow graphs работает TensorFlow гугеля https://www.tensorflow.org/ Nodes in the graph represent mathematical operations, while the graph edges represent the multidimensional data arrays (tensors) communicated between them. ‎- silpol