-
Data: 2010-08-14 14:06:31
Temat: Re: P != NP -- mamy dowod?
Od: Mariusz Marszałkowski <m...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 14 Sie, 15:39, "Marcin 'Qrczak' Kowalczyk" <q...@k...org.pl>
wrote:
> On Aug 14, 1:45 pm, Mariusz Marszałkowski <m...@g...com> wrote:
>
> > 1) Załóżmy że ktoś udowodni że P != NP. Więc żadnego problemu o
> > rozmiarze danych wejściowych n i złożoności czasowej O(c_1^n) nie
> > da się
> > sprowadzić do złożoności O(n^c_2).
>
> Jedno nie ma z drugim nic wspólnego.
> Po pierwsze notacja O() oznacza ograniczenie z góry. Jeśli jest
> O(n^2), to jest też O(2^n); odwrotnie niekoniecznie. Zatem oczywiście
> istnieją problemy w O(c_1^n), które są też w O(n^c_2); mianowicie
> wszystkie w O(n^c_2).
Sorry, miała być omega, chodziło oczywiście minimalny czas.
> 1.01^N ? 2^(70*N). 2^N i 1.01^N to jest ta sama klasa złożoności, bo
> skala N jest umowna.
Odwrotnie: 1.01^N ? 2^(N/70).
Chyba nie jest to samo, bo nie istnieje żadne C>0 dla którego C*1.01^N
> 2^N
dla dowolnie dużych N? Trzeba wymnożyć N przez współczynnik 0.14,
czyli
w praktyce można efektywnie (w tym samym czasie) rozwiązać problemy 70
razy
większe.
Pozdrawiam
Następne wpisy z tego wątku
- 20.08.10 15:16 Sebastian Kaliszewski
Najnowsze wątki z tej grupy
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
Najnowsze wątki
- 2025-12-27 pompa CO
- 2025-12-27 Gdynia => Przedstawiciel handlowy / KAM (branża TSL) <=
- 2025-12-27 Ewakuacja ludności
- 2025-12-26 Gdańsk => ERP Microsoft Dynamics 365 Commerce Consultant <=
- 2025-12-26 Kraków => Konsultant Microsoft Dynamics 365 Finance <=
- 2025-12-26 Kraków => Microsoft Dynamics 365 Finance Consultant <=
- 2025-12-26 wymieniłem termostat
- 2025-12-26 Warszawa => Senior Backend Java Developer <=
- 2025-12-25 Finlandia przywraca swastykę
- 2025-12-25 Skuteczność wymiaru sprawiedliwości
- 2025-12-24 Felgi
- 2025-12-24 2,5 x więcej niż Li-Ion
- 2025-12-24 No i kolejny ograniczony
- 2025-12-24 Warszawa => Młodszy Specjalista ds. wsparcia sprzedaży <=
- 2025-12-24 New York Times zagrożeniem bezpieczeństwa narodowego USA - POTUS D. Trump




5 Najlepszych Programów do Księgowości w Chmurze - Ranking i Porównanie [2025]