Forum: scifi.stackexchange.com
Tags: <history-of><hard-sci-fi><mathematics>
Title: Which was the first novel set in universes where P=NP?
Question: I wonder whether anyone has written a novel set in a universe where  P=NP , in the event that there is more than one, which was the first?   In this universe all problems that could be verified in polynomial time (NP) (given the solution) could also be solved in polynomial time (P).

Answers:
sents: text: Star Trek, Various, 1966 (earliest occurrence) P=NP in the Star Trek universe, but the people there aren't aware of it.
text: Evidence:
text: There is encryption but it is always breakable.
text: P
text: =NP will let you crack everything but one-time pads but the Federation stubbornly continues to use NP-based ciphers.
text: The efficacy of the universal translator.
text: P
text: =NP would make learning new languages a breeze, at least for a computer.
text: Learning systems would be so simple and straightforward to implement that there wouldn't be a linguist left with a job.
text: The efficacy of the bio-filter.
text: The transporter routinely filters unknown organisms, viruses and other hazards when crewmen are beamed aboard ship.
text: But "bio-filter" is a misleading term as it brings to mind some sort of sieve that catches all the bad stuff and passes only the good.
text: In reality running such a "filter" over transport data would be the mother of all induced subgraph isomorphism problems , as you would have to identify all virus-sized structures in an organism chock-full of such structures.
text: P
text: =NP magicks away the input-related exponent that makes such problems intractable even for small graphs.
text: Self-aware machine intelligence is created with ease.
text: Wesley Crusher created one by accident.
text: So did Richard Daystrom.
text: The Enterprise D computer cooked up Moriarty in its spare cycles, Dr. Farallon created the Exocomps, and so on.
text: All you seem to need to do is build something equivalent to a theorem proving system and let it run long enough to stumble over the proof that P or some other tractable class is equivalent to NP and the system is off to the races.
text: Or perhaps the Star Trek denizens are collapsing the polynomial hierarchy by technological means.
text: The Federation, Borg, etc. seem to have ready access to time machines, wormholes, exotic matter, and superluminal signalling, so they could be using closed time-like curves for computation.
text: This
text: according to Scott Aaronson would allow them efficiently solve PSPACE-complete problems.
answer_details: author: scifi.stackexchange.com/users/4096/Kyle Jones
score: 75
sents: text: Antibodies, Charles Stross, 2000 A short story that hinges on the fact that solving P=NP is a required prerequisite for developing a computer intelligence.
text: It's available in his book Toast .
text: Stross has put the full text of this book online.
text: ( This link will take you directly to the story.)
text: And according to Stross's site, the story was: Published in Interzone #157; republished in "The Year's Best Science Fiction #18" (ed.
text: Gardner Dozois).
text: Mentioned in Locus' "
text: Recommended Reading List" for 2000.
text: Shortlisted for the 2001 Theodore Sturgeon Award (lost to Ian MacDonald's "Tendoleo's Story").
answer_details: author: scifi.stackexchange.com/users/69/Martha F.
score: 54
sents: text: The other Stross book that deals with this is The Atrocity Archives , where Alan Turing solved P=NP, but they then found that doing so allowed access to the Cthonic Realms, so now an entire branch of Government exists to prevent this discovery becoming public knowledge.
answer_details: author: scifi.stackexchange.com/users/2213/deworde
score: 25
sents: text: In Vernor Vinges "Zones of Thought" series ("The Blabber", A Fire Upon the Deep , A Deepness in the Sky and the forthcoming The Children of the Sky ), computation is easier in some parts of the galaxy, allowing for things like artificial intelligence and FTL travel.
text: It has been speculated (but there's no direct evidence in the books) that P=
text: NP in these zones.
answer_details: author: scifi.stackexchange.com/users/23/Mike Scott
score: 18
sents: text: In the fanfic Harry Potter and the Methods of Rationality by Eliezer S. Yudkowsky, Harry gets a time machine and tries to factor the product of two large prime numbers using this machine, with a somewhat weird result.
text: So it is not completely given that NP=P , but seems probable.
answer_details: author: scifi.stackexchange.com/users/2409/M.K.
score: 5
sents: text: The Roaring Trumpet by Spague de Camp and Fletcher Pratt, published in May 1940 in Unknown.
text: Here, psychologists posit that schizophrenics are actually mentally accessing alternate universes, and by applying the proper equations, one could travel to that alternate universe and bring the persons mind back to our universe.
text: It was an intellectual exercise which the main protagonist Harold Shea decides to test out.
text: He jokingly refers to travel via syllogismobile, but it involves studying and constructing the logic of the universe destination and reciting it out loud.
text: This generally begins with "if P is equal to not P..." And goes from there.
text: The entire Enchanter series has them universe hopping through mythology and fairy tale and classical works by doing so.
text: I suspect, never having given it any real thought, that by prefacing with P=NP, they were distinguishing the universe as one in which magic functions.
answer_details: author: scifi.stackexchange.com/users/24024/Broklynite
score: 2
sents: text: Nemesis, Isaac Asimov, 1989
text: It talks about imposibilities and the implications of an universe where the laws of physics doesn't apply
answer_details: author: scifi.stackexchange.com/users/149/Gelvis
score: 1
sents: text: The practice effect , David Brin, 1984
text: This seems a likely candidate.
text: In the depicted universe, a robotic probe from our universe starts to self-optimize both physically and mentally while the human intelligence remains unaltered.
text: Also physical objects tend to self-optimize: a wooden sleigh develops lubricant to easily slide on the road.
text: This practice effect can be boosted by a special state of trance where the solution appears immediately by itself, hence inanimate objects perform a wide-range evolution within non-polynomial time (Seeking a near infinite array of posible solutions within a short period of time).
text: This universe actually transcends P=NP.
answer_details: author: scifi.stackexchange.com/users/2818/aquaherd
score: 1
sents: text: In the story Starshield Sentinels by Margaret Weis and Tracy Hickman, there were computers/artificial intelligences that could answer any question instantly by sending the question back in time to itself, giving it 'time' to solve it.
text: The only hiccup to this was that the computer had to be 'awake' long enough to solve it (something like Deep Thought from The Hitchhiker's Guide to the Galaxy needing 10 million years to solve the question to life, the universe, and everything).
text: While I don't know if this exactly pertains to everything P = NP, it does solve the variable/solve clause in the question.
text: Of course the computers all go nuts and try to kill everyone in the story.
text: Can't we stop trying to invent killer robots now?
answer_details: author: scifi.stackexchange.com/users/103315/jersey
score: 0

Summary of the answers:
Works set in universes where P=NP are said to include The Practice Effect, by David Brin (1984); Antibodies (2000) and The Atrocity Archives, by Charles Stross (2000). P=NP in the Star Trek Universe in 1966.
There are 3 possibilities for where  the first novel was set in universes where P=NP - 'Star Trek Various 1966, 'Antibodies' by Charles Stross 2000, and 'The Practice Effect by David Brin 1984.