EDYCJA PRZY 10/12/08: Spróbuję zmodyfikować pytanie, aby zainteresować większą liczbą osób dzieleniem się opiniami. POTRZEBUJEMY twoich datków! Ten post jest inspirowany jednym z MO: Przykłady powszechnych fałszywych przekonań w matematyce . Wielkie listy czasami generują ogromną liczbę...
Celem tego pytania jest zebranie przykładów z teoretycznej informatyki, w której pomocne było systematyczne korzystanie z komputerów budując przypuszczenie, które prowadzi do twierdzenia, fałszowanie przypuszczeń lub podejścia dowodowego, konstruowanie / weryfikacja (części) dowodu. Jeśli masz...
W artykule z 1965 r. „ O złożoności algorytmów ” autorstwa Hartmanisa i Stearnsa autorzy przypuszczają, że jeśli maszyna Turinga w czasie rzeczywistym oblicza liczbę rzeczywistą na przykład w podstawie 10, to r jest albo liczbą wymierną, albo liczbą liczba transcendentalna.rrrrrr Czy istnieje...
Czy są znane naturalne przykłady problemów z optymalizacją, dla których znacznie łatwiej jest stworzyć optymalne rozwiązanie niż ocenić jakość danego rozwiązania kandydującego? Ze względu na konkretność możemy rozważyć rozwiązania problemów optymalizacji w postaci wielomianowej w postaci: „biorąc...
Niech będzie alfabetem, czyli niepustym zbiorem skończonym. Łańcuch to dowolna skończona sekwencja elementów (znaków) z . Na przykład to alfabet binarny, a to ciąg znaków dla tego alfabetu.ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Zazwyczaj, dopóki zawiera więcej niż 1 element, dokładna...