Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104757941> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2104757941 endingPage "120" @default.
- W2104757941 startingPage "109" @default.
- W2104757941 abstract "We study the branching program complexity of the tree evaluation problem, introduced in [3] as a candidate for separating NL from LogCFL. The input to the problem is a rooted, balanced d-ary tree of height h, whose internal nodes are labelled with d-ary functions on [k] = {1,. . ., k}, and whose leaves are labelled with elements of [k]. Each node obtains a value in [k] equal to its d-ary function applied to the values of its d children. The output is the value of the root. Deterministic k-way branching programs as related to black pebbling algorithms have been studied in[3]. Herewe introducethe notion of fractional pebblingof graphstostudy non-deterministic branching program size. We prove that this yields non-deterministic branching programs with Q(k h/2+1 ) states solving the Boolean problem “determine whether the root has value 1” for binary trees - this is asymptotically better than the branching program size corresponding to black-white pebbling. We prove upper and lower bounds on the fractional pebbling number of d-ary trees, as well as a general result relating the fractional pebbling number of a graph to the black-white pebbling number. We introduce a simple semantic restriction called thrifty on k-way branching programs solving tree evaluation problems and show that the branching program size bound of Q(k h ) is tight (up to a constant factor) for all h ≥ 2 for deterministic thrifty programs. We show that the non-deterministic branching programs that correspond to fractional pebbling are thrifty as well, and that the bound of Q(k h/2+1 ) is tight for non-deterministic thrifty programs for h = 2,3,4. We hypothesise that thrifty branching programs are optimal among k-way branching programs solving the tree evaluation problem - proving this for deterministic programs would separate L from LogCFL and proving it for non-deterministic programs would separate NL from LogCFL." @default.
- W2104757941 created "2016-06-24" @default.
- W2104757941 creator A5007526297 @default.
- W2104757941 creator A5034555443 @default.
- W2104757941 creator A5039352699 @default.
- W2104757941 creator A5042816355 @default.
- W2104757941 creator A5085864294 @default.
- W2104757941 date "2009-12-01" @default.
- W2104757941 modified "2023-10-03" @default.
- W2104757941 title "Fractional pebbling and thrifty branching programs" @default.
- W2104757941 cites W143396352 @default.
- W2104757941 cites W1536619467 @default.
- W2104757941 cites W1556429797 @default.
- W2104757941 cites W1976463987 @default.
- W2104757941 cites W1992185863 @default.
- W2104757941 cites W2003104918 @default.
- W2104757941 cites W2006252547 @default.
- W2104757941 cites W2014963708 @default.
- W2104757941 cites W2036615169 @default.
- W2104757941 cites W2054197381 @default.
- W2104757941 cites W2061739322 @default.
- W2104757941 cites W2107000858 @default.
- W2104757941 cites W2134098997 @default.
- W2104757941 cites W2911480877 @default.
- W2104757941 doi "https://doi.org/10.4230/lipics.fsttcs.2009.2311" @default.
- W2104757941 hasPublicationYear "2009" @default.
- W2104757941 type Work @default.
- W2104757941 sameAs 2104757941 @default.
- W2104757941 citedByCount "4" @default.
- W2104757941 countsByYear W21047579412013 @default.
- W2104757941 countsByYear W21047579412021 @default.
- W2104757941 crossrefType "proceedings-article" @default.
- W2104757941 hasAuthorship W2104757941A5007526297 @default.
- W2104757941 hasAuthorship W2104757941A5034555443 @default.
- W2104757941 hasAuthorship W2104757941A5039352699 @default.
- W2104757941 hasAuthorship W2104757941A5042816355 @default.
- W2104757941 hasAuthorship W2104757941A5085864294 @default.
- W2104757941 hasConcept C113174947 @default.
- W2104757941 hasConcept C11413529 @default.
- W2104757941 hasConcept C114614502 @default.
- W2104757941 hasConcept C118615104 @default.
- W2104757941 hasConcept C134306372 @default.
- W2104757941 hasConcept C159985019 @default.
- W2104757941 hasConcept C187455244 @default.
- W2104757941 hasConcept C192562407 @default.
- W2104757941 hasConcept C197855036 @default.
- W2104757941 hasConcept C206175624 @default.
- W2104757941 hasConcept C3309909 @default.
- W2104757941 hasConcept C33923547 @default.
- W2104757941 hasConcept C77553402 @default.
- W2104757941 hasConceptScore W2104757941C113174947 @default.
- W2104757941 hasConceptScore W2104757941C11413529 @default.
- W2104757941 hasConceptScore W2104757941C114614502 @default.
- W2104757941 hasConceptScore W2104757941C118615104 @default.
- W2104757941 hasConceptScore W2104757941C134306372 @default.
- W2104757941 hasConceptScore W2104757941C159985019 @default.
- W2104757941 hasConceptScore W2104757941C187455244 @default.
- W2104757941 hasConceptScore W2104757941C192562407 @default.
- W2104757941 hasConceptScore W2104757941C197855036 @default.
- W2104757941 hasConceptScore W2104757941C206175624 @default.
- W2104757941 hasConceptScore W2104757941C3309909 @default.
- W2104757941 hasConceptScore W2104757941C33923547 @default.
- W2104757941 hasConceptScore W2104757941C77553402 @default.
- W2104757941 hasLocation W21047579411 @default.
- W2104757941 hasOpenAccess W2104757941 @default.
- W2104757941 hasPrimaryLocation W21047579411 @default.
- W2104757941 hasRelatedWork W1507688495 @default.
- W2104757941 hasRelatedWork W1524291506 @default.
- W2104757941 hasRelatedWork W1559569263 @default.
- W2104757941 hasRelatedWork W1975124543 @default.
- W2104757941 hasRelatedWork W2005253487 @default.
- W2104757941 hasRelatedWork W2041664513 @default.
- W2104757941 hasRelatedWork W2081438146 @default.
- W2104757941 hasRelatedWork W2134098997 @default.
- W2104757941 hasRelatedWork W2266334222 @default.
- W2104757941 hasRelatedWork W2272158670 @default.
- W2104757941 hasRelatedWork W2279830512 @default.
- W2104757941 hasRelatedWork W2468706558 @default.
- W2104757941 hasRelatedWork W2757545232 @default.
- W2104757941 hasRelatedWork W2794380282 @default.
- W2104757941 hasRelatedWork W2900307033 @default.
- W2104757941 hasRelatedWork W2950506817 @default.
- W2104757941 hasRelatedWork W2951503338 @default.
- W2104757941 hasRelatedWork W2980994391 @default.
- W2104757941 hasRelatedWork W3038344752 @default.
- W2104757941 hasRelatedWork W3183157744 @default.
- W2104757941 hasVolume "4" @default.
- W2104757941 isParatext "false" @default.
- W2104757941 isRetracted "false" @default.
- W2104757941 magId "2104757941" @default.
- W2104757941 workType "article" @default.