Undecidability of the Post Correspondence Problem

Поделиться
HTML-код
  • Опубликовано: 27 дек 2024

Комментарии • 49

  • @satish537
    @satish537 2 года назад +34

    A HUGE THANK YOU TO NESO ACADEMY WITH ALL YOUR LECTUTE VIDEOS I HAVE ATTEMPTED 60 MARKS IN SEMISTER CONFIDENTLY!
    thankyou from my bottom of my heart!

  • @siddharthsuresh1451
    @siddharthsuresh1451 Год назад +6

    Generally i dont comment on youtube videos , Thanks for this playlist i completed at a stretch 113 videos from 1 in one day and i have attempted my exam good thank you...

  • @gauravpant4288
    @gauravpant4288 6 лет назад +25

    Thank you so much sir for providing such a great tutorials..
    Tommorow is my exam of toc and since 1 day i was only watching these tutorials...and right now it's 2.45 am in the morning and i have just finished these tutorials..tnkuh so much .. again..

    • @Abhi-mt4dn
      @Abhi-mt4dn 7 месяцев назад +1

      what u doing rn in life bro after engineering

    • @AnshThakur-w6g
      @AnshThakur-w6g 6 месяцев назад

      Please answer it 😢

    • @alankc7016
      @alankc7016 Месяц назад

      Yeah answer @gauravpant4288

  • @narendraparmar1631
    @narendraparmar1631 5 лет назад +9

    Thanks sir for this precious knowledge and your precious time

  • @PandaBlackAndWhitr
    @PandaBlackAndWhitr 6 лет назад +27

    So according to my professor, in order for a reduction from A to B to occur, not only do we need to show that A implies B, but that B implies A. In this case, we're reducing from Atm to PCP, so we need to show not only that if our problem of PCP is solvable imply the input of Atm is solvable (solvable meaning accepted by the Turing machine that runs it), but also that if the input of Atm is solvable, it implies that the PCP problem is possible. There's key information missing regarding how it's a both way implication.
    Even if this is not the case, several key steps in the proof is missing. For one, the problem he's solving is a modified PCP problem, which assumes that the first domino in the matching set is the one with the initial configuration of the Turing machine on the bottom tile. Without this assumption, any domino from step 4 would be a match, meaning any Turing machine with a symbol in its tape character set would produce a PCP problem with a match. This is useless in proving PCP is undecidable.
    This video works as a broad, general look at the proof of PCP, and for that kudos, and I think you did a great job in making reductions more accessible to people. But commenters are calling this a perfect explanation, which is just not true

    • @LasradoRohan
      @LasradoRohan 4 года назад +2

      that doesn't sound right, cause then it's equivalence not reduction

    • @ciarantaaffe5259
      @ciarantaaffe5259 4 года назад +6

      Yes. As Rohan said two way conversion is only required to establish equivalence of the two problems. But for one problem to reduce to another, it need not be equivalent.

  • @herrogamer
    @herrogamer 6 лет назад +11

    Please include some video on LBA , thank you for all this amazing content.

  • @davidorevic6651
    @davidorevic6651 3 года назад +7

    Why isn't than Partially Decidable when sometimes we have solutions and sometimes not ?

  • @aswathseer7281
    @aswathseer7281 6 лет назад +10

    excellent,marvelous,no words

  • @gokuls8157
    @gokuls8157 Год назад +2

    thank you so much for your support . awasome work ,thank you , thank you , thank you.

  • @mayanksingh4907
    @mayanksingh4907 5 лет назад +72

    2x speed users.............. RIP

    • @Talksofarjuun2405
      @Talksofarjuun2405 3 года назад +3

      What are u blabbering 😒😒😒

    • @thedeadspeaks
      @thedeadspeaks Год назад +6

      Bhai mai to 3x pr sun rh tha😢😢

    • @HopeNHopes
      @HopeNHopes Месяц назад

      😶‍🌫️😶‍🌫️😶‍🌫️😶‍🌫️😶‍🌫️

    • @HopeNHopes
      @HopeNHopes Месяц назад

      X_x

  • @kaushikigoel759
    @kaushikigoel759 6 лет назад +10

    Ur doing a grt job👍perfect explanation👏

    • @neonguy8000
      @neonguy8000 3 года назад

      Hey maybe you can clear my doubt...Are there any rules for creating the dominos in each step? Like why did we have the first domino as #/#q0 aba# and why not in some other form? Same question for Step 6 (#/B#) and Step 7 (q2##/#) dominos also....any clarification will be really appreciated.

    • @vageeshsharma8977
      @vageeshsharma8977 3 года назад

      @@neonguy8000 Have you got the answer yet??...if yes the please do share it with me.

  • @lamaspacos
    @lamaspacos 7 месяцев назад +1

    First general Draft:
    The input/state/tape of each TMP, including all the history, can be translated (see "Steps 1-7") in terms of dominos.
    This (see "Solution") remains true if we remove the history.
    If PCP would be decidable then the same would occur with TMP, which is (see Videos 100-101) not true.

  • @Mahadevlover365
    @Mahadevlover365 2 года назад +2

    Finally completed👌💯

  • @satish537
    @satish537 2 года назад +2

    thanks to your lectures

  • @shridhargupta7734
    @shridhargupta7734 Год назад +2

    Sir you are the best!! Your videos help me to sleep at night. Love you sir.. bas ek aur request thi ki ek aur esa example upload kardijiye on PCP, would be very helpful. Thanks again 💋💋

    • @anushka1507
      @anushka1507 Год назад

      Yes, please upload one more example. You are the best!!!

    • @afshankhan5067
      @afshankhan5067 Год назад +1

      a good 27 min. sleep . 🥱

    • @youknowme8359
      @youknowme8359 Год назад +1

      Pls make a video on example of pcp

  • @zamaralishah2113
    @zamaralishah2113 5 лет назад +2

    thank you sir i got a lot of information from this tutorial.

  • @shawnc7800
    @shawnc7800 5 лет назад +2

    awesome! thanks Neso!

  • @SaatvikPandey-t2y
    @SaatvikPandey-t2y 15 дней назад

    what is the logic of the conversion steps?

  • @jagdishgupta5476
    @jagdishgupta5476 11 месяцев назад

    but if we found the solution and matched the string how it is undecidable , is it not decidable?

  • @aishwaryanagarajan5818
    @aishwaryanagarajan5818 5 лет назад +1

    Could we use dominos for eg q0 a/X q1 as a q0/ q1x? For finding solution for pcp

  • @ismailhassan638
    @ismailhassan638 2 года назад +1

    why you but y in step 2 and you didnt in step 1 it same situation

  • @dhanujungkook1344
    @dhanujungkook1344 3 года назад

    Ur explaination is very clear nd ur voice is similar to tollywood actor mahesh babu..

  • @Aimthing
    @Aimthing 4 года назад +1

    where is the acceptance problem of tuning machine?

  • @neonguy8000
    @neonguy8000 3 года назад +3

    @Neso Academy; Sir, how is the Turing Machine shown in this lecture is related to/represents the ACCEPTANCE problem? Also are there any rules for creating the dominos in each step? Like why did we have the first domino as #/#q0 aba# and why not in some other form? Same question for Step 6 and 7 dominos also.... Pls clarify sir Or anyone who has clarity on these..ITS URGENT

    • @arjavgarg5801
      @arjavgarg5801 3 года назад +4

      exactly, this video barely makes any sense

    • @jagdishgupta5476
      @jagdishgupta5476 11 месяцев назад

      @@arjavgarg5801 one more if we found the solution, how it become undecidable

  • @silentxmoon867
    @silentxmoon867 Год назад

    thank you sir

  • @indhusaravanan6607
    @indhusaravanan6607 6 лет назад +2

    Perfect explanation...

  • @graveyard5056
    @graveyard5056 Год назад

    Bro how right and left can go to final state q2

  • @Venky-o1f
    @Venky-o1f Год назад

    THANK YOU

  • @aviroopmitra5353
    @aviroopmitra5353 Год назад

    sir, all your videos are informative, but why do you repeat the same sentence so many times?

  • @mfayaz20
    @mfayaz20 6 лет назад +2

    What about LBA

  • @lilgyvn
    @lilgyvn Год назад

    se prendo un bel voto mi tatuo il tuo logo indianozzo