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: 863Viewcount: 545

Viewcount: 816

Viewcount: 719

Viewcount: 562

Viewcount: 552

Viewcount: 717

Viewcount: 643

Viewcount: 882

Viewcount: 257

Viewcount: 557

Viewcount: 524

Viewcount: 527

Viewcount: 534

Viewcount: 561

Viewcount: 536

Viewcount: 577

Viewcount: 507

Viewcount: 723

Viewcount: 550

Viewcount: 482

Viewcount: 494

Viewcount: 654

Viewcount: 799

Viewcount: 857

Viewcount: 581

Viewcount: 560

Viewcount: 585

Viewcount: 1049

Viewcount: 525

Viewcount: 653

Viewcount: 590

Viewcount: 693

Viewcount: 599

Viewcount: 485

Viewcount: 484

Viewcount: 550

Viewcount: 483

Viewcount: 628

Viewcount: 469

Viewcount: 595

Viewcount: 484

Viewcount: 466

Viewcount: 537

Viewcount: 551

Viewcount: 654

Viewcount: 521

Viewcount: 639

Viewcount: 435

Viewcount: 496

Viewcount: 452

Viewcount: 493

Viewcount: 486

Viewcount: 635

Viewcount: 641

Viewcount: 622

Viewcount: 540

Viewcount: 482

Viewcount: 863

Viewcount: 595

Viewcount: 447

Viewcount: 440

Viewcount: 531

Viewcount: 600

Viewcount: 489

Viewcount: 495

Viewcount: 488

Viewcount: 497

Viewcount: 510

Viewcount: 473

Viewcount: 508

Viewcount: 502

Viewcount: 513

Viewcount: 489

Viewcount: 633

Viewcount: 519

Viewcount: 489

Viewcount: 478

Viewcount: 502

Viewcount: 501

Viewcount: 606

Viewcount: 470

Viewcount: 478

Viewcount: 493

Viewcount: 554

Viewcount: 523

Viewcount: 615

Viewcount: 618