A Breakthrough in Graph Theory - Numberphile

Поділитися
Вставка
  • Опубліковано 14 чер 2024
  • A counterexample to Hedetniemi's conjecture - featuring Erica Klarreich.
    Get 3 months of Audible for just $6.95 a month. Visit www.audible.com/numberphile or text "numberphile" to 500 500
    More links & stuff in full description below ↓↓↓
    Read Erica Klarreich's Quanta article on this subject: www.quantamagazine.org/mathem...
    And visit her website: www.ericaklarreich.com/
    Yaroslav Shitov's breakthrough paper: arxiv.org/abs/1905.02167
    Thanks to Stephen Hedetniemi for providing us with photos and pages from his original dissertation.
    Some more graph theory on Numberphile...
    Four Color Maps: • The Four Color Map The...
    An Unsolved Problem: • A Colorful Unsolved Pr...
    Planar Graphs: • Planar Graphs - Number...
    Perfect Graphs: • Perfect Graphs - Numbe...
    Friends and Strangers: • Friends and Strangers ...
    River Crossings: • River Crossings (and A...
    Numberphile is supported by the Mathematical Sciences Research Institute (MSRI): bit.ly/MSRINumberphile
    We are also supported by Science Sandbox, a Simons Foundation initiative dedicated to engaging everyone with the process of science. www.simonsfoundation.org/outr...
    And support from Math For America - www.mathforamerica.org/
    NUMBERPHILE
    Website: www.numberphile.com/
    Numberphile on Facebook: / numberphile
    Numberphile tweets: / numberphile
    Subscribe: bit.ly/Numberphile_Sub
    Videos by Brady Haran
    Patreon: / numberphile
    Numberphile T-Shirts: teespring.com/stores/numberphile
    Brady's videos subreddit: / bradyharan
    Brady's latest videos across all channels: www.bradyharanblog.com/
    Sign up for (occasional) emails: eepurl.com/YdjL9
  • Наука та технологія

КОМЕНТАРІ • 1,4 тис.

  • @user-uy8yt7ku4w
    @user-uy8yt7ku4w 4 роки тому +2803

    Wow! Yaroslav Shitov is my teacher in university. Wasn't expecting to see him there

    • @anandsuralkar2947
      @anandsuralkar2947 4 роки тому +53

      Whoa

    • @bevstarrunner9472
      @bevstarrunner9472 4 роки тому +564

      So is he the math professor who collects stamps, does yoga or meditates?

    • @aheldar
      @aheldar 4 роки тому +25

      Where do you study at?

    • @onemanenclave
      @onemanenclave 4 роки тому +223

      That is an uncomfortable family name.

    • @user-uy8yt7ku4w
      @user-uy8yt7ku4w 4 роки тому +55

      @@aheldar я учусь в М(ФТИ)

  • @gcewing
    @gcewing 4 роки тому +832

    I think I've found a universal solution to all such party problems. You invite one graph theory specialist to the party. Since all the guests are part pf a graph colouring problem, they all have something in common with him.

    • @danielsmerdel8214
      @danielsmerdel8214 4 роки тому +9

      Top 3 comment I've read in this section

    • @gregergreg
      @gregergreg 4 роки тому +114

      Ah but then there's the philosophical question, if you invite a graph theory specialist to the party, will anyone else come?

    • @purplecow3000
      @purplecow3000 4 роки тому +50

      @@gregergreg just dont tell the other guests that you are inviting a graph theory specialist

    • @shobhitsinha1754
      @shobhitsinha1754 4 роки тому +11

      Successful Event Managing 101

    • @Desimere
      @Desimere 4 роки тому +7

      But then it will be a lecture (one to many). You want every pair of guests to have something in common so whoever one talks to, they could get along.

  • @davethepants
    @davethepants 4 роки тому +922

    People would be surprised how many things from everyday life directly reduce to a coloring problem.

    • @hendrikd2113
      @hendrikd2113 4 роки тому +144

      Any NP complete Problem, actually

    • @davethepants
      @davethepants 4 роки тому +85

      ... which again, are all interchangeable / reducible into each other. So you *could* describe basically every decision process of your life as a knapsack problem. Or 3SAT, if you're more hardcore

    • @pleasedontwatchthese9593
      @pleasedontwatchthese9593 4 роки тому +29

      Or I can relate may of my problems to Sudoku :p

    • @davethepants
      @davethepants 4 роки тому +48

      Sudoku is NP-complete as well, so yes, you can probably restate everything as a Sudoku table. It might seem a bit cumbersome to first map your original problem into an initial number distribution in the table (there might be many sub-problems to solve here first), but hey, if that's your favorite way to figure stuff out...

    • @WaterCrane
      @WaterCrane 4 роки тому +39

      I'm not sure if this counts as every-day, but I've come across it in compilers... the program that turns source code into something a computer can run. It's used for allocating CPU registers based on how certain instructions interact with each other. It tends to get rather complex though because there are situations where certain vertices are forced to be a certain colour (i.e. you have to use a particular register for some instructions, like x86's DIV instruction returns the quotient in RAX and the remainder in RDX).

  • @guinea_horn
    @guinea_horn 4 роки тому +1319

    So the smallest counter-example is between 5 and 4^10000 vertices

    • @paradoxica424
      @paradoxica424 4 роки тому +142

      so now we just need a sufficiently large computer to find the smallest counterexample

    • @TemporalOnline
      @TemporalOnline 4 роки тому +262

      @@paradoxica424 And everybody will moan forever because we brute forced it instead of insighting it.

    • @Einyen
      @Einyen 4 роки тому +306

      Very accurate estimate compared to "between 13 and Graham's Number"

    • @Martykun36
      @Martykun36 4 роки тому +45

      @@TemporalOnline 4^10000 is quite large, to pure-brute force it you would need much more atoms than the universe has.

    • @movax20h
      @movax20h 4 роки тому +52

      @@TemporalOnline It is not possibele to brute force. It is too big of a range. Not only number of vertices is enormous, but number of possible graphs for each specific number of vertices is huge and grows further as the number of vertices grow. It might not be feasible to check from 5 to 1000 vertices even in this century.

  • @saulysw
    @saulysw 4 роки тому +1529

    She is fantastic at explaining things

    • @manuroitman
      @manuroitman 4 роки тому +6

      +100

    • @YouTubist666
      @YouTubist666 4 роки тому +25

      It was a long explanation. But I was able to follow the explanation. Nice work. 👍

    • @flowerpt
      @flowerpt 4 роки тому +10

      yep, great teacher.

    • @DonnyPetit
      @DonnyPetit 4 роки тому +6

      +4^10000

    • @abcd-sf5ur
      @abcd-sf5ur 3 роки тому +1

      Yeah pal

  • @zerid0
    @zerid0 4 роки тому +171

    This problem is so much simpler when your friend graph is an empty graph.
    I can color it with 0 colors and binge watch Netflix every weekend.

  • @kanewilliams1653
    @kanewilliams1653 4 роки тому +582

    She is very clear, more of her please!

    • @StefanReich
      @StefanReich 3 роки тому

      Was a bit for idiots this time though... the simplest things explained reaally slowly

    • @blablabla1494
      @blablabla1494 3 роки тому +8

      @@StefanReich no u

    • @turolretar
      @turolretar 3 роки тому +4

      @@StefanReich perfect for a big idiot like me

  • @Bengt.Lueers
    @Bengt.Lueers 4 роки тому +137

    Gotta love how this comes out right before Christmas, when people gather with their families and commonly wonder why it is so hard to get along with each other.

    • @itsmidtrib1569
      @itsmidtrib1569 4 роки тому +1

      Bengt Lüers ohmy gosh 😂

    • @Danscottmusic
      @Danscottmusic 4 роки тому +16

      My family would be a complete graph here

    • @shashishekhar----
      @shashishekhar---- 4 роки тому

      @@Danscottmusic lol

    • @Gyzome
      @Gyzome 4 роки тому +4

      Somehow the answer of "they're the wrong colour" is depressingly true in some families.

  • @Demki
    @Demki 4 роки тому +78

    14:28 Graphs are always G or H because G stands for Graph and H stands for Hparg >:-)

  • @douro20
    @douro20 4 роки тому +150

    Hedetniemi is 80 years old and still teaching.

  • @pepe6666
    @pepe6666 4 роки тому +49

    man how stoked would you be getting an answer to your conjecture after 50 years

  • @amradio1968
    @amradio1968 4 роки тому +138

    I think it was Pandora radio? when it was still just a visual website of nodes(album covers) and edges (labeled with adjectives and genres) when I first thought graphs were actually useful. In this case songs were nodes with typological edge types. Following the edges revealed the decision making for the next song. That one simple case changed my understanding of what could be done with graphs in computing for connecting data by proxy to reveal hidden graph structures quickly. The fewest number of colors in this case would also ensure artists and songs, even by a cover band, would not be repeated and get stuck accidentally in a self referential loop in the graph. I later designed an art museum tour creation app based on graphs where people could name the edge type they wanted to traverse, such as color, material, genre, etc. Worked great. 👍 I went to art school, but math truly makes the world usable.

    • @salerio61
      @salerio61 4 роки тому +3

      That was really interesting, the application of maths into other totally unrelated fields.

    • @salerio61
      @salerio61 4 роки тому

      @X E I agree with you. However if you think of a network as being an n-dimensional object, then nodes would be the corners or vertices, and edges the the lines connecting the vertices. Like a (standard) die has 6 faces, 8 vertices, and 12 edges connecting the vertices.

  • @JimsMaher
    @JimsMaher 4 роки тому +382

    Brilliant introduction to graph theory

    • @liamlouw4643
      @liamlouw4643 4 роки тому +8

      Intro?!

    • @ankitaaarya
      @ankitaaarya 4 роки тому +14

      @@liamlouw4643 exactly, that was his point. He meant that there should be an intro

    • @anandsuralkar2947
      @anandsuralkar2947 4 роки тому

      Yes

    • @MrNacknime
      @MrNacknime 4 роки тому +34

      @@ankitaaarya The first 10 minutes of this video are intro...

    • @JimsMaher
      @JimsMaher 4 роки тому +8

      @@MrNacknime exactly

  • @mueezadam8438
    @mueezadam8438 4 роки тому +13

    I love these 20 minute videos because it allows the guest to really “sell” the topic. I never knew graphs could be used this way, absolutely fascinating demonstration by Dr. Klarreich!

  • @MK-13337
    @MK-13337 4 роки тому +139

    Usually counterexamples and the process of taking numbers "as big (or small) as you need" is really used in analysis.
    I remember discussing a possible proof and we were talking about approximating some real valued quantities with rational numbers. The thought process went something like "...we can approximate this number with error epsilon, lets just take epsilon divided by a million to be safe..."

    • @NoNameAtAll2
      @NoNameAtAll2 4 роки тому +5

      Why not epsilon squared?

    • @MK-13337
      @MK-13337 4 роки тому +12

      @@NoNameAtAll2 squares are hard man :D
      I remember rounding 4pi/17 to 10pi when proving a function was integrable. If you just have to show an inequality to be true usually you want easy numbers to work with ;)

    • @VAFFANFEDE18
      @VAFFANFEDE18 4 роки тому +2

      I also remember the other day I was pretty sure that given a number n and some calculations stuff failed for n+1 but who casres? Slap there 10n and you are done

    • @magicmulder
      @magicmulder 4 роки тому +4

      Graham: „I could maybe prove that C < 10 billion but let‘s be careful and prove C < Graham‘s number instead.“

  • @robindawes3544
    @robindawes3544 4 роки тому +15

    I remember Steve Hedetniemi from many conferences in the 1980's - he always had the most interesting problems to work on. It's wonderful that he is still teaching.

  • @Wanon0
    @Wanon0 4 роки тому +13

    Love the subtle jab at Matt Parker: 'Or you could go for my favourite audiobook so far, that's - **scrolls away from Humble Pi audiobook** - Endurance by Alfred Lansing...'

  • @auntiesueinashoe5486
    @auntiesueinashoe5486 4 роки тому +74

    I really liked how Erica explained this, I felt like I really understood it despite not doing graph theory before!

  • @GusTheWolfgang
    @GusTheWolfgang 4 роки тому +94

    I loved how clear and conscise she was expressing herself!

  • @JamesFluker
    @JamesFluker 4 роки тому +20

    I love that the guy who came up with the conjecture was simply delighted to have an answer to the problem. It shows his love of math and learning isn't about ego, but about finding answers.

    • @SiMeGamer
      @SiMeGamer 4 роки тому +1

      It is about ego. HE wants to learn something. HE wants to do math and loves it. For himself. That's as egoistic as it can get and there is nothing wrong with that. Perhaps you meant second-handed appraisal (primarily being valued by others) rather than ego :]

    • @SiMeGamer
      @SiMeGamer 4 роки тому

      @Steven Moore the love itself no, but the pursuit of it, is.

  • @pyglik2296
    @pyglik2296 4 роки тому +114

    I like way mathematicians think. They ask a question and when they eventually get answer they ask another question.
    Like:
    I think it may be true.
    Is it true?
    Sometimes it is true...
    But not always.
    When EXACTLY is it true?
    What's the smallest counter example?

    • @HaloInverse
      @HaloInverse 4 роки тому +30

      All science is like that - or at least, it _should_ be and _ought to_ be like that. Pure mathematics is more resistant to temptations to skew, falsify, or hide results to get more funding, since the "results" are generally harder to _directly_ profit from. If you're in it, you're in it for the truth, not for the money.

    • @user-hh1bi6lm2l
      @user-hh1bi6lm2l 4 роки тому +1

      gonna keep it as short and simple problems when u need to deal with these never ending things for a big part of your life i guess😉

    • @rumfordc
      @rumfordc 4 роки тому +2

      @@HaloInverse a proper scientific hypothesis should always be falsifiable, so if you hear a scientist asking "is it true?" that should be a big red flag that they don't understand the purpose of their own job. aside from that, you're right that they should ask a lot of questions.

    • @alephnull4044
      @alephnull4044 4 роки тому

      Yes that is the way of the mathematician. Similarly, they like to generalise things ad infinitum.

    • @mirogula
      @mirogula 4 роки тому +2

      That's standard procedure. When you try to get to the bottom of the things, you just ask this questions naturally.

  • @RolandHutchinson
    @RolandHutchinson 4 роки тому +884

    "Let's start by coloring the economist red."
    Must be a Marxist.

    • @krakow10
      @krakow10 4 роки тому +38

      Those damn commies

    • @theultimatereductionist7592
      @theultimatereductionist7592 4 роки тому +12

      Or a Republicunt.

    • @wurttmapper2200
      @wurttmapper2200 4 роки тому +4

      That makes as much sense as an anti vax doctor.

    • @RolandHutchinson
      @RolandHutchinson 4 роки тому +2

      I perhaps should have said "Marxian" rather than "Marxist" in reference to the economist.

    • @cravinghibiscus7901
      @cravinghibiscus7901 4 роки тому +17

      @@RolandHutchinson Marxist works too, contrary to much public understanding it's still taught in most universities, it's the foundation of sociology.

  • @puskajussi37
    @puskajussi37 4 роки тому +92

    Thats exactly why Im into mathematics. If I want to become a rich person with friends and a mansion, I just declare myself as one.

    • @vidblogger12
      @vidblogger12 4 роки тому +18

      Let me be a rich person.
      Since I am rich, I no longer have to write proofs for a living.
      END PROOF.

    • @chesshooligan1282
      @chesshooligan1282 4 роки тому +1

      You have two options. Option number one is mathematician. Option number two is lefty.

  • @RafaelSCalsaverini
    @RafaelSCalsaverini 4 роки тому +140

    The auto subtitles are saying "head-at-knee Amy's conjecture" and it's hilarious.

    • @danieljensen2626
      @danieljensen2626 4 роки тому +2

      My brain was hearing it that way even without subtitles.

    • @iabervon
      @iabervon 4 роки тому +4

      Amy finds this one just a little harder than Rodin's Thinker found whatever he was thinking about.

    • @rofl22rofl22
      @rofl22rofl22 4 роки тому +3

      And so a few hundred people across the globe just tried hitting their head with their knee, chuckling like morons. Well, at least I did.

    • @sumilidero
      @sumilidero 4 роки тому +1

      Google needs to upgrade their calculator and autosubtitle alghoritms I guess :D

  • @mikapeltokorpi7671
    @mikapeltokorpi7671 4 роки тому +25

    My mother was not into sudouks, because it was "about numbers". I said to her, that do not think those as numbers, but as symbols. She is still doing sudokus - about a ten years later.

  • @Roarshark12
    @Roarshark12 4 роки тому +24

    It brought such a smile to my face at the end when Erica mentioned having gotten Hedetniemi's his reaction to finally getting an answer to his conjecture. Any chance we can get you guys back on camera, with him, talking about this together?? :)

  • @DomenBremecXCVI
    @DomenBremecXCVI 4 роки тому +136

    To be fair, using colours in a sudoku puzzle might be quite useful for children, especially like 4 by 4s and 6 by 6.

    • @anandsuralkar2947
      @anandsuralkar2947 4 роки тому +2

      Yes

    • @unvergebeneid
      @unvergebeneid 4 роки тому +4

      How would a 6x6 sudoku work? Pretty sure sudoku sizes have to be square numbers.

    • @shoo_be_doo
      @shoo_be_doo 4 роки тому +28

      @@unvergebeneid I've seen 6x6 sudokus divided up into six 2x3 rectangles.

    • @DomenBremecXCVI
      @DomenBremecXCVI 4 роки тому +4

      @@unvergebeneid I know it's a thing, there used to be one in my local daily paper... It's split into 6 2 by 3 rectangles.

    • @unvergebeneid
      @unvergebeneid 4 роки тому +2

      @@DomenBremecXCVI oooh, okay, if you allow rectangles you can use any number that's not a prime. Clever.

  • @FakeAccount
    @FakeAccount 4 роки тому +117

    this woman is such a good explainer

    • @drmontorsi7498
      @drmontorsi7498 4 роки тому +8

      Fake Account she has such a smoothing voice too

    • @okarakoo
      @okarakoo 4 роки тому +6

      true, she's gifted

    • @imoffendedthatyoureoffende7461
      @imoffendedthatyoureoffende7461 4 роки тому +6

      @@fugreek One trait of very smart people is the ability to explain convoluted concepts in a clear and concise manner

  • @cwaddle
    @cwaddle 4 роки тому +86

    Whoelse but numberphile who will discuss really complicated maths mysteries in laymans terms. Thank you!

    • @subschallenge-nh4xp
      @subschallenge-nh4xp 4 роки тому +2

      3 brown 1 blue

    • @mvmlego1212
      @mvmlego1212 4 роки тому +1

      @@subschallenge-nh4xp -- It's a great channel, but it's not as accessible as most of Numberphile's content.

  • @MrPictor
    @MrPictor 4 роки тому +73

    There's a flaw in the reasoning: Why watch Netflix when you can watch Numberphile?

    • @duffman18
      @duffman18 2 роки тому

      I'd absolutely watch a more in depth maths show made by the Numberphile crew to be a Netflix show. Go really in depth with the maths instead of just the surface level stuff, but still produced by the Numberphile guys who are used to explaining things in a more lay way.

  • @brianlane723
    @brianlane723 4 роки тому +45

    The recommended Numberphile videos about graph theory are a graph theory problem unto themselves.

  • @scotthendricks5665
    @scotthendricks5665 4 роки тому +276

    Subtle Australian states graph

    • @joshuaychung
      @joshuaychung 4 роки тому +24

      It was probably a bit easier to draw than the map of the USA with 50 states (although 2 of them don't touch the other so you'd only have to worry about the "contiguous 48 states").

    • @Jivvi
      @Jivvi 4 роки тому +25

      And subtly pointing out that Brady's home state of South Australia is the superior state because it has the most borders.

    • @HasekuraIsuna
      @HasekuraIsuna 4 роки тому +5

      Why so "sa", mate?
      (`・ω・´)

    • @atkgrl
      @atkgrl 4 роки тому

      I too have considered mating offspring with either Australians or Britain’s

    • @neilgerace355
      @neilgerace355 4 роки тому +6

      It's incorrect, as Victoria and Tasmania do have a land border: it runs across Boundary Islet. This fact was discovered only after the border was fixed.

  • @siddhantkumar6340
    @siddhantkumar6340 4 роки тому +10

    I love these numberphile videos. They really inspire me and make me want to explore even deeper in maths

  • @adityakhanna113
    @adityakhanna113 4 роки тому +10

    Oooh! I never realized until I saw the quanta magazine picture! I have read so many articles by Erica, she's great!

  • @cangrejoxidao
    @cangrejoxidao 4 роки тому +25

    I would be really impressed if I saw someone solving a sudoku with that color technique

    • @aijoo00
      @aijoo00 4 роки тому +14

      Isn't it the same as solving a sudoku the traditional way with numbers? Numbers and colors represent the same thing, they're just a different type of visualization.

    • @sushanlamgade
      @sushanlamgade 4 роки тому +1

      kylteri Yeah actually I’d never thought about solving sudokus with coloring problem.

    • @blindleader42
      @blindleader42 4 роки тому

      @@aijoo00 Yeah, pretty much the same. I've constructed (converted actually) sudoku using, letters, dingbats (remember them?) and other arbitrary symbols. It never occurred to me to use colors. The biggest problem with not using numerals is, if it's a really difficult example, It's much harder to pencil in candidates.

    • @omikronweapon
      @omikronweapon 4 роки тому

      @@blindleader42 maybe he's just saying he's ALWAYS impressed when seeing someone solve one? XD

    • @l00d3r
      @l00d3r 3 роки тому

      @@aijoo00 Objectively, yes. But the human mind is subjective, and some people will find it easier one way or another. In my case, I know I would have a harder time solving a color sudoku, as I can visualize numbers better than colors.

  • @IceDave33
    @IceDave33 4 роки тому +14

    A really great intuitive explanation of tensor graphs! Thanks Erica!

  • @magicmulder
    @magicmulder 4 роки тому +5

    I remember the „Every graph is 4-colorable“ book, one of the largest in the library at the Mathematical Institute where I studied.

  • @jedrekantkiewicz
    @jedrekantkiewicz 4 роки тому +9

    That explanation though, great teacher! Wish my uni professors were that great at explaining graph theory...

  • @ChrisLuigiTails
    @ChrisLuigiTails 4 роки тому +72

    Welp I have my final exam about graphs and data structures and algorithms in one hour

    • @ZedaZ80
      @ZedaZ80 4 роки тому +14

      Good luck!

    • @Septimus_ii
      @Septimus_ii 4 роки тому +7

      Hope it went well

    • @carolebeni30
      @carolebeni30 4 роки тому +7

      How’d it go mate?

    • @ChrisLuigiTails
      @ChrisLuigiTails 4 роки тому +20

      Thanks guys! Yup it went well, even though it was the hardest exam to date in this course.

    • @JerseySlayer
      @JerseySlayer 3 роки тому

      Floyd-Warshall by hand with a 6x6 matrix

  • @thebluefoxproductions8398
    @thebluefoxproductions8398 4 роки тому +142

    Numberphile's logo is π and currently they have 3.14 Million subscribers..........
    Coincidence? I think not!

    • @vj_henke
      @vj_henke 4 роки тому +1

      Is this our "pi million" sub special ?!

    • @mitchgilbert6894
      @mitchgilbert6894 4 роки тому

      The Blue Fox Productions I screenshotted it

    • @Whitsoxrule1
      @Whitsoxrule1 3 роки тому

      7 months later I saw your comment and checked current subscriber count... 3.41 million. Coincidence? Yeah probably

  • @m.rohwer6989
    @m.rohwer6989 4 роки тому +19

    Youre channel is one reason I probably attempt to become a math teacher next year😂

    • @Not.Your.Business
      @Not.Your.Business 4 роки тому +6

      I wish you all the best, but I'm glad your goal isn't to become an English teacher.

    • @oz_jones
      @oz_jones 10 місяців тому +1

      Did you?

    • @m.rohwer6989
      @m.rohwer6989 10 місяців тому

      @@oz_jones thanks for reminding me of this comment, I didnt knew it existet. And yes, I‘m currently writing my bachelor thesis 😂

  • @AGeniusDexter
    @AGeniusDexter 4 роки тому +5

    Great explanation. Didn't even have to open a book to see the conjecture.
    Love the simple language devoid of jargon.
    Brilliant explanation and analogies 😇

  • @wojtekburzynski654
    @wojtekburzynski654 4 роки тому +118

    In Polish there is no ambiguity wirh graph and graph. Graph in graph theory is called graf, graph of function is called wykres.

    • @JoaoVictor-gy3bk
      @JoaoVictor-gy3bk 4 роки тому +31

      In portuguese the graph for graph theory is "grafo" and the other is "gráfico"

    • @marcoswappner8331
      @marcoswappner8331 4 роки тому +11

      @@JoaoVictor-gy3bk Same as in Spanish.

    • @amoledzeppelin
      @amoledzeppelin 4 роки тому +19

      @@marcoswappner8331 same in Ukrainian (graph in graph theory is "граф" and graph of function is "графік"), but "граф" also means "count" (a person, as in count Dracula or count Dooku)

    • @frimi8593
      @frimi8593 4 роки тому +18

      Stop flexing your superior languages on us unilingual people! ;-;

    • @ganaraminukshuk0
      @ganaraminukshuk0 4 роки тому +2

      Graph (in English): the X-Y Cartesian coordinate thing for a function, or a collection of nodes/vertices and edges that connect said nodes.
      Graphic (in English): depending on context, a digital image or an adjective used to describe art or gory detail.
      Apparently there's an additional context for these words and that's linguistics, but this isn't Linguaphile (sadly)...

  • @illogicmath
    @illogicmath 4 роки тому

    This professor is so clear and explains so well.
    What a blessing it would have been to have her as teacher in my university math lectures.

  • @gunhasirac
    @gunhasirac 4 роки тому +39

    She is a professor I would like because she writes so beautiful while most professors’ writing are hard to read as hell.

    • @kwcy92
      @kwcy92 3 роки тому

      And explains things well.

  • @Deadly_Laser
    @Deadly_Laser 4 роки тому +7

    Wow, you connected the dots very well on this one!

  • @lemonteurdesanuseur9686
    @lemonteurdesanuseur9686 4 роки тому +6

    I absolutely didn’t know about graphes being a mathematical object this way, and this is super interesting

  • @jacobtech7
    @jacobtech7 4 роки тому +8

    In my Graph Theory class, we had to prove this statement for the special case chi(G)=3 on the final... i can thankfully say that i got it, but unfortunately almost no one (understandably) did

  • @RalphDratman
    @RalphDratman 4 роки тому +8

    Erica Klarreich seems to be a wonderful teacher!

  • @Adam-cn5ib
    @Adam-cn5ib 4 роки тому +4

    Amazing, practical explanations & easy to follow. More of her please!

  • @fotonical
    @fotonical Рік тому +2

    This actually made sense, wish had teacher like this explain everything.

  • @ProfOmarMath
    @ProfOmarMath 4 роки тому +9

    I like the follow up paper disproving it asymptomatically.

  • @alexkoshuta6219
    @alexkoshuta6219 4 роки тому +3

    I really appreciate you making this video with an astonishing explanation. Thank you very much!

  • @mc101
    @mc101 4 роки тому +15

    Please, talk about new partial proof by Terence Tao and Collatz Conjecture.

  • @Lunareon
    @Lunareon 4 роки тому +3

    What a great introduction to graph theory, and so easy to understand. I can instantly see various situations where it could be applied: seating orders, forming teams, arranging work shifts, traffic control, urban planning... Also, anything that has circles connected by lines looks like a finite-state machine to me. xD

  • @Kasparovwannabe
    @Kasparovwannabe 4 роки тому +3

    This is a really great video. Interesting concept, explained in depth, but in an understandable and engaging way. Erica was fantastic.

  • @Robbedem
    @Robbedem 4 роки тому +54

    In dutch, there are different words for graph and graph. ;)
    grafiek is the one with axi, while graaf is the one that represents a network.

    • @leo17921
      @leo17921 4 роки тому +1

      graph

    • @kvdrr
      @kvdrr 4 роки тому +5

      same here in polish

    • @natmath2576
      @natmath2576 4 роки тому +8

      Same in french. English just seems to be running out of words

    • @huverdoose
      @huverdoose 4 роки тому +3

      @@natmath2576 Oh, it's just the worst.

    • @pierreabbat6157
      @pierreabbat6157 4 роки тому

      And what's the one that is a count?

  • @IslandCave
    @IslandCave 4 роки тому +41

    Maybe its G & H because G is for graph and H is the next letter!

    • @Wecoc1
      @Wecoc1 4 роки тому +20

      Yep, that's exactly it. Unlike physicists, mathematicians are lazy bastards in terms of coming with nomenclatures.

    • @RibusPQR
      @RibusPQR 4 роки тому +24

      It's because G is for Gobs, and H is for Hobbies.

    • @VAFFANFEDE18
      @VAFFANFEDE18 4 роки тому +6

      Like the function f

    • @zmaj12321
      @zmaj12321 4 роки тому +1

      @@RibusPQR Is this like how people argue how to pronounce gif?

    • @RibusPQR
      @RibusPQR 4 роки тому +6

      @@zmaj12321 HEY, it's prounounced gif

  • @ApertureCombine
    @ApertureCombine 4 роки тому +4

    One of my favorite numberphile videos ever!

  • @hectorh.micheos.1717
    @hectorh.micheos.1717 4 роки тому +2

    16 minutes of setup but i really felt that I understood the issue. So nice. She is a really good teacher, even if she may not be. Really good.

  • @AGuitarFreekOfficial
    @AGuitarFreekOfficial 4 роки тому +4

    Congrats on 3.14 million subscribers!

  • @josefranco480
    @josefranco480 4 роки тому +6

    I wonder if this is similar to how our brain's neurons makes connections, and then efficiency would be how well it can avoid necessary separations

  • @Chorizzosoup
    @Chorizzosoup 4 роки тому

    such clarity! Please continue making more videos, Erica.

  • @ryanlind5239
    @ryanlind5239 4 роки тому

    Man this was an awesome explanation. I put off watching this all day cause I was like "okay, Graph Theory, I'm gonna need to focus for this one." I think that's the first time there's been a numberphile video using the word "tensor" that I actually followed. Thank you!

  • @SoleaGalilei
    @SoleaGalilei 4 роки тому +8

    Erica is a great presenter! Excellent video.

  • @Belissimo-T
    @Belissimo-T 4 роки тому +123

    According to Python, 4^10000 = 398027684033796659235430720619120245370477278049242593871342686565238635974930057042676009749975595510836461137504912702831400376935319143621753470415827025981215282426893498224826615977707595539466961019588699726772279731941315198182787264034852821200164566127930390710398182979935327718016873784821349516406114982916691867361875370024545872140793827277482562824192439237801588697814168520338650090909697535966525032757049430286459482977357373598020450589927318365663076719136934132593126761906696003770385305284570331119691001526584347722012386381881779425549210851696458253943578557699072154639655630793883941961378971846841113804188730258903839103669626086974468150655710480841592465655211805257863007811676888839555017536731758113448656752514158601444051645154665514388431619042396106716755762338728183461369854648923972904427556158821823778729193111453445844216979095435045778144571378954652122396061615147642540250745857228893999875491625014946013839340891326060933901036249999238637827577774666644809734033861619420363936465178730919233673114244563915058438996625834112132967998495576249320462871747777012165543887156255858358784852335060574881876552025685704823768078710818951860741379429242110855644973977420413810373514584504006896392675854997866870818564207239083874324953871276375716101506575153205747363963740749867514682619756775534507006871485887812402927738227576635284174246988540785975240020481266853076127172228024330561550120182008777598230542033702463408316671120886169260934006805799864598636311179787776738608992346063063099659648279663878174074787179237169752957046404584525301384153358344055908219695854852185210739761460551596658211013159915409566145426809737550417578228465835830890294497535463112081537672664056891624345779311524560019984315456142126282898486728345004767873499752683471409587367450593302392307908004590644754012537113320493601682133709318222647489080531644015321391157387178232154126828007760313716872242209614200967522180475716199973689467714010404673961454146466045855232217196687665143147612199151921277432309700460321430381533385245877431330533479476152339364503436322919665631042328740463612565842560411947020174006507893396276103834436233140915025391014386119201176462659556388343058600326710618903683746516577021214276933289179021059956925949717956040857979165914170970056212869933593589268626151996676594370800885093048230687152803213254735594741799076039453057272319884322341883241036382617598401889439130301876975498681736174215711287053447013711596004574803562701388246822510391522419061320663740921321754344166744899588160649291823535983386025904942040724581017615968429577015808090360968544059204594200069304612417366398776831532265596224715750301792207725607932534543693758772262010387360435567635232718343420679693057360004073679493008945813961012439574397373178636054628207647520675194420244271036343729318858430871461978866964772362057290577326080664463129657590249859748544101333842092713653096656066266827446079145590196644643417403723220085696202719321533233027169599734928971588850348415000070034027025298183104148343980297663148971586607903771717880683175436445585810610546882073571556162324659351310326560804448974229349743425637164834242799991427145050899469511954834774847172360693568437689147399455672090773686782511054291185172381917008889957645311339950993044779783607140593766508017935992581357858306525303783231752425242008347844867988333025417249944092118578113687403158162707075154006053416374075765162668533127078605316562826337193606242535290683224423660462222408680300498714149607265550441220738075941633988435051594487256802874182264814425923111193188280632013127802897889605338783089532740877202304122498193625454768343775535498872821099981620497070810489137457106892573248498734243717184800822956334469415666818858073218653977954309023182851723246522042792401461382001601920501284439325214084210736400630884929942272982943613708123011355260915545831043160243523599372006226150289664982113944898886610710824955096724626895416484521819026132177640598691658035986285376355033719094568083122219345722063613609779158338084375331431276527548482566210071347744541292871876134764249704859840950276227627328897424208932988115108907187647698491814375639614313178092528678007370045871748218421786396197284213209022623762734630836006864192414605237248983289006905268988475197599781524158913583701325199090352274252608342971303907669363045656232183978755853064004010895030834921988601355201181158877254807798058635127708445592064519563115094749276606697559529332807221414021024905241788974917755034700510432039890197393691722911126889174394312127254793141624975830429097997705531781908242083922068769027355129212617244130640289994777413026624013157329948333586377955103195844817163822484232700763859290253400376515701986753596890075818544485475785780031843579065754095099970940504640212850809997051128976563880886392410766321449987529690463262182894272302749154535447233331028841215215533602398281107050696017507827602761547816324743297938177204183765821117818869959795031848201322436053103778993541384779857262311465895754085538371969040922420936915076653500310175006188572019017358300979056992161958286882575984331858170857303361269891312794369244896540323192451678830668180455059289743580640736076233561935888109525845803125912388965524166819855977061399043499229843517930169118036812460794615667808961600389778306540324849286501515292799391304510997298128228258006156017389878086272789993321416349205921635696963703558971391123174877353757536774013315034956942784403824181551741629180658414081905650333672638983416786388095026169496605199749691595798835947189777822765198767949699778106683862989103096006505865271003566346191382406011673958404009194852110016915222433459641787170917872140367871023596464051647947388580570774462304347896201676197195521428782313608583714399238092208362933211302942806480175589402387976531080436906856834377344137698180789562645974374155400497754843905032231188252125802180353577510519869570675234892321663406309376
    calculated instantly. It's 6021 digits long.

    • @Jivvi
      @Jivvi 4 роки тому +39

      So "a one with 6000 zeroes" was only off by a factor of about 400,000,000,000,000,000,000.

    • @whong09
      @whong09 4 роки тому +34

      But express that error as a percentage of 4^10000 and it's less than a percent

    • @brianlane723
      @brianlane723 4 роки тому +11

      You mean 4**10000?

    • @pH7oslo
      @pH7oslo 4 роки тому +4

      You don't need python or similar to write out that number, though - just write it in hexadecimal for instance..

    • @SLAMgamer11
      @SLAMgamer11 4 роки тому

      @@brianlane723 ha ha

  • @prydin
    @prydin 4 роки тому +1

    What a great educator you are, Erica! Great video!

  • @Gregoryzaniz
    @Gregoryzaniz 4 роки тому

    i am so charmed by all the examples of jobs the professor gives are things related to the university!!

  • @jerryh559
    @jerryh559 4 роки тому +130

    Almost 3.14 milion subs.

  • @unvergebeneid
    @unvergebeneid 4 роки тому +31

    I think one fact is important to note: the reason why this conjecture seems _obviously_ false with the presented example is that for most friend groups, we only have a subgraph of the full product. Obviously there are subgraphs, i.e. graphs where certain nodes are deleted, that can be colored with fewer colors. That's not what the conjecture is about, though.

    • @HL-iw1du
      @HL-iw1du 4 роки тому

      Penny Lane what?

    • @unvergebeneid
      @unvergebeneid 4 роки тому +1

      @@HL-iw1du You'd help me answer your question if you elaborated a bit ;)

    • @trogdorstrngbd
      @trogdorstrngbd 4 роки тому +2

      @@unvergebeneid I'm guessing you mean that people don't have a friend for every combination of job and hobby in real life, so their intuition tells them that the problem is easier than it actually is . The conjecture does seem obviously false at first glance because, as Erica points out, you're throwing away information that can only help you if you just default to the starting solutions. I quickly realized how difficult it was to actually create a counterexample, however, since you apparently have to make both G and H require at least 5 colors, which means that even the simplest examples you want to try take quite a while to write down (I gave up already, haha).

    • @unvergebeneid
      @unvergebeneid 4 роки тому +1

      @@trogdorstrngbd yes. For the problem in the video you will of course have plenty of real life friend groups that will allow everyone to come on the same weekend, i.e. the graph only needing one color. But as you said, that's not what this conjecture is about, so this example will mislead many people which is also reflected in the comments for this video.

    • @unvergebeneid
      @unvergebeneid 4 роки тому

      @@IlIlllIllIlIIIll Not sure I understand your question. What graphs don't share any edges?

  • @inyobill
    @inyobill 4 роки тому

    That's genius, taking a complex subject and presenting it in a manner accessible to non-experts.

  • @kenc2257
    @kenc2257 4 роки тому

    How intriguing! Never have heard about this type of "graph" before, but it is so interesting, and so well presented/explained by Ms Klarreich.

  • @kleko
    @kleko 4 роки тому +3

    Gotta comment on the most important part here:
    Stamp collecting is a form of meditation and collectors are a blast at parties.
    I like this video.

  • @bonbonpony
    @bonbonpony 4 роки тому +12

    21:35 So now the next question is: what is the SMALLEST graph that breaks that conjecture? :J See you in the next couple of decades ;)

  • @burnere633
    @burnere633 4 роки тому +1

    I found the first few minutes of the video to be wonderful exposition. I scrolled down to see who this new(?) guest on Numberphile was. I wasn't surprised. I have been fan of Erica Klarreich's writing on Quanta for some years now.

  • @JMEPatterson
    @JMEPatterson 4 роки тому

    Thanks for getting this video out so quickly!

  • @ShinySwalot
    @ShinySwalot 4 роки тому +89

    Is the breakthrough that they finally managed to spell his name correctly?

    • @macleadg
      @macleadg 4 роки тому +12

      Shiny Swalot That’s still an unsolved problem.

    • @X_Baron
      @X_Baron 4 роки тому +2

      She actually pronounces it really well. :D

    • @oldinion
      @oldinion 4 роки тому +6

      It's a pretty typical finnish heritage last name though. Nothing difficult to spell.

    • @macleadg
      @macleadg 4 роки тому +13

      oldinion This is an aspect of social interaction called a “joke”, which is easy to spell, but difficult for some to understand.

    • @t71024
      @t71024 4 роки тому +3

      Hedetniemi can be spelled right by just copying and pasting but it's obviously tricky to pronounce. Those dang diphthongs!

  • @alveolate
    @alveolate 4 роки тому +5

    "i don't know if there's anyone out there with that many friends..."
    right after saying the number is orders of magnitude larger than the total number of particles in the universe :O

  • @MrAndersJensen
    @MrAndersJensen 4 роки тому

    This was very interesting and also well explained. You opened up a new universe to me. Thank you ❤️

  • @Noelciaaa
    @Noelciaaa 3 роки тому +1

    i thought i was procrastinating by watching math vids when i'm supposed to be making my project as senior thesis in graphic design but i actually learned something i can apply wow

  • @ZandarKoad
    @ZandarKoad 4 роки тому +81

    Wanted to stab myself in the eye during college advanced math. Now watching math for entertainment. The hell?

    • @zoomskiller
      @zoomskiller 4 роки тому +14

      Discrete math (which includes things like graph theory) is very different from something like calculus. Discrete is like logic puzzles, and challenging but fascinating. Integral calculus/ differential equations is more procedural like algebra, and easier but boring.

    • @letsmakeit110
      @letsmakeit110 4 роки тому +19

      Doing things autonomously instead of being forced makes them more fulfilling. I remember reading books in school and hating them, and then rereading those same books after graduation in my free time. Industrial Society and its Future explains the phenomenon well.

    • @ZandarKoad
      @ZandarKoad 4 роки тому +6

      @@letsmakeit110 Exactly. Like forced charity. Utter oxymoron.

    • @michaelcheverie7579
      @michaelcheverie7579 4 роки тому

      @@zoomskiller Unless you live for physics.

    • @cedricgabionza
      @cedricgabionza 4 роки тому +4

      Doing math under time pressure and deadlines added unnecessary burden to an otherwise fascinating subject, also the grading system encourages results over learning so there you go.

  • @anandsuralkar2947
    @anandsuralkar2947 4 роки тому +11

    But damn this is interesting i always wanted to know about this map thing

  • @galgrunfeld9954
    @galgrunfeld9954 4 роки тому

    Brady, thanks to you I had the joy of listening Edward Frenkel's audiobook version of his book Love and Math: The Heart of Hidden Reality, and I've wanted for a while for mathematics to be a bigger part of my life, so thank you for promoting (beyond creating, of course) great popular mathematics content.

  • @woowooNeedsFaith
    @woowooNeedsFaith 4 роки тому

    Ok. So this is kind of breakthrough I've been long waiting for? Starting from tomorrow, I'm gonna use it in my daily work for now on.

  • @Omar-of4tz
    @Omar-of4tz 4 роки тому +8

    But how many colors do exist in the observable universe
    (Vsauce theme)..

  • @programaths
    @programaths 4 роки тому +8

    22:27 We can safely assume that one's friend is made of at lest one particle of the observable universe. Therefore, nobody has as much friends.
    Now, if we speak about imaginary friends, we have to understand how much information the mind can hold. I don't thinks it's that many, but that would be a conjecture.

    • @raykent3211
      @raykent3211 4 роки тому +4

      If you're seeking evidence to support your hypothesis, I can confirm that each of my two friends has more than one elementary particle. Mathematics gets loony.

    • @HL-iw1du
      @HL-iw1du 4 роки тому

      Christian Baune There is no such thing as the mind.

    • @Cloiss_
      @Cloiss_ 4 роки тому

      I had 2^26 imaginary friends when I was younger... (I’m not even joking)

  • @ruittenb
    @ruittenb Рік тому +1

    Brilliantly explained. I thoroughly enjoyed this video 🙂

  • @davidhughes7174
    @davidhughes7174 4 роки тому

    Thank you Erika. Easily understood and well explained.

  • @sakshamsingh4378
    @sakshamsingh4378 4 роки тому +5

    These dots on the a paper with text fascinates me

  • @invaderpopz
    @invaderpopz 4 роки тому +4

    What a great presenter! She made the math really clear and well-motivated and interesting and fun! :)

  • @giuseppe.turitto
    @giuseppe.turitto 4 роки тому +1

    Great explanation and so easy to follow. Thank You

  • @BradHelm
    @BradHelm 4 роки тому +1

    Superb introduction to graph theory! Thank you!

  • @isanskari
    @isanskari 4 роки тому +16

    Last time I was this early, UA-cam used to pause at 301 views

  • @KauanRMKlein
    @KauanRMKlein 4 роки тому +19

    This video is like a Christmas gift, an opportunity to ask: *where can I find easy literature (or online courses that don't suck) about graph theory?*
    I always try to stay ahead by learning a subject _before_ I get classes into it, and I feel like graph theory will be a huge problem next semester in Discrete Mathematics II, because my intellect is very limited when it comes to understanding spatial problems especially when they are described in those awfully arcane mathematical notations.
    Thank you, any and all help is appreciated!

    • @BryanLeeShiYang
      @BryanLeeShiYang 4 роки тому

      Me too, it's such a blessing. I've always wanted to prepare for olympiads but graph theory always keeps me confused. Now that this is out, it's going to help me :))

    • @KauanRMKlein
      @KauanRMKlein 4 роки тому

      @@BryanLeeShiYang Yeah. I don't want to buy a book that won't teach me anything (I don't have that kind of money). I need a book on Discrete Mathematics made for people with "spatial thinking disability" 😅

    • @leodarkk
      @leodarkk 4 роки тому

      Check in order in my opinion :
      Main results on distances, Dijkstra mainly.
      Main results on trees, BFS algorithm and such.
      Main results on planar graphs (Euler formula).
      Main results on graph coloring.
      Mains results on flows (Edmonds-Karp).
      Main results on graph minors (That is more intricated).

  • @MuffinsAPlenty
    @MuffinsAPlenty 4 роки тому

    Great video! Thank you, Erica and Brady!

  • @erikfinnegan
    @erikfinnegan 4 роки тому +1

    I loved the video. Very captivating. Thanks for that.

  • @euttdsiggh2783
    @euttdsiggh2783 4 роки тому +55

    *Look at this graph* 🎶

  • @vrixphillips
    @vrixphillips 4 роки тому +12

    and people joke about math having no practical applications. PFFT! This is exactly the kind of thing that people planning seating arrangements at weddings need lol.
    And now I want to learn more about graph theory [after I teach myself calculus... after I graduate college, cuz I'm pressed for time and energy]

    • @vrixphillips
      @vrixphillips 4 роки тому

      @@epsi well, with or without optimized seating arrangements, humans will find SOMETHING to fight about :P haha

  • @Kaesekuchen002
    @Kaesekuchen002 4 роки тому

    I listened to Humble Pi on Audible. I had quite a nice time with it while driving to work and back home for a few days

  • @STKeTcH
    @STKeTcH 4 роки тому

    he showed ... in just the right way ... then you have a counterexample. Great explanation!!!!