Czy możemy liczyć na głębokość


19

Możemy obliczyć bramę progową -bitowa przez wielomian wielkości (nieograniczona fan-in) obwody głębokość lg nn ? Alternatywnie, czy możemy policzyć liczbę 1s w bitach wejściowych za pomocą tych obwodów?lg⁡nlg⁡lg⁡n

Czy ?TC0⊆AltTime(O(lg⁡nlg⁡lg⁡n),O(lg⁡n))


Należy zauważyć, że . Pytanie w istocie nasuwa pytanie, czy możemy zapisać współczynnik lg lg n na głębokości obwodów podczas obliczania bram progowych.TC0⊆NC1=ALogTime=AltTime(O(lg⁡n),O(lg⁡n))lg⁡lg⁡n


Edytować:

Jak napisał Kristoffer w swojej odpowiedzi, możemy zapisać współczynnik . Ale czy możemy zaoszczędzić trochę więcej? Czy możemy zastąpić O ( lg nlg⁡lg⁡nzo(lgnO(lg⁡nlg⁡lg⁡n)?o(lg⁡nlg⁡lg⁡n)

Wydaje mi się, że warstwowa sztuczka brute-force nie działa na zapisanie nawet (bardziej ogólnie dowolnej funkcji w lg lg n + ω ( 1 ) ).2lg⁡lg⁡nlg⁡lg⁡n+ω(1)


3
Zmodyfikowałem swoją odpowiedź, aby uwzględnić również najnowszą edycję.
— Kristoffer Arnsfelt Hansen

Odpowiedzi:


22

Rozważmy obwód wentylatora 2 o głębokości O ( log n ) . Podziel warstwy C na O ( log n / log log n ) blokuje każdą log log n kolejnych warstw. Teraz chcemy zastąpić każdy blok obwodem o głębokości 2. Mianowicie, każda bramka w ostatniej warstwie bloku zależy maksymalnie od 2 log dziennika n = log nCO(log⁡n)CO(log⁡n/log⁡log⁡n)log⁡log⁡n2log⁡log⁡n=log⁡nbramy ostatniej warstwy w bloku poniżej. Możemy zatem zastąpić każdą bramę w ostatniej warstwie wartością DNF o wielkości wielomianowej, przy czym dane wejściowe są bramkami w ostatniej warstwie bloku poniżej. Wykonanie tego dla wszystkich bramek w ostatnich warstwach dla wszystkich bloków i połączenie ich powinno dać pożądany obwód.

Zauważmy, że jest to w zasadzie najlepsze, co można uzyskać: lemat przełączania pozwala na dolne granice aż do głębokości .log⁡n/log⁡log⁡n


1
Dzięki Kristoffer. Dodałem nieco silniejsze pytanie.
— Kaveh

2
Wystarczy, aby upewnić się uzyskać duży obraz poprawnie: do głębokości obwody te nie mogą obliczyć parzystości, na tej głębokości nagle stają się zdolne do obliczania N C 1 . lg⁡n/lg⁡lg⁡nNC1
— Kaveh

2
Zgadza się (aż do stałych czynników na głębokości).
— Kristoffer Arnsfelt Hansen
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.