Skip to main content

Computer Science

The Computer Science family catalogues standard software-engineering formulas — complexity classes, Shannon entropy, Amdahl's law, Kolmogorov complexity — as named operators. They are documented verbatim here.

  • Group — computer-science
  • Operators — 7 (CS43 · CS44 · CS45 · CS46 · CS47 · CS84 · CS87)
  • Anchor operators — KO42 · CS43 · CS47 · CS87
  • Status — real, standard CS formulas; catalogue only — no CS solver is wired into the compute path yet (see coverage note)

What it unifies​

The Computer Science lane exposes classical software-engineering formulas — complexity classes, Shannon entropy, Amdahl's law, Kolmogorov complexity — as named operators alongside the physics families. They are standard, well-established formulas, catalogued verbatim so they live in the same registry as the physics operators.

Be precise about compute, though: these operators are not evaluated by /api/zeq/compute today. The dispatcher has no CS solver, so a call naming a CS operator returns no-match (or, if you happen to pass an f input, the generic E = hf fallback — not the CS formula). Use the formulas below as a reference and compute them yourself.

Operator catalog​

IDFormulaRole
CS43T(n) = O(n log n)Time complexity (sort / FFT class)
CS44S(n) = O(n)Space complexity (linear)
CS45Q(n) = O(log n)Quantum query complexity
CS46P(n) = 1/[(1 − f) + f/n]Amdahl's law
CS47E(n) = −∑ p(x) log p(x)Shannon entropy
CS84f(n) = O(g(n)) ⇔ ∃c,n₀ ∀n>n₀ : f(n) ≤ c·g(n)Big-O definition
CS87Ω(x) = min{|p| : U(p) = x}Kolmogorov complexity

The formulas — verbatim​

CS47  Shannon entropy        H = −∑ p(x) log₂ p(x)
CS87  Kolmogorov complexity  Ω(x) = min{ |p| : U(p) = x }
CS46  Amdahl's law           S(n) = 1 / [ (1−f) + f/n ]
CS43  Sorting / FFT          T(n) = O(n log n)

Worked by hand for the symbol_hist = [0.41, 0.22, 0.18, 0.12, 0.05, 0.02] distribution: H = 2.149 bits/symbol. Amdahl at f = 0.83, n = 16: S = 1/((1−0.83) + 0.83/16) = 4.51×.

Solver coverage — Computational operators are catalogue-only

The physics groups (Newtonian, General Relativity, Quantum Mechanics, Aerospace, …) have live closed-form solvers — see their pages for a verified POST /api/zeq/compute that returns a real number. The Computational group has no solver in the dispatcher: a call naming CS43/CS47/CS87/… returns no-match (unit no-match, no value). The formulas above are exact and standard — compute them yourself; here they serve as the named-operator reference until a CS solver is wired in.

Papers​