Mówią tak lub nie i zawsze jest to prawdą. Dlaczego matematycy konsultują się z wyroczniami?
Obliczenia korzystają z niektórych pomocników, którzy choć mają mistyczną nazwę, w rzeczywistości są o wiele bardziej przydatne dla nauki niż boskie wyrocznie: wielka pomoc w rozwiązywaniu problemów matematycznych.
Mówią, że nauka jest wrogiem magii, ale sytuacja się zmienia, gdy nawet naukowcy zwracają się do jasnowidza.
W informatyce jednak zamiast kryształowej kuli stworzyli informatycy fikcyjne urządzenia którzy szybko i poprawnie odpowiadają na pytania.
Stały się one potężnym narzędziem w teoria złożoności obliczeniowej, konto do. Podobnie jak instrumenty czytające losy ludzi, urządzenia te nazywane są również wyrocznie.
Teoretycy złożoności próbują zrozumieć, czy te pozorne różnice w trudności są fundamentalne. klasyfikować problemy obliczeniowe według ich nieodłącznej trudności. I tu z pomocą przychodzą wyrocznie.
Następnie tworzą informatycy i matematycy „klasy złożoności”. Istnieje klasa problemów łatwych do rozwiązania, którą badacze nazywają „P„, oraz klasa problemów łatwych do sprawdzenia, „NP„.
Teoretycy złożoności podejrzewają, że NP nie jest równe P, ale nie mogą tego udowodnić i od 50 lat próbują zrozumieć związek między obiema klasami.
Pomogły nam wyrocznie zaprogramowane tak, aby odpowiadały na jedno pytanie lepiej zrozumieć, nad czym pracują. Zasadniczo wyrocznia jest abstrakcyjną maszyną, do której przywykliśmy studiować problemy decyzyjne.
Można na przykład zadać temu przyrządowi pytanie „czy ta liczba jest pierwsza?”, a odpowiedź zawsze będzie precyzyjna i poprawna.
Quanta podsumowuje, że w świecie, w którym każdy komputer ma bezpośrednie połączenie z jedną z tych wyroczni, wszystkie problemy, które można łatwo zweryfikować, byłyby również łatwe do rozwiązania, a P byłoby równe NP.
Oprócz wszystkich tych cech, naukowcy zbadali także wydajność komputerów kwantowych poprzez problemy związane z wyroczniami.
Co powie przyszłość? Wyrocznie nauki jeszcze nie przewidują, ale ich pewność może pomóc w ukształtowaniu tego na zawsze.
Karolina Bastos Pereira, ZAP //