Computational Complexity

This section is the developer-facing reference for PROTEA’s computational complexity. It covers the Big-O profile of every pipeline stage, measured hot paths, and practical advice for profiling.

The corresponding academic narrative (derivations, empirical scaling plots, and the ablation study that justifies the numpy + FAISS design) lives in thesis Chapter 5 (“Computational Analysis”), which is outside the Sphinx tree. The two documents are complementary: this reference tells you where the cost lives and how to measure it; the thesis explains why the current design was chosen over the alternatives.

Division of labour

This Sphinx section

Thesis Ch. 5

Function signatures + source anchors

Formal Big-O derivations

Measured wall-clock numbers (EXP.13)

Empirical scaling plots

Profiling recipes (scalene, etc.)

Architecture motivation

Forward-ref to PERF.1 flamegraphs

Comparison to pgvector / GPU KNN