2012 | OriginalPaper | Buchkapitel
Bounded Time
verfasst von : Stasys Jukna
Erschienen in: Boolean Function Complexity
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter we show a time-size tradeoff for nondeterministic branching programs. By the
size
of a program in this chapter we will mean the number of nodes, not just the number of labeled edges. A program computes a given function
in time
T if every accepted input has at least one accepting computation of length at most T.