Start Doing Graph Theory

(vertex.degree)

237 points | by ibobev 5 days ago

18 comments

  • gortok 1 hour ago
    A problem I didn’t even conceive of a year ago was whether or not a book was written by a human.

    This author has done nothing to deserve that scrutiny, but I can’t escape the feeling now of having to be guarded when I see a new book online with a relatively short history (spring 2026 is the earliest version of this text), as I can’t be sure it’s either “AI-enhanced” or AI-written.

    I don’t like this feeling and it dampers any enthusiasm I once had for being excited about stuff like this.

    That aside, if the author did write this themselves without AI, kudos to them and their acheivement!

    • layer8 1 hour ago
      I spot-checked a few random chapters, and it looks clearly human-written to me. But I share your general worry.
    • contubernio 20 minutes ago
      What is the problem if it is AI written? Properly guided AI writes better than most human expositors.
      • gortok 5 minutes ago
        There are a few issues if it’s AI-written/edited/drafted:

        1. AI generated text works off of whatever model it came from, whatever prompt was used, and probabilities. It’s been described as a “next token predictor” and that, for the purposes of this answer, is how I’m describing it as well. First problem: it’s only as good as the above.

        2. Because of the above, its accuracy relies on probabilities. It can confidently give me wrong information, and as someone who would read this book to learn a topic I don't already know, I have no frame of reference to know whether I’m being fed accurate information.

        3. Since it greatly speeds up the time it takes to physically write material, there is a possibility the author didn’t closely vet the information provided by the LLM as a next token predictor. That means it could be wrong in subtle ways, and the only way for me to know is to rely on knowledge I don’t have.

        4. Had AI not been used, I could conceivably go on the past work of the author, rely on the person who has the expertise who wrote the forward, or the fact that physically writing a book takes prohibitively long enough that the dopamine from having written a book doesn’t outweigh the amount of time it takes, and if you are going to take months to years to write a book, you’re going to not want that effort to be in vain. You’re going to do your diligence and not just “wing it”.

        AI makes it relatively trivial to appear knowledgeable and to get that dopamine rush from saying “I’m an author” and appearing to be an expert in a field without being an expert in a field. For some, that temptation is too great and there’s no way to know without the passage of time. Time for folks to review the book who know the subject matter. Time for reviews. Time for folks to put signs up that say “don’t trust this material.” In the meantime we still have that content out there, further infecting new AI models and people into believing it’s accurate.

        That’s why the use of AI is dangerous, and is especially dangeorus without disclosure.

      • foobarbecue 11 minutes ago
        Because it will absolutely have hidden errors.
        • pixl97 7 minutes ago
          Thank goodness human books never have hidden errors.
    • origini 20 minutes ago
      There was not a single real tangable way of determining this before AI Slop.

      For sure it was less to review, less options but still.

      So what did you use? I used things like Reviews, skimming through, getting a referal through a blog or hn and buying from reputational sources.

      HN is a filter. Same as all the other things we have.

    • ImHereToVote 34 minutes ago
      This is what we are supposed to have book and movie reviewers for. Just to check for slop regardless if the slop is AI or human.

      But who reviews the reviewers?

  • jmspring 8 minutes ago
    Oh this was a descent into past memories. I had the pleasure to take Graph Theory at UC Santa Cruz with Gerhard Ringel [1] way back when. Excellent instructor with some great stories.

    [1] - https://en.wikipedia.org/wiki/Gerhard_Ringel

  • mcv 1 hour ago
    I've been doing a lot with graphs over the past couple of years. Basically since I started using neo4j, although not everything involves neo4j directly. I've developed a number of really interesting graph algorithms, but I'm always a bit disappointed by how little use I get out of my graph theory knowledge. I've never needed a Hamilton path or do something with the degrees of my vertices. It's all just logic and intuition.

    But maybe I should read this to see if there's anything that applies to my current work.

    • throw-qqqqq 1 hour ago
      My personal experience has been that the simpler undergrad algorithms are the most applicable. That’s probably also why you learn them first.

      IMO, it’s much more practical to thoroughly learn and understand the simpler techniques. There is often more depth to it, than you’d think.

      Analogy: Many (most?) MMA matches are won with techniques you learn in the first year.

      Aside: I’ve gotten much more mileage out of simple statistics in the 16 years since I graduated, than advanced algorithms.

  • basil 20 minutes ago
    I’ve been using graph theory for years professionally. A good example of practical uses of graph theory is any routing software. It is basically graphs all the way down.

    For starters the whole street network is represented as a directed graph. The most widely used algorithm is the venerable A* to find paths through the vertices of the graph, not necessarily the shortest distance but the most optimal distance given all the trade-offs you wish based on the heuristics you define. There are lots of variations of A* and today most implementations would use its faster cousin: bidirectional A* which attacks the point-to-point calculation from both ends at the same time.

    Then you have Dijkstra which is used for flood searches to e.g. give the best cost back home from every vertex so you know when to turn back the search if you have a search budget.

    Menger’s theorem I’ve used in order to determine whether we can create a loop back. Basically search outwards, then search back without visiting those same edges.

    Tarjan to ensure we identify all subnetworks so we don’t get stuck in a disconnected island of vertices with no way out to join the wider network.

    A lot of these algorithms were conceived decades ago and are still the backbone of modern routing software.

    One thing that’s constantly been in the back of my mind is, since routing is a highly deterministic problem space, it doesn't seem plausible that LLMs can take this over. It seems to me that it's a good example of a tool that LLMs would call out to rather than implement themselves.

    In fact, see this convo I had with @simonw wherein he had Astra generate a jogging route. It setup a whole GIS stack and took about half an hour. That seems like a boil the ocean kind of approach and I’m not sure if that’s ever going to be optimal. https://x.com/baz_shkara/status/2099118620647305630

  • the__alchemist 12 minutes ago
    Hah Ok, added to Zenodo. I historically struggle with disciplines which have "Theory" in the name. The materials feel to me as an easy intro, then rapid cliff. We'll see! (I think my brain is genetically or otherwise not good at this level of abstracting)
  • offmutegame 4 minutes ago
    This is so cool! love it
  • hackerbrother 2 hours ago
    Cool. I am applying to jobs and it seems graph theory is popular in the "Leet Code" questions pace. So very timely, thank you! And clever domain name :)
    • PandaRider 28 minutes ago
      I have studied algorithms in college. I believe the goals of leetcode vs the goals of graph theory may be against each other.

      A good graph theory course abstracts away the details of code and pursues the goal of understanding how many problems can be expressed concisely and clearly through graphs.

      A good leetcode practice ... honestly just hones how patient you are in debugging and memorising various code patterns.

      If you want to pursue money, it's almost always better to pursue leetcode exclusively

  • armcat 1 hour ago
    Graphs are fantastic - PageRank [1] that powered Google Search (still does to some extent), TextRank for extractive text summarisation [2], Louvain for neighbourhood detection [3] all use graphs, as well as tonnes of others like belief propagation, Markov clustering, A*, and so on. So yeah, learn it.

    [1] https://en.wikipedia.org/wiki/PageRank

    [2] https://aclanthology.org/W04-3252.pdf

    [3] https://en.wikipedia.org/wiki/Louvain_method

  • igleria 3 hours ago
    not super fond of my memories of having to come up with a graph demonstration on a fixed time on a paper exam, but at least I can say I was once a person that could do that!
  • matt_daemon 1 hour ago
    If you like graph theory Dijkstra’s in Disguise is a great read: https://blog.evjang.com/2018/08/dijkstras.html

    Related HN thread: https://news.ycombinator.com/item?id=17745779

  • vorobeez 3 hours ago
    It's unfortunate that the book doesn't have solutions for practice problems. Which makes it hard to use for self-learning.
    • OgsyedIE 2 hours ago
      The book you want in this case is Gross, Yellen & Anderson, Graph Theory and its Applications, 3rd Edition.

      There are plenty of ways to get a copy.

    • eru 2 hours ago
      You can ask Claude for the solutions?
      • vorobeez 2 hours ago
        Sure I can. But from my experience solutions in math books usually continue learning process and can provide even more insight to a problem. Solutions from ChatGPT or Claude barely can replace that.

        (Edit) But I understand that goal of a book can be completely different. So it's just problem of my expectations.

        • karmakurtisaani 1 hour ago
          For elaborating something unclear they're great tho.
      • Gormo 2 hours ago
        If you don't have the solutions, how do you verify Claude's work?
        • DecoPerson 2 hours ago
          Everything, except the bleeding edge and situations requiring the context window to be more than 60% filled, are elementary to Opus 5.5 . If you provide the questions completely, you can be very sure that Claude’s solutions will be correct. The world has changed; AI is reliable; we need to adapt.
          • V__ 23 minutes ago
            I get a lot of obviously wrong or slightly wrong answers from all LLMs across the board. If you don't double-check you just don't know or you might miss it.

            And for the bleeding edge part: My godchild wanted to know the name of a Pokémon from his licensed shirt. One of the first ones, found in every training set. Couldn't get it right, was certain it was the wrong one.

          • adamddev1 1 hour ago
            > The world has changed; AI is reliable; we need to adapt.

            Yes, but I think it's important to state that it's only reliable for things that are very well known and extensively written about.

        • bmacho 37 minutes ago
          ?

          You don't ask for proofs to print them out, put them in your drawer, and brag around that you own the proofs for these exercises.

          You ask Claude for proofs to help your understanding. Understanding is the exact same activity as verifying.

        • russfink 50 minutes ago
          If you don’t understand the solutions, how can you verify textbook solutions? And sometimes they’re wrong, maybe subtle typos, causing hours of grief and feelings of inferiority.
        • deredede 2 hours ago
          According to current practices, you ask ChatGPT or DeepSeek to verify it.
          • Gormo 1 hour ago
            Turtles all the way down, I guess.
  • dominicrose 46 minutes ago
    It seems the "Web server is down" for this link.
  • ImHereToVote 30 minutes ago
    I prefer to do matrices. Thanks though.
  • throwaw12 3 hours ago
    that background is so annoying to my eyes when scrolling the content, would be great if author can fix it
  • ultimaterr 1 hour ago
    what applications is this useful for? node topology is already a solved problem for decentralized networks since most validators are on aws. unless this is for fun? theres finite space to order nodes topologically speaking tbh
    • bee_rider 44 minutes ago
      Graphs theory, like in general? Just as one example, an awful lot of numerical linear algebra research is devoted to the handling of sparse matrices (ones where most of the entries are zeroes), which can also be looked at as graphs. Likely any CAD program with a finite element analysis tool uses some graph theory under the hood.
    • hei-lima 54 minutes ago
      For fun. All knowledge is beneficial, including what may not directly help with your job, but nonetheless will make you smarter and better at solving problems. This over-technical approach to knowledge is actually sad...
  • rdevilla 3 hours ago
    [dead]
  • cedarbyte482 3 hours ago
    This is great, graphs is also the answer to autonomous coding :D
    • roarcher 3 hours ago
      How so?
      • cedarbyte482 3 hours ago
        We have experienced that adverserial review cycles is the only way to really guarantee good outputs from coding agents - best modelled as a cyclic graph.
        • sandos 2 hours ago
          I am even more confused after this answer: Are the nodes actual reviews or something else?
        • eru 2 hours ago
          I don't think modelling this as a graph adds anything that you wouldn't get from the phrase 'adversarial review cycles' already. So graph theory is pretty much useless for this application.

          Please prove me wrong.

          • ultimaterr 1 hour ago
            what does neuron topology have to do with autonomous coding? MLP problem? doesn't make any sense
  • Krea8ly 36 minutes ago
    [flagged]