-
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
Następne wpisy z tego wątku
- 16.10.12 13:07 slawek
- 16.10.12 13:52 Michoo
- 16.10.12 14:10 Baranosiu
- 16.10.12 14:17 Edek Pienkowski
- 16.10.12 14:20 Michoo
- 16.10.12 15:05 Edek Pienkowski
- 16.10.12 15:00 bartekltg
- 16.10.12 15:02 bartekltg
- 16.10.12 15:09 bartekltg
- 16.10.12 15:23 bartekltg
- 16.10.12 15:36 bartekltg
- 16.10.12 15:39 Michoo
- 16.10.12 15:47 bartekltg
- 16.10.12 15:48 identyfikator: 20040501
- 16.10.12 15:50 identyfikator: 20040501
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-03-05 Zielona GĂłra => Konsultant wdroĹźeniowy Comarch XL/Optima (KsiÄgowoĹ
- 2025-03-05 Białystok => Spedytor Międzynarodowy (handel ładunkami/prowadzenie
- 2025-03-05 Warszawa => Specjalista ds. Sprzedaży (transport drogowy) <=
- 2025-03-05 Środa Wielkopolska => Konsultant wewnętrzny SAP FI/CO <=
- 2025-03-05 Zielona Góra => Senior Field Sales (system ERP) <=
- 2025-03-05 Warszawa => Data Engineer (Tech Lead) <=
- 2025-03-05 Kraków => Business Development Manager - Network and Network Security
- 2025-03-05 Zaniepokojeni mieszkańcy
- 2025-03-05 Ile pieniędzy ma bank?
- 2025-03-05 Ostrów Świętokrzy => Node.js / Fullstack Developer <=
- 2025-03-05 Białystok => Architekt rozwiązań (doświadczenie w obszarze Java, A
- 2025-03-05 Warszawa => Frontend Developer (Angular13+) <=
- 2025-03-05 Warszawa => Frontend Developer (obszar Angular13+) <=
- 2025-03-05 Chiny-Kraków => Backend Developer (Node + Java) <=
- 2025-03-05 Warszawa => JavaScript / Node / Fullstack Developer <=