скажите, а не встречался ли вам какой-нибудь разумный язык или пакет для манипуляций с графами?
пусть есть граф, в вершинах одинаковые структуры данных. хочется записывать правила преобразования графа, в которых фигурировали бы как условия на этих структурах, так и условия типа столько-то исходящих ребер, или подмножество высокой связности, или подграфы похожие на образец, такое. ‎· errorist
беглый гуглеж пока к цели не привел -- видел пакеты визуализации, вдел язык для обеспечения высокого параллелизма обработки. ‎· errorist
а языки запросов всяких графовых БД (Neo4j, OrientDB там) это сильно не то, что тебе нужно? (я в смысле в них не особо понимаю, но это кажется самое близкое из того, что видел) ‎· передневые ноги как контрфорс
иначе говоря, задавая правила преобразования графа, получаешь новый граф или набор графов. ‎· errorist
вспомнил 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. ‎· errorist
^ а, да, куча же должна быть social network analysis tools разного пошиба, среди них и достаточно общие ‎· передневые ноги как контрфорс
мне пока по твоему руслу https://en.wikipedia.org/wiki/GrGen показался многообещающим. только я за 15 минут не понял какой для него входной формат графов. курю мануал. upd понимает http://www.gupro.de/GXL, короче. ‎· errorist
social network analysis tools норовят переписать граф в скаляры характеристик, трансформировать не рвутся. ‎· errorist
а, я надеялся, что кто-нибудь сделал на общем графообрабатывающем субстрате, и забыл его как следует закрыть )) ‎· передневые ноги как контрфорс
оо, манипуляции, данные, скобочки. давно не. ‎· errorist
Насколько велики такие графы? Насколько нетривиальны требуемые преобразования? ‎· 9000
@9000 миллионы вершин, преобразования будут подбираться эмпирически, несколько типов я упомянул в первом каменте. GrGen на первый взгляд подходит вполне. еще долью визуализации чтоб удобней экспериментировать, тот же SAGE/NetworkX или https://en.wikipedia.org/wiki/Gephi, должно получиться смешать но не взбалтывать. ‎· errorist
В первом комменте понятно про условия, а про преобразования не очень :) ‎· 9000
я сам пока понимаю примерно. свертки, паттерны, надо будет экспериментировать. ‎· errorist
[адский бардак с форматами, оставлю здесь еще http://www.arakhne.org/neteditor/ -- Save and load into GML, GraphML, GXL, or NGR (zipped GML/GraphML/GXL) files.] ‎· errorist
судя по "рекламе", с графами, а точнее с 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