-
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
- 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
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
Najnowsze wątki
- 2025-05-13 zagadałem dziś babę
- 2025-05-13 W tym urządzeniu ugotujesz wodę wszędzie. Bez podłączania do prądu
- 2025-05-13 W tym urządzeniu ugotujesz wodę wszędzie. Bez podłączania do prądu
- 2025-05-13 W tym urządzeniu ugotujesz wodę wszędzie. Bez podłączania do prądu
- 2025-05-12 wyobrazcie sobie
- 2025-05-12 pojezdziłem passatem
- 2025-05-12 Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- 2025-05-12 Warszawa => Junior Rekruter <=
- 2025-05-12 Dostała karę za "brak biletu" parkowania. Wygrała w sądzie z miastem Kierująca zaparkowała na miejskim parkingu w Rybniku. Nie zdążyła przedłużyć parkowania i dostała 200 zł kary za "brak biletu".
- 2025-05-12 Białystok => Senior Node.js Developer (doświadczenie z framework Nes
- 2025-05-12 Warszawa => MENA New Business Manager <=
- 2025-05-12 Rzeszów => WEBCON Developer <=
- 2025-05-12 kamerka kultowy novatek G1WH
- 2025-05-12 Warszawa => Fullstack PHP Developer <=
- 2025-05-12 Warszawa => Senior Frontend Developer (React + React Native) <=