Hamiltonian Path is NP-Complete (Directed, Reduction from 3SAT)

Поділитися
Вставка
  • Опубліковано 25 сер 2024

КОМЕНТАРІ • 20

  • @EasyTheory
    @EasyTheory  2 роки тому +6

    Thanks to the following supporters of the channel for helping support this video. If you want to contribute, links are in the video description. Names are listed in alphabetical order by surname.
    Platinum: Micah Wood
    Silver: Simone Glinz, Josh Hibschman, Timmy Gy, Patrik Keinonen, Travis Schnider, and Tao Su

  • @arielhy111
    @arielhy111 2 роки тому +8

    Dude! English is not even my first language and still ONLY YOU made sense of what is happening here to me. Thank you so much!
    I think you should consider adding "reduction from SAT" to the title since that is mainly what you explain here, so brightly. Bless you

  • @MatthiasGN
    @MatthiasGN 3 місяці тому +2

    This guy brings the best energy. Hardest NP-complete reduction on the planet? Well, it's actually Very Easy. 😂

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

    Thanks for taking the time to make these videos :)
    Any chance you could cover TSP approximation algorithms? k-opt in particular would be interesting
    Thanks

  • @aryan-singh
    @aryan-singh Рік тому +1

    Crystal clear explanation.

  • @LENOKOK
    @LENOKOK 11 місяців тому

    thank you so much for your work!! I spend hours watching your videos when working on my homework :)

  • @mohitapte9010
    @mohitapte9010 4 місяці тому

    Absolutely Incredible!

  • @idan4848
    @idan4848 3 дні тому

    thank you very much!!:))))))))))))

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

    If each clause is represented by a single node wouldn't that clause node be visited more than once if two or more of the elements in a clause are satisfied? I think you need a clause gadget.

    • @EasyTheory
      @EasyTheory  2 роки тому +7

      If multiple variables make the clause true, we can arbitrarily just pick one of them and ignore the others.

  • @luisalazago
    @luisalazago 2 роки тому +1

    Good video bro, thanks for explaining the proof.
    But you should prove the Hamiltonian path is NP-Complete transforming from the VERTEX-COVER to Hamiltonian path. It's an interesting way to prove the same that you did.

  • @suindude8149
    @suindude8149 Рік тому

    The edging of Hamiltonian path which has extreme resemblance with the ckt,we may observe in the case of Logistics management an algorithm goes to a differentiated phenomena to the reduction for a given set of edges.....the time and the drilled down variability waxing waning with time complexity shows a NP completeness at high.

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

    Isn't a clause node visited multiple times by each variable gadget in that clause? Doesn't that mean that it is an invalid Hamilton path as a node is visited more than once? For example, if we had c_1 = ((X1) OR (NOT X2) OR (X3)), the variable gadgets corresponding to X1, X2 and X3 will all visit the node corresponding to c_1

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

    My goodness is this channel wonderful!

  • @michellebae131
    @michellebae131 9 місяців тому

    Thank you so much

  • @Atanuc97
    @Atanuc97 Рік тому

    Great explanation

  • @nope2453
    @nope2453 2 місяці тому

    nice

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

    Thank you!! This explanation is so clear.

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

    Thanks

  • @-Molo-
    @-Molo- Рік тому +1

    I didn't know charlie puth taught comp sci