summaryrefslogtreecommitdiff
path: root/prolog/problems/lists
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 14:41:23 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 14:41:23 +0100
commit217172b1f73f487f785a742709cd2df264bc9c83 (patch)
treec3347b85250de0305c9919d884668e078120dbef /prolog/problems/lists
parenta722e6499b5ec84ded06ee99227ce2b6e33ad5df (diff)
Plans for divide/3 added.
Diffstat (limited to 'prolog/problems/lists')
-rw-r--r--prolog/problems/lists/divide_3/common.py4
-rw-r--r--prolog/problems/lists/divide_3/sl.py11
2 files changed, 9 insertions, 6 deletions
diff --git a/prolog/problems/lists/divide_3/common.py b/prolog/problems/lists/divide_3/common.py
index 2d20f12..672f20b 100644
--- a/prolog/problems/lists/divide_3/common.py
+++ b/prolog/problems/lists/divide_3/common.py
@@ -8,8 +8,8 @@ from server.hints import Hint, HintPopup
import server.problems
id = 115
-number = 22
-visible = False
+number = 7
+visible = True
facts = None
solution = '''\
diff --git a/prolog/problems/lists/divide_3/sl.py b/prolog/problems/lists/divide_3/sl.py
index 005d757..e9ef210 100644
--- a/prolog/problems/lists/divide_3/sl.py
+++ b/prolog/problems/lists/divide_3/sl.py
@@ -14,13 +14,16 @@ description = '''\
plan = ['''\
<p><img src="[%@resource plan.svg%]" /></p>
+<p>Saj veš kako je šlo v osnovni šoli: prvi, drugi, prvi.../p>
''', '''\
-<p>Do prvega elementa v seznamu je enostavno priti, do zadnjega se je treba rekurzivno prebiti.</p>
+<p>Znaš vzeti dva elementa z začetka seznama? Vzorec je <code>[H1,H2|T]</code>.</p>
''', '''\
-<p> <code>X</code> </p>
+<p>Vzameš dva elementa z začetka, preostanek rekurzivno razdeliš in to, kar vrne rekurzija, primerno
+dopolniš s prej odvzetima elementoma. S tem, ko si vzel dva elementa z začetka, si problem zmanjšal.</p>
''', '''\
-<p>
-Ker je nov seznam manjši, sem tudi problem zmanjšal.</p>
+<p>Če predpostavim, da rekurzija razdeli rep <code>T</code> na podseznama <code>L1</code> in <code>L2</code>
+ter ob vračanju v <code>L1</code> na začetek dodam <code>H1</code> in v <code>L2</code> na začetek
+dodam <code>H2</code>, potem sem razdelil začetni seznam, ki je oblike <code>[H1,H2|T]</code>.</p>
''']
hint = {