This HTML5 document contains 54 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17http://portal.acm.org/
n15https://portal.acm.org/
n9https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://www.iro.umontreal.ca/~mckenzie/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Integer_circuit
dbo:wikiPageWikiLink
dbr:Circuits_over_sets_of_natural_numbers
Subject Item
dbr:Circuit_(computer_science)
dbo:wikiPageWikiLink
dbr:Circuits_over_sets_of_natural_numbers
Subject Item
dbr:Circuits_over_sets_of_natural_numbers
rdf:type
dbo:Person
rdfs:label
Circuits over sets of natural numbers Circuitos sobre conjuntos de números naturais
rdfs:comment
Circuitos sobre conjuntos de números naturais são um modelo matemático utilizado no estudo da teoria da complexidade computacional. Eles são um caso especial de circuitos. O objeto é classificado como grafo acíclicos dirigidos a nós do que avaliar os conjuntos dos números naturais, as folhas são conjuntos finitos, e as portas são operações de conjuntos ou operações aritméticas. Como um problema algorítmico, o problema é descobrir se um dado número natural é um elemento do nó de saída ou se dois circuitos calculam o mesmo conjunto. Decidibilidade é ainda uma questão em aberto. Circuits over natural numbers are a mathematical model used in studying computational complexity theory. They are a special case of circuits. The object is a labeled directed acyclic graph the nodes of which evaluate to sets of natural numbers, the leaves are finite sets, and the gates are set operations or arithmetic operations. As an algorithmic problem, the problem is to find if a given natural number is an element of the output node or if two circuits compute the same set. Decidability is still an open question.
dct:subject
dbc:Computational_complexity_theory dbc:Arithmetic
dbo:wikiPageID
27750331
dbo:wikiPageRevisionID
1068100300
dbo:wikiPageWikiLink
dbr:Oracle_machine dbr:Algorithm dbc:Computational_complexity_theory dbr:Polynomial_hierarchy dbr:Bounded-error_probabilistic_polynomial dbr:NL_(complexity) dbr:Natural_number dbr:Computational_complexity_theory dbr:CL_(complexity) dbr:Tree_(graph_theory) dbr:PSPACE dbr:L_(complexity) dbr:NC_(complexity) dbr:Set_(mathematics) dbr:Circuit_complexity dbr:NP_(complexity) dbr:NEXPTIME dbr:P_(complexity) dbc:Arithmetic dbr:LOGCFL dbr:NP-complete dbr:RP_(complexity) dbr:Double_exponential_function dbr:Circuit_(computer_theory) dbr:Directed_acyclic_graph dbr:Halting_problem
dbo:wikiPageExternalLink
n15:citation.cfm%3Fid=2391509 n17:citation.cfm%3Fid=1238761 n17:citation.cfm%3Fid=646517.696311 n19:Dagstuhl02.pdf
owl:sameAs
wikidata:Q5121632 n9:4i2en freebase:m.0cc951x dbpedia-pt:Circuitos_sobre_conjuntos_de_números_naturais
dbp:wikiPageUsesTemplate
dbt:Citation dbt:Reflist
dbo:abstract
Circuitos sobre conjuntos de números naturais são um modelo matemático utilizado no estudo da teoria da complexidade computacional. Eles são um caso especial de circuitos. O objeto é classificado como grafo acíclicos dirigidos a nós do que avaliar os conjuntos dos números naturais, as folhas são conjuntos finitos, e as portas são operações de conjuntos ou operações aritméticas. Como um problema algorítmico, o problema é descobrir se um dado número natural é um elemento do nó de saída ou se dois circuitos calculam o mesmo conjunto. Decidibilidade é ainda uma questão em aberto. Circuits over natural numbers are a mathematical model used in studying computational complexity theory. They are a special case of circuits. The object is a labeled directed acyclic graph the nodes of which evaluate to sets of natural numbers, the leaves are finite sets, and the gates are set operations or arithmetic operations. As an algorithmic problem, the problem is to find if a given natural number is an element of the output node or if two circuits compute the same set. Decidability is still an open question.
gold:hypernym
dbr:Model
prov:wasDerivedFrom
wikipedia-en:Circuits_over_sets_of_natural_numbers?oldid=1068100300&ns=0
dbo:wikiPageLength
10786
foaf:isPrimaryTopicOf
wikipedia-en:Circuits_over_sets_of_natural_numbers
Subject Item
wikipedia-en:Circuits_over_sets_of_natural_numbers
foaf:primaryTopic
dbr:Circuits_over_sets_of_natural_numbers