FO (complexity)
Автор:
Jesse Russell,Ronald Cohn, 105 стр., издатель:
"Книга по Требованию", ISBN:
978-5-5139-5490-3
High Quality Content by WIKIPEDIA articles! FO is the complexity class of structures which can be recognised by formulae of first-order logic. It is the foundation of the field of descriptive complexity and is equal to the complexity class AC0 FO-regular. Various extensions of FO, formed by the addition of certain operators, give rise to other well-known complexity classes, allowing the complexity of some problems to be proven without having to go to the algorithmic level. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной тематики,...