{
localUrl: '../page/complexity_zoo.html',
arbitalUrl: 'https://arbital.com/p/complexity_zoo',
rawJsonUrl: '../raw/4b9.json',
likeableId: '0',
likeableType: 'page',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
pageId: 'complexity_zoo',
edit: '4',
editSummary: '',
prevEdit: '3',
currentEdit: '4',
wasPublished: 'true',
type: 'wiki',
title: 'Complexity theory: Complexity zoo',
clickbait: 'Pass and see the exotic beasts coming from the lands of afar!',
textLength: '3809',
alias: 'complexity_zoo',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'DuncanWilson',
editCreatedAt: '2017-01-25 14:45:55',
pageCreatorId: 'JaimeSevillaMolina',
pageCreatedAt: '2016-06-14 21:51:47',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '4',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '75',
text: 'Welcome, visitor! Get ready to exercise your sense of wonder and expand your mind on the **zoo of complexity**.\n\nThat where are the cages of the animals, you ask? No cage could contain our specimens, I must say. But you can get a glimpse of their nature through the chalky definitions in each of those blackboards. Where shall we go first?\n\n----\n\nOh yes! [ $P$], the class of problems solvable in polynomial time. A popular creature in our installations. It is commonly accepted that this class encompasses the problems which can be solved efficiently. Now, bear in mind that the classes in this zoo only classify problems attending to how fast the computational power you need to solve them grows compared to the size of the problem you are solving! That means, even if all grow at the same polynomial pace, some of the problems who lurk inside this class need a huge overload of resources from the very beginning, which makes them intractable! Not to talk about the multiplicative factor, which also gets ignored in making this distinction between classes, or the degree of the polynomial which upper bounds the function! Beliefs like that $x$ grows as fast as $1000 x^{42}+10^{100}$ can be misleading if not properly understood.\n\nHowever, in practice such instances are rare, and $P$ is still used thorough all computer science as a synonym of efficiency - though they pay special attention to the degree and distinguish between functions in $\\mathcal{O}(n)$ and functions in $\\mathcal{O}(n*log(n))$, even though all programs associated fall within $P$.\n\n----\n\nThe next creature is without a doubt the most famous of the zoo! Meet [ $NP$], the class of problems whose solution are easily checkable. This little creature is the responsible of modern cryptography, which relies on [one_way_functions functions easy to compute but hard to invert].\n\n$NP$ also is the main star, together with $P$, of one great show in the zoo. Oh, look! It is about to start!...\n\n*Announcer*: Ladies, gentlemen and children who are today with us! We present to you the main attraction of our bestiary, the infamous [ $P$ vs $NP$]!\n\n*Announcer*: You may already have seen both of those creatures, but are they two different beasts? Or only two aspects of the same thing?\n\n\n*Announcer*: Look again at them, and realize. If finding a solution to a problem is easy, then checking whether a given solution is true is also easy! You can always just find the solution again from scratch and check that both coincide. So we conclude that $P\\subset NP$. Can the reverse inclusion be true as well?\n\n*Announcer*: Imagine for a moment! The hard problems of creativity, solved at once through the clever application of an efficient algorithm! [Entscheidungsproble Automated short proof writing]! Instant reversal of one way functions!\n\n*Announcer*: However, we suspect that they are different, though a proof has remained elusive through the years. \n\n(the public cries: If we have been searching for decades for such a proof and none has been found then you should revise your beliefs and update against that! Why suspect otherwise?)\n\n*Announcer*: We seem to have an exceptionally well educated audience today! Then again, we have been also on the search for a proof of the opposite without fruition. Why give this fact more weight in the Bayesian scheme of the things? There happens to be a somewhat convoluted reason for this. For if $P=NP$, then we would expect proofs to be easier to find, while if $P!=NP$ the opposite is true! So it only makes sense that is more probable that we live in the world where $P!=NP$%%note:For a formalization of this notion check [ natural proofs]. Also, see [4bf Arguments against $P=NP$]%%!\n\n*Announcer*: And that's all for today, folks. Keep enjoying your visit though the zoo!\n\n---\n\n(To be continued)',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '2',
maintainerCount: '2',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: [
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0'
],
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'false',
proposalEditNum: '0',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {},
creatorIds: [
'JaimeSevillaMolina',
'DuncanWilson'
],
childIds: [],
parentIds: [
'complexity_theory'
],
commentIds: [],
questionIds: [],
tagIds: [
'start_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [],
lensParentId: 'complexity_theory',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '3968',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '21832',
pageId: 'complexity_zoo',
userId: 'DuncanWilson',
edit: '4',
type: 'newEdit',
createdAt: '2017-01-25 14:46:01',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13027',
pageId: 'complexity_zoo',
userId: 'JaimeSevillaMolina',
edit: '3',
type: 'newEdit',
createdAt: '2016-06-15 11:27:19',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13025',
pageId: 'complexity_zoo',
userId: 'JaimeSevillaMolina',
edit: '2',
type: 'newEdit',
createdAt: '2016-06-15 11:26:27',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2695',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '12944',
pageId: 'complexity_zoo',
userId: 'EricRogstad',
edit: '0',
type: 'newAlias',
createdAt: '2016-06-15 07:50:54',
auxPageId: '',
oldSettingsValue: '4b9',
newSettingsValue: 'complexity_zoo'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12803',
pageId: 'complexity_zoo',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newEdit',
createdAt: '2016-06-14 21:51:47',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12800',
pageId: 'complexity_zoo',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newParent',
createdAt: '2016-06-14 21:51:34',
auxPageId: 'complexity_theory',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12798',
pageId: 'complexity_zoo',
userId: 'JaimeSevillaMolina',
edit: '0',
type: 'deleteParent',
createdAt: '2016-06-14 21:50:54',
auxPageId: 'complexity_theory',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12796',
pageId: 'complexity_zoo',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newParent',
createdAt: '2016-06-14 21:49:47',
auxPageId: 'complexity_theory',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12795',
pageId: 'complexity_zoo',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newTag',
createdAt: '2016-06-14 21:49:40',
auxPageId: 'start_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}