De proportiecanon is een techniek in de polyfone muziek om meerdere partijen uit één genoteerde stem af te leiden, waarbij de melodie strikt bewaard blijft, zoals in de imitatiecanon, maar de metrische structuur per stem anders wordt. (B3RT)
Het handelsreizigersprobleem (TSP, travelling salesman problem) is een van de bekendste problemen in de computerwetenschap en operationeel onderzoek. Het kan als volgt worden geformuleerd: Het probleem is een onderdeel van de grafentheorie. Van het probleem is aangetoond dat het NP-moeilijk is en de formulering in beslisbaarheidsvorm (Gizmo)
Ter verduidelijking: NP-moeilijk is een complexiteitsgraad. Een gegeven probleem A is NP-moeilijk als ieder beslissingsprobleem in NP in polynomiale tijd tot A gereduceerd kan worden; het is dus minstens zo moeilijk als ieder probleem in NP. Als het probleem zelf ook tot de klasse NP behoort, dan is het NP-volledig. Niet ieder probleem dat NP-moeilijk is, is NP-volledig; het omgekeerde is — per definitie — wel het geval. Voorbeelden van NP-moeilijke beslissingsproblemen zijn MAX-SAT en het handelsreizigersprobleem. (NP)