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: 585Viewcount: 335

Viewcount: 570

Viewcount: 466

Viewcount: 329

Viewcount: 334

Viewcount: 470

Viewcount: 342

Viewcount: 625

Viewcount: 23

Viewcount: 326

Viewcount: 337

Viewcount: 298

Viewcount: 332

Viewcount: 329

Viewcount: 326

Viewcount: 356

Viewcount: 317

Viewcount: 382

Viewcount: 349

Viewcount: 291

Viewcount: 306

Viewcount: 407

Viewcount: 493

Viewcount: 665

Viewcount: 377

Viewcount: 334

Viewcount: 331

Viewcount: 813

Viewcount: 308

Viewcount: 460

Viewcount: 312

Viewcount: 422

Viewcount: 306

Viewcount: 298

Viewcount: 305

Viewcount: 312

Viewcount: 281

Viewcount: 349

Viewcount: 277

Viewcount: 362

Viewcount: 282

Viewcount: 282

Viewcount: 319

Viewcount: 335

Viewcount: 447

Viewcount: 327

Viewcount: 345

Viewcount: 263

Viewcount: 287

Viewcount: 274

Viewcount: 324

Viewcount: 265

Viewcount: 433

Viewcount: 438

Viewcount: 438

Viewcount: 345

Viewcount: 295

Viewcount: 585

Viewcount: 373

Viewcount: 282

Viewcount: 277

Viewcount: 311

Viewcount: 424

Viewcount: 310

Viewcount: 309

Viewcount: 290

Viewcount: 297

Viewcount: 306

Viewcount: 296

Viewcount: 301

Viewcount: 321

Viewcount: 300

Viewcount: 285

Viewcount: 402

Viewcount: 310

Viewcount: 304

Viewcount: 270

Viewcount: 279

Viewcount: 299

Viewcount: 420

Viewcount: 280

Viewcount: 282

Viewcount: 286

Viewcount: 332

Viewcount: 291

Viewcount: 318

Viewcount: 339