Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (No Skin)
  • No Skin
Collapse
Code Project
  1. Home
  2. General Programming
  3. C / C++ / MFC
  4. Paige-Tarjan algorithm in C

Paige-Tarjan algorithm in C

Scheduled Pinned Locked Moved C / C++ / MFC
algorithmsdata-structurescollaborationtutorial
4 Posts 2 Posters 37 Views 1 Watching
  • Oldest to Newest
  • Newest to Oldest
  • Most Votes
Reply
  • Reply as topic
Log in to reply
This topic has been deleted. Only users with topic management privileges can see it.
  • J Offline
    J Offline
    Joeyabuki
    wrote on last edited by
    #1

    Hi guys, I'm trying to understand the mechanism behind the Paige-Tarjan algorithm. I searched a lot on the internet but I found only papers with analytical explanations, but I would lite to understand pratically how it works, with an example, an exercise or something else. I already downloaded the bispy repository on git but I don't understand how it works pratically, which are the steps that lead me to say that this is the result for an easy example, with this graph:

    0 -> 1,2
    1 -> 3,4
    2 -> 5,6
    3,4,5,6 -> null

    I can't understand which are the steps that results in:

    [(1, 2), (3, 4, 5, 6), (0,)]

    I hope someone can explain me this. Thank you all.

    M 1 Reply Last reply
    0
    • J Joeyabuki

      Hi guys, I'm trying to understand the mechanism behind the Paige-Tarjan algorithm. I searched a lot on the internet but I found only papers with analytical explanations, but I would lite to understand pratically how it works, with an example, an exercise or something else. I already downloaded the bispy repository on git but I don't understand how it works pratically, which are the steps that lead me to say that this is the result for an easy example, with this graph:

      0 -> 1,2
      1 -> 3,4
      2 -> 5,6
      3,4,5,6 -> null

      I can't understand which are the steps that results in:

      [(1, 2), (3, 4, 5, 6), (0,)]

      I hope someone can explain me this. Thank you all.

      M Offline
      M Offline
      Maximilien
      wrote on last edited by
      #2

      link to the git ?

      CI/CD = Continuous Impediment/Continuous Despair

      J 2 Replies Last reply
      0
      • M Maximilien

        link to the git ?

        CI/CD = Continuous Impediment/Continuous Despair

        J Offline
        J Offline
        Joeyabuki
        wrote on last edited by
        #3

        https://github.com/fandreuz/BisPy

        1 Reply Last reply
        0
        • M Maximilien

          link to the git ?

          CI/CD = Continuous Impediment/Continuous Despair

          J Offline
          J Offline
          Joeyabuki
          wrote on last edited by
          #4

          GitHub - fandreuz/BisPy: BisPy - Python bisimulation library[^]

          1 Reply Last reply
          0
          Reply
          • Reply as topic
          Log in to reply
          • Oldest to Newest
          • Newest to Oldest
          • Most Votes


          • Login

          • Don't have an account? Register

          • Login or register to search.
          • First post
            Last post
          0
          • Categories
          • Recent
          • Tags
          • Popular
          • World
          • Users
          • Groups