An Entity of Type: disease, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

A proper complexity function is a function f mapping a natural number to a natural number such that: * f is nondecreasing; * there exists a k-string Turing machine M such that on any input of length n, M halts after O(n + f(n)) steps, uses O(f(n)) space, and outputs f(n) consecutive blanks. If f and g are two proper complexity functions, then f + g, fg, and 2f are also proper complexity functions. Similar notions include honest functions, space-constructible functions, and time-constructible functions.

Property Value
dbo:abstract
  • A proper complexity function is a function f mapping a natural number to a natural number such that: * f is nondecreasing; * there exists a k-string Turing machine M such that on any input of length n, M halts after O(n + f(n)) steps, uses O(f(n)) space, and outputs f(n) consecutive blanks. If f and g are two proper complexity functions, then f + g, fg, and 2f are also proper complexity functions. Similar notions include honest functions, space-constructible functions, and time-constructible functions. (en)
dbo:wikiPageID
  • 2908475 (xsd:integer)
dbo:wikiPageLength
  • 956 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1081227362 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • A proper complexity function is a function f mapping a natural number to a natural number such that: * f is nondecreasing; * there exists a k-string Turing machine M such that on any input of length n, M halts after O(n + f(n)) steps, uses O(f(n)) space, and outputs f(n) consecutive blanks. If f and g are two proper complexity functions, then f + g, fg, and 2f are also proper complexity functions. Similar notions include honest functions, space-constructible functions, and time-constructible functions. (en)
rdfs:label
  • Proper complexity function (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License