Pseudoachromatic Number Calculator

improper complete coloring

CalculatorsFreeNo Signup
4.8(225 reviews)
All Tools

Loading tool...

About Pseudoachromatic Number Calculator

A pseudoachromatic number calculator computing ψ_s(G): maximum k for a (not necessarily proper) k-coloring where every pair of color classes has ≥1 edge. ψ ≤ ψ_s. Relaxes properness of achromatic number. ψ_s ≤ ⌊(1+√(1+8m))/2⌋. Client-side.

Pseudoachromatic Number Calculator Features

  • ψ_s value
  • vs ψ
  • Improper ok
  • Max pairs
  • Common graphs
Pseudoachromatic number ψ_s(G): maximum k for a coloring (properness not required) where every pair of color classes has ≥1 edge. Relaxation of achromatic number. ψ(G) ≤ ψ_s(G) ≤ ⌊(1+√(1+8m))/2⌋. Measures maximum distinguishable color classes.

How to Use

Select graph:

  • ψ_s: Pseudoachromatic
  • vs ψ: Compare achromatic
  • Improper: Allowed

ψ vs ψ_s

ψ requires proper coloring; ψ_s doesn't. So ψ ≤ ψ_s. The gap measures how much properness costs. For many graphs ψ = ψ_s (properness is 'free'). For others: ψ_s > ψ (properness is expensive).

Upper Bound

ψ_s ≤ ⌊(1+√(1+8m))/2⌋ since we need C(ψ_s, 2) ≤ m (each pair needs at least one edge). This is the same upper bound as achromatic, but pseudoachromatic can sometimes achieve it while achromatic cannot.

Step-by-Step Instructions

  1. 1Select graph.
  2. 2Compute ψ_s.
  3. 3Compare with ψ.
  4. 4Check pair coverage.
  5. 5Apply upper bound.

Pseudoachromatic Number Calculator — Frequently Asked Questions

When does ψ_s differ from ψ?+

When properness is 'expensive'. Example: star K_{1,n}: ψ = 2 (proper limits severely) but ψ_s = ⌊(1+√(1+8n))/2⌋ (without properness, many more classes possible). The gap can be large!

What's the upper bound?+

ψ_s ≤ ⌊(1+√(1+8m))/2⌋ where m = |E|. Need C(ψ_s, 2) ≤ m: each pair of colors needs ≥1 edge, and we have m edges total. Simple but tight for many graphs.

Is pseudoachromatic easier to compute?+

Still NP-hard! But different from achromatic: no properness constraint simplifies some aspects while the maximality requirement adds difficulty. Both are computationally hard in general.

Share this tool: