Achromatic Number Calculator

max complete coloring

CalculatorsFreeNo Signup
4.2(191 reviews)
All Tools

Loading tool...

About Achromatic Number Calculator

An achromatic number calculator computing ψ(G): maximum k such that G has a proper k-coloring where every pair of color classes is connected by an edge. χ(G) ≤ ψ(G) ≤ ⌊(1+√(1+2|E|))/2⌋. NP-hard. Dual to χ. Client-side.

Achromatic Number Calculator Features

  • ψ(G) value
  • Complete coloring
  • χ ≤ ψ bound
  • Edge bound
  • Common graphs
Achromatic number ψ(G): maximum colors in a complete proper coloring (every two color classes joined by at least one edge). χ(G) ≤ ψ(G). Upper bound: ψ ≤ ⌊(1+√(1+2|E|))/2⌋. For K_n: ψ=n. For trees: ψ = ⌊(1+√(1+4(n-1)))/2⌋.

How to Use

Select graph:

  • ψ: Achromatic #
  • Complete: All pairs used
  • Bounds: χ ≤ ψ ≤ √(2|E|)

Duality with χ

χ = minimum proper coloring. ψ = maximum complete coloring. Same type of coloring (proper), opposite optimization direction. The gap ψ-χ measures 'coloring flexibility'. For perfect graphs: ψ can still exceed χ.

Computing ψ

NP-hard in general (Yannakakis-Gavril, 1980). For trees: polynomial O(n²). For complete graphs: trivial. For bipartite graphs: NP-hard even for trees restricted to specific structural conditions.

Step-by-Step Instructions

  1. 1Select graph.
  2. 2Compute ψ(G).
  3. 3Find complete coloring.
  4. 4Check all pairs.
  5. 5Compare to χ.

Achromatic Number Calculator — Frequently Asked Questions

What's a complete coloring?+

A proper coloring where EVERY pair of color classes has at least one edge between them. This means you can't merge any two color classes without creating a monochromatic edge. Maximum such coloring gives ψ.

Why is ψ ≤ √(2|E|)?+

A complete k-coloring needs at least C(k,2)=k(k-1)/2 edges (one per color pair). So k(k-1)/2 ≤ |E|, giving k ≤ (1+√(1+8|E|))/2. This is a simple edge-counting bound.

What's the pseudoachromatic number?+

ψ_s(G): maximum colors in a (not necessarily proper) complete coloring. ψ(G) ≤ ψ_s(G). Proper coloring constraint removed. For K_n: ψ_s=n still. But can be much larger for sparse graphs.

Share this tool: