eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingP != NP -- mamy dowod?Re: P != NP -- mamy dowod?
  • Path: news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.glorb.com!p
    ostnews.google.com!i13g2000yqd.googlegroups.com!not-for-mail
    From: Mariusz Marszałkowski <m...@g...com>
    Newsgroups: pl.comp.programming
    Subject: Re: P != NP -- mamy dowod?
    Date: Sat, 14 Aug 2010 07:06:31 -0700 (PDT)
    Organization: http://groups.google.com
    Lines: 40
    Message-ID: <1...@i...googlegroups.com>
    References: <7...@t...googlegroups.com>
    <6...@j...googlegroups.com>
    <e...@b...softax.pl>
    <9...@y...googlegroups.com>
    <e...@x...googlegroups.com>
    NNTP-Posting-Host: 89.229.34.123
    Mime-Version: 1.0
    Content-Type: text/plain; charset=UTF-8
    Content-Transfer-Encoding: quoted-printable
    X-Trace: posting.google.com 1281794791 11499 127.0.0.1 (14 Aug 2010 14:06:31 GMT)
    X-Complaints-To: g...@g...com
    NNTP-Posting-Date: Sat, 14 Aug 2010 14:06:31 +0000 (UTC)
    Complaints-To: g...@g...com
    Injection-Info: i13g2000yqd.googlegroups.com; posting-host=89.229.34.123;
    posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj
    User-Agent: G2/1.0
    X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; pl; rv:1.9.2.8)
    Gecko/20100722 Firefox/3.6.8,gzip(gfe)
    Xref: news-archive.icm.edu.pl pl.comp.programming:186507
    [ ukryj 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

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: