Mówiąc wprost: jaka jest zgodność między maszynami Turinga z wyroczniami a rodzinami jednorodnych obwodów z wyroczniami? Jak te ostatnie są zdefiniowane w celu uzyskania tego samego modelu obliczeniowego dla danej maszyny Turinga z Oracle?
To może być elementarne pytanie, ale nie jest oczywiste, gdzie szukać, a ja jestem osobą, która lubi upewniać się, że moje fundamenty używają zaprawy dobrej jakości. Jeśli istnieje standardowe odniesienie, proszę o wskazanie mnie. (Na przykład książka Papadimitriou w ogóle nie opisuje obwodów z wyroczniami).
Moja robocza hipoteza jest następująca: rodzina jednorodnych obwodów z dostępem do wyroczni (np. W celu rozwiązania problemu NP-zupełnego) jest zdefiniowana następująco:
Definiuje się nieskończoną rodzina „Oracle bramy” O n , po jednej dla każdego wymiaru obwodu n, z których każdy obliczania funkcji f n : {0,1} cn → {0,1}, dla pewnej stałej C.
Funkcje f n obliczone przez bramki wyroczni O n powinny być „jednolite” w następującym znaczeniu: dla dowolnego n <N i x ∈ {0,1} n wymagamy f n ( x ) = f N (0 c ( N-n) x ) --- to znaczy, że wyrocznie muszą używać spójnego i rozszerzalnego „kodowania” swoich danych wejściowych.
Następnie określa jeden jednolity rodziny obwodu, gdzie bramy oracle należą dopuszczalnych operacji do obwodu ograniczającego obwód wielkości wejściowej n użyć bramy O n .
Wyobrażam sobie, że niektóre z powyższych wyborów mogą być arbitralnie ustalone bez utraty ogólności. Interesuje mnie odniesienie do korespondencji lub przynajmniej opis sposobu modyfikacji powyższego opisu w celu uzyskania standardowego.
źródło
Odpowiedzi:
Najlepszym odniesieniem dla relatywizowanych obwodów jest artykuł Chrisa Wilsona „Relativized NC” http://www.springerlink.com/content/u727654246wu8662/
Drugi warunek (zamknięcie O_n w dół) nie jest potrzebny do uzyskania równoważności między P ^ O a jednorodnymi obwodami wielowymiarowymi z oracle O. Również trzeci warunek powinien zostać wyrzucony, rozmiar obwodu uniemożliwi dostęp do O_m dla m większy niż rozmiar obwodu.
źródło