Czy da się być elfem w 1/13

Wojciech Karpiel ab3c502036 poprawki 2 年 前
README.md ab3c502036 poprawki 2 年 前
elf13.v ab3c502036 poprawki 2 年 前

README.md

Czy można być elfem w jednej trzynastej?

Znasz to uczucie, gdy siedzisz w karczmie i popijasz sobie korzenne piwo po całym dniu polowania na smoki, a tu nagle jakiś pajac stolik obok zaczyna się głośno przechwalać, że jest elfem w 1/16? Zaraz dołączy jakiś drugi cymbał, który będzie twierdził, że jest elfem w 1/8; i jakiś trzeci, że w 3/16. Kolejny dureń przebije wszystkich wykrzykując, że jest elfem w 1/13.

CO BULWA? Pomijając z kim sie puszczała jego matka, to nie jest możliwe. Czas odłożyć miecz i odwołać się do mądrości starożytnych magów. Do naszych czasów zachowały się nieliczne, podniszczone zwoje opisujące zapomnianą sztukę logiki.

Model

Istnieją:

  • czyste rasowo elfy,
  • czyści rasowo ludzie,
  • mieszańce, których stopień pochodzenia jest średnią arytmetyczną pochodzenia rodziców (na przykład pół-elf i 3/4-elfka mogą spłodzić 5/8-elfa).

Twierdzenie

Stopień pochodzenia jest w postaci a/2^b, gdzie a,b ∈ ℕ.

Dowód: przez indukcję na strukturze modelu.

Wymagania

DOZRO: do spisania po sprzątaniu