Cook-Levin theorem on wikipedia states that: "An important consequence of this theorem is that if there exists a deterministic polynomial time algorithm for solving Boolean satisfiability, then every NP problem can be solved by a deterministic polynomial time algorithm." Now, the important thing to recognise is that a deterministic polynomial time algorithm for solving Boolean satisfiability actually exists, it's just that the definition of what polynomial time is, is different from person to person. The algorithm is the boundary of P and NP, or the encoding from one to the other. And the situation is that the exponential function is equivalent to an infinite series of polynomials. Thus, NP is merely an infinite series of P. Thus, all NP problems are solvable in P time, so long as you can count to an infinite accuracy of P. It's not a question of P or NP, but of discreteness and continuity. Seeing as NP algorithms require one of two things, irrational discreteness, or irrational continuity, and the second includes the first. Because, the polynomial algorithms that encodes NP require very very accurate numbers for the polynomial multipliers, or an infinite amount of them. Either way, knowing the answer to an NP question, skips all time to compute it. The problem is in the calculable discreteness of P. If you can't define every actual number (those between 0 and 1) then you can't count at all, comparably.

Viewcount: 1021Viewcount: 692

Viewcount: 938

Viewcount: 849

Viewcount: 688

Viewcount: 697

Viewcount: 870

Viewcount: 798

Viewcount: 1029

Viewcount: 396

Viewcount: 712

Viewcount: 643

Viewcount: 650

Viewcount: 668

Viewcount: 715

Viewcount: 679

Viewcount: 706

Viewcount: 625

Viewcount: 902

Viewcount: 679

Viewcount: 612

Viewcount: 615

Viewcount: 770

Viewcount: 962

Viewcount: 983

Viewcount: 710

Viewcount: 693

Viewcount: 744

Viewcount: 1222

Viewcount: 639

Viewcount: 778

Viewcount: 733

Viewcount: 839

Viewcount: 759

Viewcount: 598

Viewcount: 605

Viewcount: 699

Viewcount: 618

Viewcount: 767

Viewcount: 577

Viewcount: 735

Viewcount: 588

Viewcount: 596

Viewcount: 685

Viewcount: 690

Viewcount: 795

Viewcount: 640

Viewcount: 785

Viewcount: 542

Viewcount: 625

Viewcount: 582

Viewcount: 615

Viewcount: 636

Viewcount: 776

Viewcount: 800

Viewcount: 752

Viewcount: 671

Viewcount: 605

Viewcount: 1021

Viewcount: 733

Viewcount: 563

Viewcount: 557

Viewcount: 675

Viewcount: 713

Viewcount: 609

Viewcount: 675

Viewcount: 600

Viewcount: 638

Viewcount: 645

Viewcount: 593

Viewcount: 626

Viewcount: 624

Viewcount: 644

Viewcount: 620

Viewcount: 781

Viewcount: 652

Viewcount: 606

Viewcount: 617

Viewcount: 617

Viewcount: 632

Viewcount: 764

Viewcount: 591

Viewcount: 616

Viewcount: 633

Viewcount: 703

Viewcount: 670

Viewcount: 780

Viewcount: 762