Pan Franciszek chyba powinien dostać dodatkowe punkty za ożywianie tego forum.
Poprawiłem zadanie 3.
(Chodzi o zadanie 9)
Wyobraźmy sobie, że piszemy program komputerowy, który ma stwierdzać spójność grafu, ale nie mamy grafu w pamięci, czy na wejściu. Mamy dostęp przez sieciowe API do usługi, która jak dostanie dwa numery wierzchołków, to powie, czy łączy je krawędź. Serwer realizujący to API jest gdzieś daleko (np. na Księżycu), więc prawdziwą miarą wydajności naszego programu nie jest złożoność, tylko liczba zapytań do API.
Mamy funkcję F: {\{0,1\}}^n \to \{0,1\}, i dostęp do obwodu O_F^\pm. Takiego jak ten, co go zbudowaliśmy na ostatnim wykładzie.
W zadaniu 15 wprowadziłem poprawkę, zamieniając obwód O_F^\pm na O_F, bo w klasycznych obliczeniach O_F^\pm nie ma sensu.