Recent content by JacobIA

  1. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    "That was why I have been repeatedly asking for a proper definition of the problem" Let us simply things a bit. Problem definition: Let n be an integer. Can we compute n^2 in polynomial time for any n?
  2. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    thank you for your time. but if we do assume pythagorean tripples...is the formula in np or not? "... If a and b are fixed, then I can write a2+b2 even in constant time.
  3. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    mmm! ok. so the pythagoras formula cannot be verified in poly time (for all values) and therefor not in np. correct? if correct then i think i understand now. many thanks!
  4. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    sorry, i did not see the rest of your post. was using a small screen phone. now using laptop... ok. so your saying pythagoras theorem/formula in probably not in NP because some input values cannot be written in finite time. makes sense. am i on the same page with you now?
  5. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    Great answers guys! If I understand (I hope I do!) What your saying is that the input I.e in the pythagoras theorem or formula a^2 + b^2 = c^2 . Say your given a, b and c. Verifyng c in polynomial time is not possible for large a and B. is large i.e close to infin
  6. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    Np-hard: say problem A is np-HARD. ﹰﹰproblem ﹰB is also np-hard if problem A can reduce to problem B. So when I asked if pythagoras theorem (finding the third side...) is np-hard, I was really asking if there exists an np-hard problem that reduces to the pythagoras theorem.
  7. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    Problem: given two sides of a right angled triangle. Find the third side. I can verify that in polynomials time
  8. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    Aha! Now we are getting somewhere. The question now is : is pythagoras np-hard? If not then why not? Sorry .. a bit of a lazy typer. Pythagoras theorem. A^2 +b^ = c^2
  9. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    Aha! Now we are getting somewhere. The question now is : is pythagoras np-hard? If not then why not?
  10. J

    Who is Jacobia and What is Her Take on P vs NP?

    I also replied to some question on P VS NP.
  11. J

    If P = NP, can a proof be generated / verified efficiently for a proposition?

    Going back to the pythagoras example. Given two sides of a right angled triangle A and B. VERIFYING that some given number C is a solution to the third side can be done in polynomial time - just plug it in the formula A^2 + B^2 = C^2. On the other hand, FINDING C can also be done in polynomial...
Back
Top