This field integrates static analysis techniques with complexity theory to provide rigorous guarantees regarding running time, memory usage and other computational resources.

DPABINet: a turn-key brain network and graph theory analysis platform based on MRI data. Science China Press. Journal Science Bulletin DOI 10.1016/j.scib.2024.02.038. Keywords / Life sciences ...

Hard in theory, easy in practice: Why graph isomorphism algorithms seem to be so effective. ... Smoothed analysis for graph isomorphism, arXiv (2024). DOI: 10.48550/arxiv.2410.06095.