FO (complexity)
http://dbpedia.org/resource/FO_(complexity) an entity of type: WikicatComplexityClasses
FO é uma classe de complexidade de estruturas que podem ser reconhecidas por fórmulas da lógica de primeira ordem. É a base do campo da e é equivalente à classe de complexidade FO-regulares. Várias extensões de FO, formadas pela adição de certos operadores, dão origem a outras classes de complexidade conhecidas , permitindo que a complexidade de certos problemas seja provada sem ter que recorrer ao nível algorítmico.
rdf:langString
rdf:langString
FO (complexity)
rdf:langString
FO (complexidade)
xsd:integer
7400401
xsd:integer
1072079402
rdf:langString
FO é uma classe de complexidade de estruturas que podem ser reconhecidas por fórmulas da lógica de primeira ordem. É a base do campo da e é equivalente à classe de complexidade FO-regulares. Várias extensões de FO, formadas pela adição de certos operadores, dão origem a outras classes de complexidade conhecidas , permitindo que a complexidade de certos problemas seja provada sem ter que recorrer ao nível algorítmico.
xsd:nonNegativeInteger
61