Matches in SemOpenAlex for { <https://semopenalex.org/work/W1969204022> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1969204022 endingPage "233" @default.
- W1969204022 startingPage "223" @default.
- W1969204022 abstract "Algorithmic problems are considered that are related to implementing bounded-deterministic functions by circuits and formulas of the minimum size in automaton bases. The problem of finding the asymptotics of the Shannon function is known to be algorithmically undecidable in the case of complete bases, but the coefficient in the formula for the Shannon function can be found with arbitrary accuracy. In the paper the so called strong algorithmic undecidability of the problem of finding the asymptotics of the Shannon function in the case of functionally complete bases is proved. A basis is called cf-equivalent if the constants in the asymptotic formulas for the Shannon function in the classes of circuits and formulas coincide. The existence of bases that are not cf-equivalent is proved in the case of functionally complete bases. It is proved that the recognition problem for the cf-equivalence of a basis is algorithmically undecidable in the strong sense." @default.
- W1969204022 created "2016-06-24" @default.
- W1969204022 creator A5024348681 @default.
- W1969204022 date "2004-01-01" @default.
- W1969204022 modified "2023-10-16" @default.
- W1969204022 title "Complexity of implementing functions of k-valued logic by circuits and formulas in functionally complete bases" @default.
- W1969204022 cites W3025059406 @default.
- W1969204022 doi "https://doi.org/10.1016/s0166-218x(02)00306-2" @default.
- W1969204022 hasPublicationYear "2004" @default.
- W1969204022 type Work @default.
- W1969204022 sameAs 1969204022 @default.
- W1969204022 citedByCount "0" @default.
- W1969204022 crossrefType "journal-article" @default.
- W1969204022 hasAuthorship W1969204022A5024348681 @default.
- W1969204022 hasConcept C118615104 @default.
- W1969204022 hasConcept C12426560 @default.
- W1969204022 hasConcept C134306372 @default.
- W1969204022 hasConcept C14036430 @default.
- W1969204022 hasConcept C153269930 @default.
- W1969204022 hasConcept C192034797 @default.
- W1969204022 hasConcept C2524010 @default.
- W1969204022 hasConcept C2780069185 @default.
- W1969204022 hasConcept C33923547 @default.
- W1969204022 hasConcept C34388435 @default.
- W1969204022 hasConcept C78458016 @default.
- W1969204022 hasConcept C86803240 @default.
- W1969204022 hasConceptScore W1969204022C118615104 @default.
- W1969204022 hasConceptScore W1969204022C12426560 @default.
- W1969204022 hasConceptScore W1969204022C134306372 @default.
- W1969204022 hasConceptScore W1969204022C14036430 @default.
- W1969204022 hasConceptScore W1969204022C153269930 @default.
- W1969204022 hasConceptScore W1969204022C192034797 @default.
- W1969204022 hasConceptScore W1969204022C2524010 @default.
- W1969204022 hasConceptScore W1969204022C2780069185 @default.
- W1969204022 hasConceptScore W1969204022C33923547 @default.
- W1969204022 hasConceptScore W1969204022C34388435 @default.
- W1969204022 hasConceptScore W1969204022C78458016 @default.
- W1969204022 hasConceptScore W1969204022C86803240 @default.
- W1969204022 hasIssue "1-3" @default.
- W1969204022 hasLocation W19692040221 @default.
- W1969204022 hasOpenAccess W1969204022 @default.
- W1969204022 hasPrimaryLocation W19692040221 @default.
- W1969204022 hasRelatedWork W1988398776 @default.
- W1969204022 hasRelatedWork W1988946128 @default.
- W1969204022 hasRelatedWork W2037204124 @default.
- W1969204022 hasRelatedWork W2054812122 @default.
- W1969204022 hasRelatedWork W2110385897 @default.
- W1969204022 hasRelatedWork W2529633050 @default.
- W1969204022 hasRelatedWork W2561829717 @default.
- W1969204022 hasRelatedWork W2795955005 @default.
- W1969204022 hasRelatedWork W2952426464 @default.
- W1969204022 hasRelatedWork W3099018049 @default.
- W1969204022 hasVolume "135" @default.
- W1969204022 isParatext "false" @default.
- W1969204022 isRetracted "false" @default.
- W1969204022 magId "1969204022" @default.
- W1969204022 workType "article" @default.