Forum Coders' city Strona Główna Coders' city
Nasza pasja to programowanie!
 

 PomocPomoc   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy  RejestracjaRejestracja 
Archiwum starego forum + teoria    RSS & Panel/SideBar
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Potrzebuję szybkiej odpowiedzi na moje pytanie... Zasady

Poprawność algorytmu



 
Odpowiedz do tematu    Forum Coders' city Strona Główna -> Algorytmy + inżynieria oprogramowania
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Jacckermado



Dołączył: 30 Sie 2007
Posty: 3

PostWysłany: Czw Sie 30, 2007 3:08 pm      Temat postu: Poprawność algorytmu Odpowiedz z cytatem Pisownia

Witam, chciałbym sie dowiedziec jak się sprawdza poprawnośc algorytmu np. na przykładzie tego zadania 7.1 http://www.fotosik.pl/pokaz_obrazek/pelny/af2199aeb7291980.html pomoże ktos? Oraz czy w zadaniu 7.5 do ktorego tresć brzmi: "Jaka wartość bedzie mieć zmienna y po wykonaniu nastepujacego algorytmu" i znajduje sie ono tutaj (to jest to na górze) http://www.fotosik.pl/pokaz_obrazek/pelny/1b57b562d2ed1a3d.html wynik to 1000? a w zadaniu 7.6 wynik to 512?? moze ktos sprawdzic czy dobrze to zrobilem??
Powrót do góry
Zobacz profil autora Wyślij prywatną wiadomość
marcin_an
Site Admin


Dołączył: 26 Maj 2005
Posty: 18150
Skąd: z drugiej strony Kabla

PostWysłany: Czw Sie 30, 2007 3:24 pm      Temat postu: Odpowiedz z cytatem Pisownia

7.1* musisz wykonać tak, jak ciebie uczono. Istnieje kilka warunków wymaganych do potwierdzenia poprawności działania algorytmu, ale co uczelnia, to inaczej to przedstawiają i wymagają innego opisu. Generalnie:
  • Algorytm musi się zakończyć (warunek stopu). W tym przypadku warunkiem koniecznym zakończenia algorytmu jest osiągnięcie przez y wartości 0 w jedynym w tym przypadku rozgałęzieniu. Inaczej mówiąc: musisz wykazać, że rzeczywiście kiedyś y będzie miał wartość 0.
  • Przy spełnionych warunkach wejściowych muszą być spełnione warunki wyjściowe. W tym przypadku obydwa są podane w zadaniu. Zamiana x=m*n na może w tym przypadku sporo pomóc.


7.5. Tak

7.6. O jedną iterację więcej: 2^10 = 1024. Zaważ, że p liczone jest od 0.

___
* Jest też prostsze wyjaśnienie: Tak, algorytm ten jest poprawny. Dowód: gdyby był niepoprawny, to autor zadania napisałby "sprawdź, czy algorytm jest poprawny". ;-)
Powrót do góry
Zobacz profil autora Wyślij prywatną wiadomość
Jacckermado



Dołączył: 30 Sie 2007
Posty: 3

PostWysłany: Pią Sie 31, 2007 11:10 am      Temat postu: Odpowiedz z cytatem Pisownia

Wielkie dzieki za pomoc z tymi zadaniami niestety mam problem z jeszcze podobnymi do tych ;/ ktore znajduja sie na tej stronie http://www.fotosik.pl/pokaz_obrazek/pelny/1039bbedfdd896d0.html Nie wiem dokładnie o co tu chodzi czy w miejsce w zadaniu 7.3 wstawiam sobie za dane (m,n itd) liczby wybrane przeze mnie czy one gdzies juz sa dane? Tak samo w zadaniu 7.4?

Hym chyba jednak trzeba je wybrac samemu wiec np. niech m=6 a n=2 to wtedy wynik koncowy bedzie ze r=0 a q=3 tak? albo niech m=8 a n=3 to wtedy wynik koncowy bedzie ze r=2 a q=2 tak?
No i pozniej podstawiajac pod ten wzór m=q*n+r wychodzi poczatkowe m czyli 8 i to jest juz udowodnienie czy potrzeba czegos jeszcze??

A w zadaniu 7.4 w pierwszym bloku warunkowym jest taki znak "<>" (x<>y) co on dokładnie oznacza czy są sobie równe czy cos innego?
Powrót do góry
Zobacz profil autora Wyślij prywatną wiadomość
marcin_an
Site Admin


Dołączył: 26 Maj 2005
Posty: 18150
Skąd: z drugiej strony Kabla

PostWysłany: Pią Sie 31, 2007 2:08 pm      Temat postu: Odpowiedz z cytatem Pisownia

W obydwu zadaniach masz podane m i n. Są to dowolne liczby całkowite dodatnie.

Zapis <> oznacza prawdopodobnie "różny od".
Powrót do góry
Zobacz profil autora Wyślij prywatną wiadomość
Jacckermado



Dołączył: 30 Sie 2007
Posty: 3

PostWysłany: Sob Wrz 01, 2007 12:41 am      Temat postu: Odpowiedz z cytatem Pisownia

Dzieki z tymi zadaniami dzieki waszej pomocy jakos sobie poradziłem tylko teraz nie wiem jak wziac sie za to http://www.fotosik.pl/pokaz_obrazek/pelny/a19c07a2721b7019.html Jak to sie dokładnie podlicza moze ktos wie bo tak szukam na google i troche ciezko to rozgryzc ;/

Dzieki za pomoc w zadaniach pozdrawiam.
Powrót do góry
Zobacz profil autora Wyślij prywatną wiadomość
Wyświetl posty z ostatnich:   
Odpowiedz do tematu    Forum Coders' city Strona Główna -> Algorytmy + inżynieria oprogramowania Wszystkie czasy w strefie CET (Europa)

Strona 1 z 1

 
Skocz do:  
Możesz pisać nowe tematy
Możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
Możesz dodawać załączniki na tym forum
Możesz pobierać pliki z tego forum




Debug: strone wygenerowano w 0.02517 sekund, zapytan = 12
contact

| Darmowe programy i porady Jelcyna | VB4all | Tansze zakupy w Helionie | MS Office Blog |