-
Data: 2012-10-16 14:10:21
Temat: Re: sortowanie
Od: Baranosiu <r...@w...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Dnia 16.10.2012 slawek <h...@s...pl> napisał/a:
> Użytkownik "Michoo" napisał w wiadomości grup
> dyskusyjnych:k5jc44$lnn$...@m...internetia.pl...
>
>>Praca rozrusznika serca nie daje się opisać algorytmem. Praca rozrusznika
>>składa się z:
>>- odczytu parametrów
>>- algorytmu obliczenie parametrów pochodnych
>>- algorytmu decyzyjnego "czy kopnąć serce"
>>
>> Wykonywanych w nieskończonej pętli.
>
> Właśnie opisałeś "algorytm rozrusznika". Gratulacje.
>
> Skończoność w algorytmach dotyczy zapisu algorytmu (tj. musi się dać
> zapisać). Ograniczenie czasu do skończonego (tj. z jawnym ograniczeniem, bo
> wiadomo że Wszechświat kiedyś tam coś) było - i być może jest - potrzebne
> jedynie dla udowodnienia obliczalności. Nie każdy jednak algorytm służy do
> numeryki.
Skończoność tyczy się nie zapisu (zawsze można się umówić, że ciąg
n1,n2,n3.... zapiszę symbolem nx i już z nieskończoności zrobiłem
skończoność :D) tylko właśnie skończonej pesymistycznej złożoności (a
więc istnienia warunku stopu). Aby tego typu "rozrusznik serca" badać
pojęciem algorytmu, to trzeba przyjąć, że każde uderzenie serca, to
pojedyńcze wykonanie trzech wspomnianych czynności "bez pętli"
(i wtedy każde "kopnięcie serca" to odpalenie algorytmu na innych
danych). Algorytm jest czymś w rodzaju dowodu twierdzenia, pokazuje
jak z danych wejściowych (założenie twierdzenia) uzyskać dane
wyjściowe (teza) przy użyciu środków udostępnianych przez maszynę
(przyjęta aksjomatyka). Dowód twierdzenia zawsze ma skończoną liczbę
kroków (nawet jeśli zastosujemy zasadę indukcji matematycznej) tak
samo jak algorytm ma zawsze skończoną liczbę operacji (nawet jeśli
działa na nieskończonym zbiorze danych wejściowych).
To że jakieś działanie da się opisać "swoimi słowami" jeszcze nie
oznacza, że taki opis to algorytm (tak samo jak nie każde
"uzasadnienie słowne" jest dowodem twierdzenia matematycznego), czasem
trzeba nieco "dopasować" opis do teorii :D
Następne wpisy z tego wątku
- 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
- 16.10.12 18:23 slawek
- 16.10.12 18:44 slawek
- 16.10.12 19:05 slawek
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-02-19 Lista afer
- 2025-02-19 Lista afer
- 2025-02-19 Lista afer PIS
- 2025-02-19 Ogrodzenie dla krów szkockich "Highland"
- 2025-02-19 Gdańsk => System Architect (background deweloperski w Java) <=
- 2025-02-19 Gdańsk => Solution Architect (Java background) <=
- 2025-02-19 Białystok => Data Engineer (Tech Leader) <=
- 2025-02-19 Kraków => Ekspert IT (obszar systemów sieciowych) <=
- 2025-02-19 Warszawa => Architekt rozwiązań (doświadczenie w obszarze Java, AWS
- 2025-02-19 Rzeszów => International Freight Forwarder <=
- 2025-02-19 Poznań => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-02-19 Chrzanów => Spedytor Międzynarodowy (handel ładunkami/prowadzenie f
- 2025-02-19 Bieruń => Regionalny Kierownik Sprzedaży (OZE) <=
- 2025-02-19 Nigdy
- 2025-02-19 Katowice => Key Account Manager (ERP) <=