Hallo,
wie kann man folgendes beweisen:
Eine beliebige Menge Turing-äquivalenter Entscheidungsprobleme ist entweder Teil-
menge von BPP oder disjunkt zu BPP.
2) Eine beliebige Menge polynomiell äquivalenter Entscheidungsprobleme ist entweder
Teilmenge von co-RP oder disjunkt zu co-RP.
wie kann man folgendes beweisen:
Am einfachsten ist meistens, eine größere TM zu bauen, die die kleine mit erkennt:
z.B. zu 1: Eine TM erkennt ein Entscheidungsproblem, dann versuche ich eine BPP-TM zu bauen, die TM entschiedet. Ohne nachzudenken, würde ich sagen, sie sollte dies mit einer Fehlerwahrscheinlichkeit von 0 tun können, aber wer hat schon die genaue Definition noch im Kopf… 
Grüße
Ralph