-
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
- 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
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
Najnowsze wątki
- 2025-07-16 deltaT w pompie ciepla
- 2025-07-16 dron na granicy polsko niemieckiej
- 2025-07-16 Warszawa => Senior IT Recruitment Consultant <=
- 2025-07-16 Gdańsk => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-16 Gdańsk => Delphi Programmer <=
- 2025-07-16 Warszawa => BI Developer <=
- 2025-07-16 Gdańsk => Programista Delphi <=
- 2025-07-16 chroń PESEL dziecka
- 2025-07-16 Rzeszów => Spedytor Międzynarodowy <=
- 2025-07-16 Gdańsk => Konsultant wdrożeniowy (systemy controlingowe) <=
- 2025-07-16 Kraków => Kotlin Developer <=
- 2025-07-16 Warszawa => Inżynier oprogramowania .Net <=
- 2025-07-16 Tadeusz Rolke RIP
- 2025-07-14 Dwa dylematy
- 2025-07-14 Re: Dwa dylematy