Skip to content

Math formula / math fact [mp]

Micro pattern

Description

Replace simulation with an identity, counting formula, divisibility fact, or number-theoretic invariant.

Problems

Closed-form and combinatorial identities

Compute results from sums, combinations, recurrence identities, or structural counts.

Divisibility and factors

Use prime-factor contributions or divisibility by a known power.

Arithmetic decomposition

Break arithmetic into positional, bitwise, or repeated-remainder operations.

Scheduling formula

Derive a schedule bound from peak frequency and available gaps.

GCD normalization

Reduce coordinate differences to a primitive integer direction.