The goal of this project is to develop an algorithmic theory of similarity between graphs. Graphs are versatile models for representing complex data ranging from chemical molecules to social interactions. Dealing with graphical da...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
TIN2008-06815-C02-01
MODELOS GRAFICOS PROBABILISTICOS EN PROBLEMAS DE CLASIFICACI...
145K€
Cerrado
PID2021-127946OB-I00
APRENDIZAJE PROFUNDO PARA LA DETECCION DE ANOMALIAS EN DATOS...
54K€
Cerrado
PINDESYM
Program Intelligence, Declaratively and Symbolically
2M€
Cerrado
TIN2015-67534-P
ALGORITMOS DE ENSEMBLES PARA PROBLEMAS DE SALIDAS MULTIPLES....
66K€
Cerrado
VERLAN
Verification and Language Theory
176K€
Cerrado
TraDE-OPT
Training Data driven Experts in OPTimization
4M€
Cerrado
Información proyecto SymSim
Duración del proyecto: 64 meses
Fecha Inicio: 2022-05-30
Fecha Fin: 2027-09-30
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
The goal of this project is to develop an algorithmic theory of similarity between graphs. Graphs are versatile models for representing complex data ranging from chemical molecules to social interactions. Dealing with graphical data and enabling modern data analysis techniques, a fundamental task is to compare graphs and to measure their similarity, preferably in a semantically meaningful and algorithmically efficient way. However, it is not clear at all how to achieve this. In many application areas, for example, computer vision, database systems, and formal verification, researchers have proposed (often ad-hoc) solutions to this problem tailored for the specific application, but a general theory is missing. We will develop such a theory in this project.
Similarity of graphs has many different facets. We will identify the common core of different approaches to similarity, but also exhibit their differences. We will design methods for comparing different similarity measures and for obtaining a semantic understanding of similarity. We will develop criteria for the suitability of various similarity measures for different types of applications.
A particular focus of our research will be on efficient algorithms for computing similarity. There is little use in having a perfect similarity measure if we have no efficient way of determining how similar two graphs are.
A classic algorithmic problem in this context is the graph isomorphism problem of deciding whether two graphs are structurally identical. Determining the precise computational complexity of this problem, or of the equivalent problem of computing all symmetries of a graph, is regarded to be one of the most important open questions in theoretical computer science. Building on recent progress, we will design new algorithms breaking barriers towards a polynomial-time algorithm for the isomorphism problem.