NexTutor

Teoria grafów

Eksperymenty do samodzielnego uruchomienia.

Wielkie odkrycie 1736 — Euler
Mosty królewieckie — narodziny teorii grafów

Obejść wszystkie mosty raz można, gdy liczba wierzchołków o nieparzystym stopniu wynosi 0 lub 2.

Wielkie odkrycie 1976 — Appel, Haken
Twierdzenie o czterech barwach

Dowolną mapę na płaszczyźnie można pokolorować, używając najwyżej czterech barw.

Problem milenijny 2000
Problem komiwojażera — P kontra NP

Gdy dodajemy miasta, liczba tras do sprawdzenia rośnie lawinowo (silniowo).

Wielkie odkrycie 1857 — Hamilton
Cykl Hamiltona a droga Eulera

Cykl Hamiltona wymaga odwiedzenia raz każdego wierzchołka (droga Eulera — każdej krawędzi).

Wielkie odkrycie 1945 — von Neumann
Algorytmy sortowania — złożoność

Efektywny algorytm sortuje n elementów w czasie rzędu n·log n, nie n².

Problem milenijny 2000
Problem plecakowy — optymalizacja

Zawsze branie najcenniejszego przedmiotu (zachłannie) nie zawsze daje optimum.

Wielkie odkrycie 1991 — Feld
Paradoks przyjaźni

Przeciętnie Twoi znajomi mają więcej znajomych niż Ty.

Wielkie odkrycie 1936 — Turing
Problem stopu (Turing) — granice komputerów

Nie da się napisać programu sprawdzającego dla każdego programu, czy się zatrzyma.

Wielkie odkrycie 1930 — Ramsey
Twierdzenie Ramseya — porządek w chaosie

W dowolnej grupie 6 osób zawsze istnieje trójka wzajemnie znajomych lub wzajemnie obcych.

Wielkie odkrycie 2010
Kostka Rubika — matematyka grup

Każde z 43 trylionów ułożeń kostki da się rozwiązać w co najwyżej 20 ruchach.