diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-30 15:25:46 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-30 15:25:46 +0200 |
| commit | 26e076b9f550a2c6e86f8868904d315ff17c24bc (patch) | |
| tree | c331cfa9d5e9a0fc443e094a5f687ba9656c0d87 | |
| parent | 268eb06e05c9a6062e0d34905bed2ecd1696f82c (diff) | |
Hints and plans for is_sorted/1 added.
| -rw-r--r-- | prolog/problems/sorting/is_sorted_1/sl.py | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/prolog/problems/sorting/is_sorted_1/sl.py b/prolog/problems/sorting/is_sorted_1/sl.py index 485ecf3..4b201a5 100644 --- a/prolog/problems/sorting/is_sorted_1/sl.py +++ b/prolog/problems/sorting/is_sorted_1/sl.py @@ -37,7 +37,7 @@ implicitno že kar v argumentih predikata (glavi stavka).</p> ''', 'base_case': '''\ -<p>Si pomislil na robni pogoj? Kaj je najkrajši urejen seznam?</p> +<p>Si pomislil na robni pogoj? Kaj je eden izmed najkrajših urejenih seznamov?</p> ''', 'recursive_case': '''\ @@ -58,19 +58,23 @@ da je <code>N</code> enako kot <code>N + 1</code> ali kaj podobno logično zlobn ''', '[]_base_case_missing': '''\ -<p>[]_base_case_missing</p> +<p>Da bo rešitev popolna, morda dodatno poskrbiš še za poseben primer, to je prazen seznam. A ob tem +ne poruši prejšnjih rešitev.</p> ''', 'duplicates_fail': '''\ -<p>duplicates_fail</p> +<p>Si morda pozabil, da so v seznamu lahko tudi duplikati? Tudi spodnji seznam je urejen!</p> +<p><code>?- is_sorted([25,25,25,25]).</code></p> ''', 'H1_instead_of_H2_sent_into_recursion': '''\ -<p>H1_instead_of_H2_sent_into_recursion</p> +<p>Si morda v rekurzijo poslal napačno izmed obeh "glav" seznama?</p> ''', 'base_case_at_len_1_missing': '''\ -<p>base_case_at_len_1_missing</p> +<p>Splošni (rekurzivni) primer pri tej nalogi zahteva dva elementa, pa četudi enega daš potem nazaj, ko +rep pošlješ v rekurzijo. Kaj pa se zgodi, ko ti ostane samo en element v seznamu? Premisli, to bo verjetno +glavni robni pogoj!</p> ''', 'both_heads_omitted_from_recursion': '''\ |