Den "komponenträkning lägre gränsen l känd för deterministiska linjära sökalgoritmer (LSA) har också för sina probabilistiska versioner (PLSA) för många problem, även om tvåsidig fel är tillåtet, och om man inte debiterar för probabilistiska val. Detta innebär lägre gränser på PLSA:s för t.ex. elementet distinktion problem (n log n) eller Knapsack problem (n 2 ). Dessa resultat ger de första separationerna mellan probabilistiska och icke-deterministiska l..SA: s, eftersom ovanstående problem är icke-deterministiskt mycket lättare. Tidigare nedre gränser för PLSA: s antingen bara fungerade för ensidig fel lejon den fina sidan", dvs.. på den sida där problemen är till och med icke-deterministiskt svåra, eller endast för probabilistiska jämförelseträd. Beviset på loweb ound skiljer sig i grunden från alla kända nedre gränser för LSA: s eller PLSA: s, eftersom det inte minskar problemet till en kombinatorisk men argumenterar mycket om t.ex. en icke diskret åtgärd för likhet mellan uppsättningar i R." Detta lägre bundet resultat löser ett öppet problem från Manber och Tompa såväl som från Snir. Dessutom kan en PLSA för n indatavariabler med tvåsidigt fel och förväntad körtid T simuleras av en (deterministisk) LSA i "fln steg. Detta bevisar att de klyftor mellan probabilistiska och deterministiska LSA som Snir har visat inte kan göra det. Vara för stor. Eftersom denna simulering även håller för algebraiska beräkning träd visar vi att probabilistiska och deterministiska versioner av denna modell är polynomiskt relaterade. Detta är en svagare version av ett resultat på grund av författaren som visar att när det gäller LSA: s, även de icke-deterministiska och deterministiska versioner är polynomiskt relaterade.
Komponenträkning argumentet generaliseras för lägre gränser på tvåsidigt fel linjär PADT i REF.
Nondeterministic versus probabilistic linear search algorithms
{'venue': '26th Annual Symposium on Foundations of Computer Science (sfcs 1985)', 'journal': '26th Annual Symposium on Foundations of Computer Science (sfcs 1985)', 'mag_field_of_study': ['Computer Science']}