eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingsortowanieRe: sortowanie
  • Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
    atman.pl!news.task.gda.pl!not-for-mail
    From: Baranosiu <r...@w...pl>
    Newsgroups: pl.comp.programming
    Subject: Re: sortowanie
    Date: Tue, 16 Oct 2012 10:51:28 +0000 (UTC)
    Organization: CI TASK http://www.task.gda.pl/
    Lines: 67
    Message-ID: <k5je7f$drv$1@news.task.gda.pl>
    References: <k59gbj$be7$1@node2.news.atman.pl>
    <6...@g...com>
    <k59jgh$mb7$1@mx1.internetia.pl> <k59jvr$360$1@node1.news.atman.pl>
    <k59q5n$np3$1@mx1.internetia.pl> <k5bc6k$4ea$1@mx1.internetia.pl>
    <k5bkvg$jtk$1@mx1.internetia.pl> <k5bnr3$n79$1@mx1.internetia.pl>
    <k5cfhp$2rs$1@mx1.internetia.pl> <k5hol5$8nr$1@adenine.netfront.net>
    <k5i713$pq8$1@mx1.internetia.pl> <k5ifqj$vtn$1@news.task.gda.pl>
    <k5j794$ssn$1@mx1.internetia.pl>
    Reply-To: Baranosiu <r...@w...pl>
    NNTP-Posting-Host: user-164-127-170-182.play-internet.pl
    Mime-Version: 1.0
    Content-Type: text/plain; charset=iso-8859-2
    Content-Transfer-Encoding: 8bit
    X-Trace: news.task.gda.pl 1350384688 14207 164.127.170.182 (16 Oct 2012 10:51:28 GMT)
    X-Complaints-To: a...@n...task.gda.pl
    NNTP-Posting-Date: Tue, 16 Oct 2012 10:51:28 +0000 (UTC)
    User-Agent: slrn/pre1.0.0-18 (Linux)
    Xref: news-archive.icm.edu.pl pl.comp.programming:199963
    [ ukryj nagłówki ]

    Dnia 16.10.2012 Michoo <m...@v...pl> napisał/a:
    > On 16.10.2012 04:12, Baranosiu wrote:
    >> Dnia 15.10.2012 Michoo<m...@v...pl> napisał/a:
    >>
    >> Dochodzi jeszcze kwestia tego co rozumie się przez zbiór "czynnoiści
    >> elementarnych"
    >
    > Ale one nie muszą być "elementarne". W algorytmie znajdowania przecięci
    > zbiorów może być "posortuj oba zbiory w ciągi rosnące" bez
    > wyspecyfikowania metody, nie trzeba wplatać logiki sortowania do środka.

    Dla zbiorów dyskretnych (a ściślej dla dyskretnych ich reprezentacji w
    maszynie) to jak najbardziej algorytm zadziała, ale nie wszystkie
    zbiory są przeliczalne (a więc nie zawsze dają się posortować) i... z
    algorytmu "dupa" :D Dziedzina KAŻDEGO algorytmu to nie tylko dane na
    jakich on działa, ale także zbiór operacji jakie musi być w stanie
    wykonać maszyna inaczej się nie da (spróbuj znaleźć przecięcie
    zbiorów, jeśli maszyną jest na przykład kucharz, nie da się,
    choć... kucharz może zrealizować algorytm sporządzenia zupy
    pomidorowej :D).



    >
    >> , bo na przykład kiedyś konstruowano komputery
    >> analogowe, które jedną "czynnością elementarną" przechodziły przez
    >> nieskończoną liczbę stanów i algorytm działający na maszynie
    >> analogowej może już nie być algorytmem na maszynie dyskretnej.
    >
    > Dlatego napisałem - "na pewnej abstrakcyjnej maszynie".

    Na "abstrakcyjnej" czyli na żadnej :D Zwykle w informatyce przyjmuje
    się w domyśle maszyny Turinga, ale samo pojęcie algorytmu nie musi ich
    dotyczyć :D


    >> Tak
    >> więc definicja "abstrakcyjnej maszyny" jest też częścią algorytmu a
    >> nie tylko same czynności
    >
    > Mamy maszynę, więc definiujemy w oparciu o nią algorytm. W tym sensie
    > definicja maszyny jest częścią algorytmu. Nie wciągałbym jednak
    > szczegółów maszyny do samego algorytmu.

    Wszystkie współczesne komputery cyfrowe (łącznie z kwantowymi) to
    maszyny Turinga, więc rozróżnienia się nie robi, w tym sensie można
    pominąć szczegóły maszyny, ale samo pojęcie algorytmu to coś więcej
    niż "proces wykonywany przez maszynę cyfrową".


    >> Mnie na studiach uczono (a były to
    >> lata 90-te), że tak na prawdę nie ma jednej uniwersalnej matematycznej
    >> definicji czym jest algorytm, dlatego w różnych kontekstach przyjmuje
    >> się różne "modele" tego pojęcia.
    >
    > Czy nie ma uniwersalnej to bym się kłócił, ale jak to zwykle im coś
    > bardziej uniwersalne tym ogólniejsze. Istnieją więc też "definicje
    > szczegółowe" np. "algorytm na NDTM", "algorytm na DNA", "algorytm na
    > studencie".

    Ok, są, ale to są tylko konkretne modele. Można na przykład
    zdefiniować pojęcie algorytmu w oparciu o maszyny Turinga ale... takie
    pojęcie algorytmu już nie będzie pasowało do "przepisu na zrobienie
    pomidorowej". Ogólnej definicji algorytmu (w sensie matematycznym) nie
    ma, a w informatyce przyjmuje się pewien "podzbiór" tego pojęcia w
    kontekście określonej klasy maszyn, aby się na tym matematykę dało
    uprawiać :D No ale to już wykracza poza główny temat wątku :D

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: