diff options
-rw-r--r-- | prolog/problems/lists_advanced/rev_2/sl.py | 43 |
1 files changed, 32 insertions, 11 deletions
diff --git a/prolog/problems/lists_advanced/rev_2/sl.py b/prolog/problems/lists_advanced/rev_2/sl.py index 806dc52..d754db8 100644 --- a/prolog/problems/lists_advanced/rev_2/sl.py +++ b/prolog/problems/lists_advanced/rev_2/sl.py @@ -1,3 +1,5 @@ +# coding=utf-8 + name = 'rev/2' slug = 'Obrni seznam' @@ -10,6 +12,18 @@ description = '''\ X = []. </pre>''' +plan = ['''\ +<p>To je ena najlepših in najbolj poučnih nalog. Klasična rekurzija! Problem poskusi zmanjšati. Seveda, prevedi na +krajši seznam.</p> +''', '''\ +<p>Seznamu odvzamem glavo, rekurzija mi obrne rep in vse, kar moram na koncu narediti jaz je, da glavo vstavim nazaj +v obrnjen rep na pravo mesto.</p> +''', '''\ +<p>Če je podani seznam <code>L</code> sestavljen iz glave <code>H</code> in repa <code>T</code> +in če predpostavim, da rekurzija obrne <code>T</code> v obrnjen rep <code>RT</code> in če <code>RT</code> na konec +dodam <code>H</code>, potem je rezultat obrnjen seznam <code>L</code>.</p> +'''] + hint = { 'eq_instead_of_equ': '''\ <p>Operator <code>==</code> je strožji od operatorja <code>=</code> v smislu, da je za slednjega dovolj, @@ -24,8 +38,7 @@ implicitno že kar v argumentih predikata (glavi stavka).</p> ''', 'base_case': '''\ -<p>Si pomislil na robni pogoj? Kaj je najbolj enostaven primer, ko je element v seznamu? -Do katerega elementa najlažje prideš?</p> +<p>Si pomislil na robni pogoj? Kateri seznam je trivialno obrniti?</p> ''', 'recursive_case': '''\ @@ -37,7 +50,7 @@ Do katerega elementa najlažje prideš?</p> <p>Če je ime pravilno, se morda splača preveriti tudi, če se nisi zatipkal kje drugje, je morda kakšna pika namesto vejice ali obratno, morda kakšna spremenljivka z malo začetnico?</p> <p>Možno je seveda tudi, da so tvoji pogoji prestrogi ali celo nemogoči (kot bi bila npr. zahteva, -da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno zlobnega).</p> +da je <code>N</code> enako kot <code>N + 1</code> ali kaj podobno logično zlobnega).</p> ''', 'timeout': '''\ @@ -46,30 +59,38 @@ da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno z ''', 'base_case_at_len1': '''\ -<p>base_case_at_len1</p> +<p>Ta robni pogoj je seveda povsem smiseln, a ga vseeno popravi tako, da bo deloval tudi za prazen seznam. +Vendar ne imej dveh robnih pogojev, ker bo to podvajalo rešitve./p> ''', 'arbitrary_base_case': '''\ -<p>arbitrary_base_case</p> +<p>Kaj je rezultat obračanja praznega seznama? Gotovo ne karkoli (spremenljivka brez določene vrednosti)!</p> ''', - 'forcing_result_onto_recursion': '''\ -<p>forcing_result_onto_recursion</p> + 'forcing_result_onto_recursion': ''' +<p>Ne vsiljuj rekurziji kaj naj vrne, prepusti se ji. To je tisti del, ko narediš predpostavko, +če je ta izpolnjena, potem bo tvoje pravilo delovalo za večji primer.</p> +<p>Je tvoj rekurzivni klic oblike <code>rev(T, [RevTail|H])</code>? S tem vsiljuješ rekurziji +da mora <emph>vrniti</emph> na zadnjem mestu tudi glavo, ki je sploh ne pozna, ker si jo ravnokar vzel stran! To moraš +narediti ti z rezultatom, ki ti ga rekurzija vrne. Skratka, element <code>H</code> vstavi izven rekurzivnega klica.</p> ''', 'using_other_solutions': '''\ -<p>using_other_solutions</p> +<p>Od predikatov <code>last/2</code>, <code>shiftleft/2</code> ali <code>shiftright/2</code> tukaj ne bo veliko +pomoči. Poskusi raje brez, bo lažje.</p> ''', 'insertion_at_beginning': '''\ -<p>insertion_at_beginning</p> +<p>Vstavljaš morda glavo nazaj <em>na začetek</em> obrnjenega repa? To ni pravo mesto, ker s tem samo sestaviš nazaj +enak seznam kot na začetku.</p> ''', 'invalid_insert_at_end': '''\ -<p>invalid_insert_at_end</p> +<p>Spomni se, rep seznama je vedno seznam! Kako vstaviš element na zadnje mesto?</p> ''', 'conc_arg_not_list': '''\ -<p>conc_arg_not_list</p> +<p>Vsi trije argumenti predikata <code>conc/3</code> morajo biti <em>seznami</em>. Si prepričan, +da si ga tako uporabil?</p> ''', } |