Learn

Learning preferences

Make learning more comfortable. Changes apply immediately.

Enlarges page content, including diagrams and their labels. You can also use your browser’s zoom.

Choose the colours that are easiest for you to distinguish. Applies to lesson diagrams and lab plots. Labels, shapes, hatching and line patterns also distinguish meanings. Source photographs and raw image brightness stay unchanged; mask-only views are available for image overlays.

ExampleComparisonSample link

Saved in this browser on this device. Preferences are separate from progress backups.

Mathematics · unit version 1

Triangle-free coloring certificates

Construct a graph from explicit adjacency rules, verify an upper coloring bound, and prove a matching lower bound by recoloring a hypothetical solution.

Open any lesson. Completion records participation; automatic practice checks and human judgment of written arguments are separate. This unit retains its own versioned requirements.

Readiness and preparation

Check your starting point

Try these short questions on paper, then compare your reasoning. They are optional self-checks, not a placement score or a navigation requirement. Use a targeted review when useful and return with your browser’s Back control.

Does finding a proper coloring prove that it uses as few colors as possible?

Feasibility and optimality need different evidence.

Compare reasoning and find a refresher

No. A proper coloring supplies an upper bound. A matching lower bound must rule out every coloring with fewer colors.

Review coloring bounds and certificates

Can a triangle-free graph still need three colors?

A missing clique does not remove every coloring obstruction.

Compare reasoning and find a refresher

Yes. A five-cycle has no triangle, but two colors would have to alternate around its odd length and conflict at the closing edge.

Review odd-cycle coloring

Loading saved mathematics work…

Change the construction and audit the obstruction

The mixed assessment has separate response history and review criteria; it does not change lesson participation records.

Lesson sequence

Each linked lesson opens on its own page. Expand its details here when you want to check the objectives before choosing.

  1. Build a shadow graph and check its coloring

    Lesson details and objectives

    Construct the Mycielski shadow graph, count its edges and degrees, and prove triangle-freeness by checking every possible triangle type.

    • Translate each base edge into the exact original, shadow and apex adjacency rules.
    • Verify a concrete proper coloring and derive general vertex, edge and degree counts.
    • Prove triangle-freeness by exhaustive structural cases and diagnose altered rules that introduce triangles.

    6 practice tasks.

  2. Force an extra color without creating a triangle

    Lesson details and objectives

    Prove the exact chromatic increase of the Mycielski construction and distinguish a coloring certificate from a lower-bound proof.

    • Construct a coloring with one additional color and prove no smaller palette can work.
    • Track the recoloring proof edge by edge, including the apex-color replacement cases.
    • Deduce unbounded chromatic numbers for triangle-free graphs by justified iteration and handle empty and edgeless boundaries.

    6 practice tasks.