Discrete mathematics

148 cards. Each one is a 40-second story with a five-minute read behind it. Page 2 of 3.

  1. Can every network be mapped as a collection of overlapping sets?In graph theory, an intersection graph translates complex relationships into a simple visual language. By representing each node as a set, you can map connections based on whether…
  2. In bipartite networks, the smallest set of covering nodes always matches the largest pairingGraph theory often presents two distinct challenges: finding the most efficient way to pair items and identifying the fewest points needed to touch every connection. In bipartite …
  3. How to connect a network with the least possible total weightKruskal's algorithm is a greedy strategy for finding the minimum spanning tree of a graph. By iteratively selecting the lightest available edges while avoiding cycles, it efficien…
  4. Lah numbers reveal the hidden bridge between rising and falling factorial polynomialsDiscovered in 1954, Lah numbers are a specialized set of coefficients that allow mathematicians to translate between different types of factorial expressions. Beyond their algebra…
  5. How a simple matrix captures the hidden structure of complex networksThe Laplacian matrix is a mathematical powerhouse that transforms a graph into a structured grid of numbers. By encoding the connections and degrees of nodes, it reveals deep geom…
  6. Why the humble Latin square is a mathematical puzzle that defies simple countingA Latin square is an n-by-n grid where every symbol appears exactly once in each row and column. While the concept is simple, counting these squares is notoriously difficult. Even…
  7. A line graph transforms the edges of a network into its new verticesIn graph theory, a line graph is a clever construction that swaps the roles of a network's components. By turning every edge of an original graph into a vertex, it reveals hidden …
  8. Why the most efficient path through a network is always defined by its bottleneckIn any system of pipes, roads, or data pathways, the maximum possible throughput is never determined by the total capacity of the entire network. Instead, it is strictly limited b…
  9. How to pair up the maximum number of items without any conflictsIn graph theory, a matching is a collection of edges where no two share a vertex. Finding the maximum-cardinality matching means identifying the largest possible set of these non-…
  10. How a Cold War railway model became a cornerstone of modern network optimizationIn 1954, researchers sought to model Soviet rail traffic by calculating the maximum possible flow between two points. This simple logistics problem evolved into the maximum flow p…
  11. How to find the cheapest route through a network of limited capacityThe minimum-cost flow problem is the backbone of logistics, determining the most economical way to move goods from factories to warehouses. By balancing capacity constraints with …
  12. Why standard graphs fail to capture the complexity of real-world connectionsIn standard graph theory, a connection between two points is singular. But what if you need to represent multiple flight paths between cities or distinct relationships between ind…
  13. The 200-year-old mathematical puzzle that finally collapsed under the weight of a computerLeonhard Euler once conjectured that certain arrangements of symbols, known as Graeco-Latin squares, were impossible for specific grid sizes. This belief stood for over two centur…
  14. Order theory reveals the hidden structure behind how we rank and compare everythingOrder theory provides a formal mathematical framework for understanding relationships like greater than, precedes, or contains. While we intuitively grasp simple sequences, this f…
  15. Beyond simple ordering: how partial permutations map subsets of a finite setIn mathematics, a permutation rearranges every element of a set. But what happens when you only map a portion of those items? A partial permutation acts as a bridge between two eq…
  16. Why this famous mathematical triangle was known centuries before Pascal ever livedPascal's triangle is a cornerstone of algebra and probability, yet its namesake was a latecomer. From ancient India to medieval Persia and China, mathematicians discovered this el…
  17. In graph theory, not every connection is a path: understanding the fundamental sequenceGraph theory relies on the concept of a path, yet the term is often confused with walks and trails. While a walk is any sequence of edges, a path requires distinct vertices. Maste…
  18. The Petersen graph is the ultimate troublemaker of the mathematical worldWith just ten vertices and fifteen edges, this small structure consistently defies expectations. It serves as a vital counterexample to countless optimistic theories in graph theo…
  19. If you have more items than containers, you are guaranteed a collisionThe pigeonhole principle is a deceptively simple mathematical rule: if you distribute more objects than you have available slots, at least one slot must hold multiple items. While…
  20. A planar graph is any network you can draw without any edges crossing paths.Imagine mapping a complex web of connections onto a flat sheet of paper. If you can arrange every line so that none intersect except at their designated endpoints, you have create…
  21. Why a preorder is the mathematical bridge between equivalence and partial orderIn order theory, a preorder is a binary relation defined by two simple rules: reflexivity and transitivity. While it resembles a partial order, it lacks the strict requirement of …
  22. Total disorder is impossible: why large enough systems must contain hidden patternsRamsey theory proves that complete chaos cannot exist. If you look at a large enough structure, you are mathematically guaranteed to find specific, ordered patterns within it. Whe…
  23. In a regular graph, every single vertex shares the exact same number of neighbors.Imagine a network where every node is perfectly symmetrical in its connections. This is the regular graph, a fundamental structure in discrete mathematics. From simple cycles to c…
  24. How simple multiplication unlocks the vast hidden possibilities of every choice you makeEver wonder how many unique combinations exist in a simple pizza order? The rule of product is a fundamental counting principle that reveals the total possibilities of multiple in…
  25. Can you cross seven city bridges without repeating a path? Mathematics says no.In 18th-century Königsberg, residents puzzled over whether they could walk across all seven bridges spanning the local river exactly once. Leonhard Euler transformed this recreati…
  26. How mathematics finds the most efficient route through any complex networkWhether you are navigating city streets or routing data across the internet, the shortest path problem is the fundamental challenge of minimizing total cost between two points. By…
  27. Can you hear the shape of a graph? The mathematics of spectral analysisSpectral graph theory bridges the gap between geometry and algebra by studying graphs through their matrices. By analyzing eigenvalues and eigenvectors, mathematicians can uncover…
  28. How to pair people perfectly so that no one wants to trade partnersThe stable matching problem asks how to pair two groups so that no two individuals prefer each other over their current partners. In 1962, David Gale and Lloyd Shapley proved that…
  29. Why finding the perfect roommate is mathematically harder than finding a perfect spouseThe stable roommates problem asks if we can pair everyone in a group so no two people prefer each other over their assigned partners. Unlike the famous stable marriage problem, a …
  30. Stirling numbers are the hidden bridge between different ways of writing polynomialsIn combinatorics, Stirling numbers act as essential translators. They reveal how to convert between standard powers of x and falling or rising factorials. By acting as the coeffic…
  31. How Stirling numbers bridge the gap between simple permutations and complex polynomial expansionsStirling numbers of the first kind are fundamental to combinatorics, acting as the bridge between the structure of permutations and the coefficients of falling factorials. While t…
  32. How many ways can you divide a group? Meet the Stirling numbers of the second kind.Ever wondered how many distinct ways you can sort items into unlabeled groups? Stirling numbers of the second kind provide the answer. These mathematical tools count partitions of…
  33. The deceptively simple puzzle that keeps the world's most powerful computers working overtimeThe travelling salesman problem asks for the shortest possible route visiting every city exactly once before returning home. While it sounds like a basic navigation task, it is an…
  34. Why the humble tree is the most essential structure in modern graph theoryIn mathematics, a tree is not just a branching plant, but a fundamental network where every point is linked by a single, unique route. These structures are the backbone of compute…
  35. The Twelvefold Way: A Unified Framework for Counting Complex Combinatorial ArrangementsCounting objects is rarely as simple as it seems. Whether you are distributing balls into boxes or sampling items from a population, the Twelvefold Way provides a systematic class…
  36. Ultrafilters: The Mathematical Tool That Decides What Counts as Almost EverythingIn mathematics, an ultrafilter acts as a binary filter, sorting elements into categories of almost nothing or almost everything. These structures are essential for set theory and …
  37. Why finding the smallest set of nodes to cover every edge is deceptively hardIn graph theory, a vertex cover is a set of nodes that touches every edge in a network. While the concept is simple, finding the smallest possible cover is a classic NP-hard probl…
  38. Why some sequences must end, and how that powers mathematical discoveryA well-founded relation is a mathematical structure where every non-empty subset contains a minimal element. By forbidding infinite descending chains, these relations provide the …
  39. Can you find order in total chaos? Ramsey's theorem says yes.In any sufficiently large system, patterns are mathematically inevitable. Whether you are looking at connections between friends or colors on a graph, Ramsey's theorem proves that…
  40. The mathematical logic behind finding the perfect pairIn graph theory, matching is more than just pairing items; it is a fundamental problem of optimization. Whether you are assigning tasks to workers or connecting networks, understa…
  41. Forget global paths: how local movements solve the maximum flow problemMost algorithms find the maximum flow by tracing long paths from start to finish. But a more efficient approach ignores the big picture, focusing instead on local adjustments. By …
  42. How a simple map-coloring puzzle changed the course of mathematicsIn 1852, a man tried to color a map of English counties and stumbled upon a mystery. What began as a simple way to distinguish neighboring regions evolved into a century-long math…
  43. How a simple diagonal matrix reveals the connectivity of complex networksIn algebraic graph theory, a single square matrix holds the key to understanding how nodes connect. By recording the number of edges attached to every vertex, this mathematical to…
  44. How a topological theorem solves the puzzle of stolen necklacesCan you restore a stolen necklace by making only a few cuts? This video explores how the Borsuk-Ulam theorem, a concept from continuous topology, provides a surprising solution to…
  45. Riemann set aside proving his famous hypothesis after a few quick attemptsIn his 1859 paper on counting primes, Bernhard Riemann remarked that a certain property of his zeta function was very probably true, admitted a rigorous proof would be welcome, an…
  46. A tiny line segment holds exactly as many points as an endless lineTake a segment one centimetre long and a line stretching forever in both directions. Intuition says the line has more points. Set theory says they have exactly the same number. Ge…
  47. Russell's paradox wrecked Frege's attempt to build arithmetic from pure logicGottlob Frege wanted to ground all of mathematics in logic, assuming any well-defined property picks out a set. Bertrand Russell then pictured a set gathering every set that fails…
  48. In infinite sets, a part can be exactly as big as the wholeEvery natural number is also a rational number, but plenty of rationals, such as fractions, are not natural numbers. So the naturals form a strict part of the rationals. Yet the t…
  49. Theoretical computer science began by proving what can never be provedSome of the deepest results about computing concern what cannot be done. In 1931 Kurt Gödel showed with his incompleteness theorem that some statements can be neither proved nor d…
  50. No computer program can decide, in general, whether another program will haltIt sounds like a simple question: given a program and its input, will it eventually finish or run forever? Yet no Turing machine can answer it for every case. This halting problem…
  51. Combine no sets at all and set theory says you get the empty setThe union of sets gathers every element that appears in any of them. Merge {1, 2, 3} with {2, 3, 4} and you get {1, 2, 3, 4}, since a set never lists anything twice. Push the idea…
  52. John Venn never called his overlapping circles Venn diagramsJohn Venn introduced his diagrams in an 1880 paper but referred to them as Eulerian circles, crediting an older tradition. He had met Euler's diagrams in 1862 and only later hit o…
  53. Checking a Sudoku is easy, but nobody knows whether solving one must be hardHand someone a filled-in Sudoku and they can confirm it in moments by scanning rows, columns and boxes. Whether a fast method exists to solve every enlarged version of the puzzle …
  54. A ladder metaphor explains how finite reasoning proves infinitely many casesIf you can step onto the bottom rung of a ladder, and from any rung you can always reach the next, you can climb as high as you like. That is mathematical induction: two short arg…
  55. Paradoxes and strange functions pushed nineteenth-century mathematicians to put logic under the microscopeKarl Weierstrass built continuous functions that have no slope anywhere, and flaws turned up in Euclid's supposedly airtight geometry. Unsettled, nineteenth-century mathematicians…
  56. Paul Erdős imagined a heavenly book holding the most beautiful proof of every theoremPaul Erdős liked to say that an especially elegant proof came straight from The Book, an imaginary volume containing the perfect argument for each theorem. In 2003 a real volume, …
  57. Why letting any property define a set leads straight into contradictionTry forming the set of all sets that are not members of themselves, and you hit Russell's paradox: it can neither contain itself nor fail to. That single puzzle showed that the in…
  58. The purest branch of mathematics ended up guarding online secretsCarl Friedrich Gauss crowned number theory the queen of mathematics, and for generations it was prized precisely because it seemed useless outside the subject. Then in the 1970s p…
  59. Babylonian astronomers tracked Jupiter with a rule computers still use for areasLong before calculus, Babylonian sky-watchers used the trapezoidal rule to work out how far Jupiter moved along the ecliptic. The same idea, adding up weighted samples of a functi…
  60. A 1677 bell-ringing manual worked out factorials before most mathematicians named themFabian Stedman wanted to know how many orders a set of church bells could ring in. Two bells give two sequences, three give six, and by five he had tabulated 120 before giving up …

All of Science Open the feed Latest A–Z