Courses Q&A - Recent questions and answers in pl1

Πρόβλημα με το τελευταίο testcase στη Round (Java)

Mon, 26 Jul 2021 15:06:56 +0000

Καλησπέρα, θα ήθελα να ρωτήσω εάν υπάρχει κάποιο θέμα με το τελευταίο testcase στον grader στην άσκηση Round σε java, καθώς δεν περνάει ακόμα και με Elapsed Time: ~ 0 secs.

Ο grader μου βγάζει περίεργα errors στην QSsort.java

Thu, 15 Jul 2021 11:41:52 +0000

Έχω ανεβάσει σε .zip την άσκηση QSsort σε java η οποία περιέχει προφανώς την QSsort.java, την ZQueue.java, ZMethods.java κλπ (όλα όμως εκτός της QSsort αρχίζουν από Z ώστε να είναι λεξικογραφικά μεγαλύτερα)
Ο grader όμως μου δείχνει ότι δεν περνάει κανένα test case αφού βγάζει τα εξής errors :

Σε μερικά test cases βγάζει " Program exceeded time limit (ran for 2 seconds) " ενώ φαίνεται " Elapsed Time: ~ 0 secs "
Στα άλλα test cases μου βγάζει
" File: AbstractGrader.cpp line: 92 ==> Program failed :
Exception : java.lang.ClassNotFoundException: QSsort "

Είναι δικό μου λάθος ή είναι λάθος του grader?
Aν ειναι δικο μου πως θα μπορούσα να το λύσω?

Αλγόριθμος της round

Fri, 09 Jul 2021 19:24:33 +0000

Στην άσκηση round, η λύση που για κάθε πιθανή πόλη-προορισμό dest,
παίρνει τις αποστάσεις των οχημάτων, source_i:
dest - source_i, αν dest >= source_i, και
N + dest - source_i, αν dest < source_i,
και ελέγχει βάσει των αποστάσεων αυτών, αν υπάρχει 'νόμιμη' ακολουθία
κινήσεων, φαίνεται πως περνάει όλα τα φανερά test cases στον grader.
Ωστόσο, η λύση αυτή περιορίζει τα οχήματα να παίρνουν πάντα την
συντομότερη δεξιότροφη διαδρομή (μήκους <= N - 1) και δεν τα αφήνει
να εκτελούν κύκλους.
Δεν έχω βρει κάποιο λόγο η λύση του προβλήματος να βρίσκεται πάντα
εντός των περιορισμών αυτών και να μην έχουμε 'νόμιμη' ακολουθία
ελαχίστου μήκους αφού επιτρέψουμε σε κάποια οχήματα να κάνουν κύκλους.
Είναι κάτι που ισχύει πάντα αυτό ή τα test cases αφορούν μόνο αυτήν την
περίπτωση για κάποιο λογο;

Χρονικά όρια στο round για την Prolog

Mon, 05 Jul 2021 12:05:39 +0000

Χαίρετε,

Παρατηρώ ότι σε όλα τα test cases για το round σε Prolog έχει δοθεί ο ίδιος χρόνος 10 sec, αλλά στο προτελευταίο η είσοδος είναι της τάξης των ~100 στοιχείων και στο τελευταίο είναι της τάξης των ~10000 στοιχείων. Είναι σκόπιμο αυτό, ή θα αλλάξουν τα χρονικά όρια; Ευχαριστώ.

Παράταση

Sun, 04 Jul 2021 21:26:31 +0000

Αν γίνεται να δώσετε μία παράταση για την Java μέχρι τέλη Ιουλίου θα βοηθούσε πολύ.Ευχαριστούμε.

Answered: Τρόπος υποβολής των αρχείων Java

Sat, 03 Jul 2021 17:56:06 +0000

Το πρόβλημα λύθηκε με το να ονομάσω τα αρχεία με τις δικές μου κλάσεις με ονόματα τα οποία είναι λεξικογραφικά μεγαλύτερα από αυτό με την main().

Answered: Αλλαγή ομάδας - χρήση του ίδιου κώδικα για μετάφραση

Wed, 30 Jun 2021 17:34:27 +0000

Είναι μάλλον κακή ιδέα να "μεταφράσετε" τον κώδικα από Python σε Java. Αλλά ναι, αν θέλετε να το κάνετε (προφανώς ανεξάρτητα), μπορείτε.

grader issue

Sat, 26 Jun 2021 17:15:37 +0000

Καλησπέρα τρέχω locally το round στην java με την εντολή time (στο μεγάλο test case)

time java Round r3.txt
49051713 2487

real 0m0,774s
user 0m0,885s
sys 0m0,136s

που είναι πιο γρήγορο από 1 δευτερόλεπτο. Ωστόσο στον grader μου πετάει
Grader Response:
File: AbstractGrader.cpp line: 120 ==> Program exceededtime limit (ran for 2 seconds)

Δοκίμασα να το ανεβάσω άλλες 2 φορές αλλά πάλι το ίδιο πρόβλημα!

Answered: Τεράστιο memory usage στην qssort, python

Mon, 07 Jun 2021 10:15:28 +0000

Ένα πρόγραμμα καταναλώνει πολλή μνήμη συνήθως για δύο πιθανούς λόγους:

Πραγματικά χρειάζεται πολλή μνήμη, βάσει του αλγορίθμου που έχει
επιλεγεί.
Δε χρειάζεται πραγματικά πολλή μνήμη, αλλά κάποια
προγραμματιστική επιλογή που έχει γίνει καταλήγει να καταναλώνει
πολλή μνήμη.

Στην περίπτωση αυτής της ερώτησης, το πρόβλημα ήταν το (1), όπως εξηγεί το σχόλιο του ερωτώντα:

Η λύση ήταν αλλαγή στον αλγόριθμό μου, ώστε να μην "επισκέφτομαι" ξανά καταστάσεις που έχω ήδη επισκεφτεί στο παρελθόν.

Προφανώς αν εξετάζεις ξανά και ξανά τις ίδιες καταστάσεις, το "μέτωπο" του BFS σου μεγαλώνει ανεξέλεγκτα γιατί σε μια κατάσταση μπορείς να φτάσεις με πάρα πολλούς διαφορετικούς τρόπους.

Answered: Out of Space στο τελευταίο test case της πρώτης άσκησης σε Prolog

Sun, 06 Jun 2021 17:14:31 +0000

Το πρόβλημα οφειλόταν στο γεγονός ότι χρησιμοποιούσες κάποια κατηγορήματα που ενώ θα μπορούσαν να είναι ντετερμινιστικά (και πραγματικά επέστρεφαν μοναδική απάντηση), άφηναν πολλά branch points ανοιχτά. Για παράδειγμα (παραφράζω λίγο δικό σου κώδικα):

running_sum([X], [X]).
running_sum([X1, X2 | T], Result) :-
  R is X1 + X2,
  running_sum([R | T], Partial),
  append([X1], Partial, Result).

Το παραπάνω υπολογίζει σωστά το running sum σε μία μη κενή λίστα ακεραίων:

?- running_sum([1, 1, 1, 1, 1], Result).
Result = [1, 2, 3, 4, 5] ;
false.

Αν όμως θέλεις να το γράψεις καλύτερα, ώστε να χρειάζεται λιγότερη μνήμη, να είναι tail-recursive και επίσης ντετερμινιστικό:

running_sum(L, Result) :- running_sum(0, L, Result).

running_sum(R, L, Result) :-
  ( L = [] ->
      Result = []
  ; L = [H | T] ->
      NewR is R + H,
      Result = [NewR | Partial],
      running_sum(NewR, T, Partial)
  ).

Answered: Άσκηση 2-Βρόχοι σε τηλεπαιχνίδια : DeprecationWarning: elementwise comparison failed;

Sun, 06 Jun 2021 16:08:04 +0000

Μάλλον χρησιμοποιείς numpy. Το warning αυτό (ουσιαστικά λάθος, όπως θα καταλάβεις παρακάτω) μπορείς να το προκαλέσεις ως εξής:

$ python3
Python 3.8.5 (default, May 27 2021, 13:30:53)
[GCC 9.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import numpy as np
>>> a = np.array([1, 2, 3, 4])
>>> b = np.array([1, 2, 3, 4, 5])
>>> a == b
<stdin>:1: DeprecationWarning: elementwise comparison failed; this will raise an error in the future.
False

Δηλαδή, συγκρίνοντας δύο arrays που έχουν διαφορετικό σχήμα. Αν ο κώδικας που το προκαλεί σε σένα είναι το visited[i][j+1] == False, τότε φοβάμαι ότι έχεις κάνει κάποιο λάθος στην κατασκευή του πίνακα visited.

Answered: Ταξινόμηση με ουρά και στοίβα Python - Elapsed Time

Sun, 06 Jun 2021 15:54:29 +0000

Εγώ έχω elapsed time: ~ 25.9969 secs. Μάλλον επιδέχεται βελτίωσης η λύση σας, σίγουρα όμως θα πάρετε καλό βαθμό και έτσι αν το αφήσετε.

Answered: Πολυπλοκότητα του nth0 στην Prolog

Sun, 06 Jun 2021 15:29:01 +0000

Όχι, κανένα από αυτά δεν είναι πολυπλοκότητας Ο(1). Κανένα κατηγόρημα δεν μπορεί να προσπελάζει το N-οστό στοιχείο μίας λίστας σε χρόνο Ο(1) --- ακριβέστερα, λιγότερο από Ο(Ν) --- λόγω του τρόπου με τον οποίο υλοποιούνται οι λίστες, όχι μόνο στην Prolog αλλά σε όλες τις γλώσσες. (Οι "λίστες" της Python είναι εξαίρεση, η υλοποίησή τους είναι σαν τα vectors της C++).

Αυτό που είναι Ο(1) στην Prolog και θα μπορούσες να το χρησιμοποιήσεις αν το πλήθος των στοιχείων σου είναι σταθερό, είναι το κατηγόρημα arg/3. Με αυτό μπορείς να υλοποιήσεις κάτι σαν τις tuples σε άλλες γλώσσες.

Answered: Αλγόριθμος προβλήματος qssort

Thu, 03 Jun 2021 11:05:56 +0000

Αν πρέπει να διαλέξεις ανάμεσα σε έναν μη αποδοτικό σωστό αλγόριθμο και έναν αποδοτικό αλγόριθμο που όμως δεν απαντάει σωστά σε όλες τις περιπτώσεις, προτείνω να διαλέξεις τον πρώτο. Ο δεύτερος είναι αρκετά πιθανό να χάσει test cases λόγω λανθασμένης απάντησης.

Η εκφώνηση της άσκησης εγγυάται ότι ο εξαντλητικός αλγόριθμος με BFS (σωστά υλοποιημένος, φυσικά) θα περνάει τα test cases εντός του χρονικού ορίου. Αυτό σημαίνει ότι αν σας δώσω test case με N=17 (θα το κάνω), αυτό θα είναι έτσι φτιαγμένο ώστε η τελική κατάσταση να μην αργεί να βρεθεί.

Προσέξτε ότι το πρόβλημα έχει πάντα λύση, επομένως με τον εξαντλητικό αλγόριθμο δεν πρόκειται ποτέ να αδειάσει η ουρά.

Ερώτηση για την 3η άσκηση σε Prolog (writeln(Answer))

Tue, 25 May 2021 08:50:12 +0000

Σχετικά με την υλοποίηση της 3ης άσκησης σε Prolog, μας δημιουργείται ένα πρόβλημα, όταν πάμε να εκτυπώσουμε το αποτέλεσμα με την συνάρτηση writeln(Answer). Πιο συγκεκριμένα, χωρίς την χρήση αυτής της συνάρτησης, εκτυπώνεται κανονικά η σωστή απάντηση, ενώ με την χρήση της, μας εκτυπώνονται άπειρα αποτελέσματα.
Πως μπορεί να διορθωθεί το παρόν πρόβλημα;

Διαδικαστική ερώτηση

Mon, 24 May 2021 22:34:06 +0000

Καλησπέρα σας,

Θα ήθελα να ρωτήσω εάν οι βαθμοί των ασκήσεων διατηρούνται στην επαναληπτική εξέταση του Σεπτέμβρη.

Ευχαριστώ πολύ.

Παράταση

Sun, 23 May 2021 13:39:59 +0000

Παρακαλούμε να δώσετε μερικές ημέρες παράταση για να λύσουμε όλες τις ασκήσεις Prolog.
Ευχαριστούμε.

Διευκρήνηση για το δεύτερο πρόβλημα της 2ης Σειράς Ασκήσεων

Wed, 19 May 2021 10:15:50 +0000

Στην εκφώνηση αναφέρεται " Το πρόγραμμά σας θα πρέπει να έχει την ίδια συμπεριφορά με τα προγράμματα σε C/C++ που παραδώσατε για την πρώτη σειρά ασκήσεων. " Εννοείτε απλά να εκτελεί την ίδια λειτουργία ή να υλοποιηθεί με τον ίδιο αλγόριθμο. Το αναφέρω καθώς στην πρώτη άσκηση η C++ λύση έγινε χρονικά πρώτη με έναν πιο εξαντλιτικό αλγόριθμο. Όταν, όμως, λύσαμε με την συνεργάτη μου την ML σκεφτήκαμε κατι πολύ πιο αποδοτικό και απλό, όσον αφορά την υλοποίηση. Πάραυτα, είμαστε τελικά υποχρεωμένοι να το κάνουμε με ακριβώς τον ίδιο αλγόριθμο?

Answered: Μελέτη του Scott

Sun, 25 Apr 2021 07:15:38 +0000

Όχι, δε θα έλεγα ότι είναι reference book, νομίζω ότι είναι καλύτερα να το πάρεις από την αρχή. Μπορείς φυσικά να προσπερνάς τα κεφάλαια που δε σε ενδιαφέρουν. Προσοχή, για το μάθημα των PL1 σε καμία περίπτωση δε χρειάζεται ολόκληρο.

Answered: Πρόβλημα με τα αποτελέσματα στην άσκηση 1

Fri, 23 Apr 2021 11:58:18 +0000

Μάλλον δεν έχεις διαβάσει καλά την εκφώνηση. Εξήγησε γιατί, στην ερώτησή σου, για να καταλάβουμε πού έγινε η παρανόηση.

Διάστημα μήκους 11 είναι ολόκληρη η ακολουθία, αφού $M=11$. Αυτή έχει συνολικό άθροισμα $\Sigma = 37$. Προφανώς δεν είναι "καλό", αφού όχι μόνο δεν ελευθερώνεται μία κλίνη ανά νοσοκομείο ανά ημέρα, αλλά δεν ελευθερώνονται κλίνες γενικότερα. Για να ελευθερώνεται μία κλίνη ανά νοσοκομείο ανά ημέρα και άρα να είναι "καλό" αυτό το διάστημα θα έπρεπε το άθροισμα να είναι $\Sigma \le -11*3 = 33$, αφού το μήκος αυτού του διαστήματος είναι $11$ και τα νοσοκομεία $N=3$.

Answered: Extra test cases

Wed, 21 Apr 2021 17:39:00 +0000

Από το username σου βρήκα την υποβολή σου, όπως και μία επόμενη υποβολή που δε βγάζει λάθος αποτέλεσμα, άρα υποψιάζομαι ότι το πρόβλημα λύθηκε.

Παρόλα αυτά, θα περιγράψω μία γενική μέθοδο για να κάνεις αυτό που θέλεις στην περίπτωσή μας.

Έστω ότι το αρχείο in7.txt περιέχει το test case για το οποίο το πρόγραμμά μας βγάζει λάθος αποτέλεσμα. Το εν λόγω αρχείο είναι το:

1000 3
32 50 92 76 66 27 -67 -82 98 -93 21 -71 35 14 -60 69 -12 54 -27 44 23 87 10 56 -95 69 1 -7 -5 76 35 84 -65 91 59 95 62 36 -14 32 -54 21 57 -93 98 -70 89 -55 100 -49 -81 -39 -69 -32 71 -7 -43 -86 -100 -100 -10 -87 -11 -12 45 10 99 -38 89 73 -5 58 27 -8 -35 -90 86 85 50 45 -89 83 -69 50 50 11 -34 8 -33 -27 48 21 53 73 -99 13 -26 22 55 -18 0 53 42 15 -3 -21 38 -63 34 86 -99 -12 86 50 13 -24 -9 53 57 -58 87 61 -45 -87 -76 71 64 -20 -61 73 46 79 19 -28 17 -60 -44 -34 50 71 -8 21 -97 -25 75 -20 -68 69 -79 -79 26 42 -68 -86 -40 50 21 -79 92 -27 80 33 -15 -18 -52 25 81 27 -39 -22 24 -29 -66 -76 -64 -34 -99 -100 -78 -64 -54 -90 30 93 9 -73 55 -9 29 79 -82 -3 39 -17 -43 59 -31 -76 51 73 -36 -37 58 10 -46 -46 -100 97 -74 -57 11 14 26 -93 -63 -93 9 -62 20 -39 -43 -29 37 38 -19 -29 87 67 -85 88 -63 70 64 28 -95 22 -39 38 77 -4 14 -10 95 -88 39 -94 19 -87 1 0 82 -39 100 -64 40 64 44 56 -82 28 23 -2 88 -79 -45 -98 -80 38 45 85 -63 -20 100 24 27 -73 47 77 -29 -66 -40 -97 28 33 -97 93 -36 91 70 -89 -51 -4 51 52 -1 58 -23 7 83 22 -88 44 -74 -11 61 -46 99 37 41 -15 18 89 30 -56 -51 -78 -93 75 45 58 92 66 -36 -92 -67 26 61 26 96 -67 93 -74 34 19 -29 32 39 -90 -80 53 -9 -65 98 3 26 -26 79 7 -72 -85 -98 -99 19 68 53 33 -47 -12 63 -30 -22 -3 21 28 99 98 67 85 58 66 -62 78 18 -9 25 84 -88 64 -43 -97 -19 50 80 81 -25 65 -99 1 -7 -53 68 85 -64 57 -27 -71 39 -64 -44 0 87 -42 -66 67 -5 71 34 19 57 58 -65 38 14 99 -88 -72 -31 64 -25 34 67 92 -71 70 -91 -63 55 -56 63 -88 -55 30 85 -74 23 46 -85 23 -40 -25 86 -9 86 -91 -92 -98 13 -53 14 -33 -36 -79 -83 -4 78 35 16 97 54 27 43 -26 -73 -46 -13 16 96 6 -65 -60 23 71 82 -8 24 21 46 62 10 88 -58 -24 70 -22 -57 -17 14 -99 -23 -89 -22 -45 52 -26 -61 32 -64 90 -42 -35 -71 92 3 -63 -37 9 -56 -64 36 12 86 26 -77 31 -55 -20 38 50 88 -20 14 32 1 -56 54 68 -24 39 0 61 22 -32 -21 77 -97 95 -25 -39 33 -25 -11 92 -52 -6 -50 -10 57 32 49 66 82 -10 -97 66 92 31 75 61 -32 81 24 -82 -98 -15 1 87 -12 -54 -97 -56 -2 -66 27 65 86 -57 48 -44 55 -93 -63 -32 73 -84 67 12 56 -34 -55 -20 -90 -33 7 -77 91 -28 31 -62 -12 -3 -77 66 -67 -24 -85 -11 17 78 3 17 -98 -58 52 52 37 -40 25 25 84 63 43 -7 55 69 -33 -9 -40 -54 29 -73 46 -28 -48 -84 -22 -52 54 90 -16 -100 71 44 81 -21 7 17 -20 93 37 26 62 55 28 96 -85 -26 -37 93 -88 -19 -8 19 -72 -47 19 -90 -51 91 45 -87 -32 82 71 -65 27 39 79 -47 -93 11 -10 66 86 38 -96 -12 -90 66 -22 -42 6 92 -86 -45 -40 -55 -96 78 87 35 16 -87 16 -13 -92 23 -61 7 21 -30 39 -82 -17 35 -57 76 96 -64 -86 -73 76 68 49 -52 -36 61 55 -65 -56 -62 -57 -23 76 35 71 77 46 20 -54 0 35 83 -71 -89 9 96 3 11 -72 43 -67 74 51 -31 44 -77 -79 -35 43 -46 25 93 -47 -17 -59 50 71 13 29 -21 -78 -6 87 -38 67 10 79 -29 24 24 97 -86 13 -86 -21 74 74 87 -15 -59 -22 -93 38 83 -42 55 33 30 -23 73 12 -83 62 18 99 92 -92 -46 46 36 -13 46 -94 56 26 12 39 11 -100 -11 63 -46 -78 88 24 0 58 -79 44 -80 8 90 14 -48 11 38 13 -27 -92 56 -54 74 -87 4 77 -33 -8 93 -13 -11 -13 -100 42 0 -58 92 70 47 -49 9 3 37 -41 -68 79 -17 -95 10 -86 -76 68 56 -10 83 -42 31 -90 61 -52 75 -9 15 -64 3 85 -22 89 6 73 -47 -90 80 -27 63 -29 38 44 84 -58 -80 -4 -64 73 100 25 -79 -48 -6 -85 99 -74 44 62 -98 -36 97 -11 -55 38 -94 -13 -66 77 78 -76 -30 -89 96 69 -4 -18 37 53 -73 -77 58 38 -93 -12 97 -83 -17 9 99 7 60 62 -23 70 -9 -42 -58 -82 37 15 -90 -36 42 -50 25 86 -63 46 53 -79 39 76 95 33 65 -12 83 -46 -36 -73 -35 -67 40 84 -88 -48 22 -57 -72 -77 -78 -21 28 49 50 -61 -86 -35 94 50 -99 39 1 66 -13

Έστω ότι ./wrong είναι το εκτελέσιμό μας, που βγάζει λάθος αποτελέσματα στο παραπάνω.
Έστω ./correct ένα εκτελέσιμο που θεωρούμε σωστό. Αυτό μπορούμε να το φτιάξουμε εύκολα (με κακή πολυπλοκότητα, brute force) για αυτή την άσκηση. (Αν το "δανειστείτε" από κάποια άλλη ομάδα, φροντίστε να δανειστείτε το εκτελέσιμο και όχι το source code, γιατί φοβάμαι ότι τότε θα μπλέξετε...)

Με το παρακάτω Python script (μόλις τη μάθαμε, να μην τη χρησιμοποιήσουμε;) έχετε καλές πιθανότητες να μειώσετε αυτόματα το input έτσι ώστε οι απαντήσεις του ./correct και του ./wrong να εξακολουθούν να διαφέρουν. Δείτε τι κάνει και πώς το κάνει.

#!/usr/bin/env python3

import random
import subprocess

def shrink(source, target):
  with open(source, "rt") as f:
    M, N = map(int, f.readline().split())
    A = list(map(int, f.readline().split()))
  def save(B):
    with open(target, "wt") as f:
      print(len(B), N, file=f)
      print(*B, file=f)
  def correct(B):
    save(B)
    expected = int(subprocess.check_output(["./correct", "in.txt"]))
    given = int(subprocess.check_output(["./wrong", "in.txt"]))
    return expected == given
  print("Starting from M =", M)
  more = True
  def test(B):
    nonlocal A, more
    if correct(B): return False
    print("... down to M =", len(B))
    A = B
    more = True
    return True
  while more:
    more = False
    for k in range(1, len(A)):
      B = random.sample(A, k)
      if test(B): break
  save(A)

if __name__ == "__main__":
  import sys
  shrink(sys.argv[1], sys.argv[2])

Τρέχοντας το script (προσέξτε ότι η συμπεριφορά του είναι τυχαία, αφού χρησιμοποιεί το random.sample) προκύπτει εύκολα το εξής:
```
$ ./shrink.py in7.txt in.txt
Starting from M = 1000
... down to M = 10
... down to M = 9
... down to M = 6
$ cat in.txt
6 3
-8 34 18 87 -46 -8
```
Πήρα σαν ./wrong τη δική σου υποβολή και σαν ./correct τη δική μου λύση.

Answered: Εάν έχουμε αποτύχει μόνο ένα test case, παίρνουμε βαθμούς;

Wed, 21 Apr 2021 07:43:37 +0000

Όπως γράφει και εδώ οι υποβολές τρέχουν με ένα σύνολο από test cases. Κάθε test case αντιστοιχεί σε κάποιους βαθμούς. Ο τελικός βαθμός μιας άσκησης είναι το άθροισμα των βαθμών των test cases που περνάνε.

Η υποβολή σου θα βαθμολογηθεί, παρότι δεν περνάει όλα τα δημόσια test cases. Ο grader την χαρακτηρίζει "failed" ακριβώς γιατί αποτυγχάνει σε τουλάχιστον ένα test case. Επαναλαμβάνω, αυτό δε σημαίνει ότι θα πάρει μηδέν.

Answered: Χρήση έτοιμης συνάρτησης από το διαδίκτυο

Tue, 20 Apr 2021 09:24:13 +0000

Μπορείτε να χρησιμοποιήσετε οτιδήποτε υπάρχει διαθέσιμο στο διαδίκτυο, με δύο όρους:

να αναφέρετε ρητά στον κώδικά σας τι πήρατε και από πού το πήρατε (link), και
αυτό που χρησιμοποιείτε να μην είναι προϊόν συνεργασίας σπουδαστών για τη λύση των ασκήσεων αυτού του μαθήματος. :-)

Αν έχετε την τύχη να βρείτε έτοιμο μεγάλος μέρος της λύσης έτοιμο, και μάλιστα στη γλώσσα που θέλετε, τότε ναι, είστε ελεύθεροι να τη χρησιμοποιήσετε (αν πληρούνται τα παραπάνω δύο). Βέβαια, έτσι χάνετε λίγη από την "πλάκα" και λίγη από την εμπειρία που θα αποκτούσατε αν λύνατε μόνοι σας την άσκηση.

Answered: Τι σημαίνει successful υποβολή στον plgrader

Tue, 20 Apr 2021 08:53:12 +0000

Όχι. Τα test cases που τρέχουν τη στιγμή της υποβολής στον grader είναι τα "δημόσια" test cases. Σας δίνουν μία πολύ καλή αίσθηση του πόσο σωστή και αποδοτική είναι η λύση σας. Εκ των υστέρων θα τρέξουν περισσότερα "κρυφά" test cases και ο τελικός βαθμός σας στην άσκηση θα προκύψει από το σύνολο όλων των test cases, δημόσιων και κρυφών.

Παράταση

Sun, 18 Apr 2021 23:40:08 +0000

Παρακαλούμε να δώσετε μερικές ημέρες παράταση, κυρίως για να υποβάλουμε επιτυχώς τους κώδικες της ML. Ευχαριστούμε.

Answered: No output produced σε πρόγραμμα ocaml

Sun, 18 Apr 2021 19:48:33 +0000

Διάβασε καλύτερα την εκφώνηση. Το πρόγραμμα που έχεις υποβάλει έχει τη συμπεριφορά που θα είχε αν ήταν σε SML/NJ.

Τα προγράμματα σε C/C++, OCaml, MLton πρέπει να δέχονται ως command line argument το όνομα του αρχείου εισόδου, να διαβάζουν το input και να τυπώνουν το αποτέλεσμα στο stdout. Σκελετός τέτοιου προγράμματος σε OCaml:

let main =
  let chan = Scanning.open_in Sys.argv.(1) in
  let (m, n) = Scanf.bscanf chan "%d %d" (fun m n -> (m, n)) in
  let xs = ...
  Scanning.close_in chan;
  let best = solve m n xs in
  Printf.printf "%d\n" best

Αφήνω το διάβασμα της λίστας xs και την solve για άσκηση... :-)

Answered: Μήνυμα Grader: "Error: Compiler bug: Contract: UsageMap on 633"

Sun, 18 Apr 2021 19:27:04 +0000

Το σφάλμα αυτό δεν εμφανίζεται στην v110.79, όπως γράφεις, αλλά στην v110.98 (που τρέχει στον grader). Επιβεβαιώνω ότι το κάνει και σε SML/NJ v110.99. Το παρακάτω πρόγραμμα (μία πολύ shrinked έκδοση του δικού σου) σκάει με το ίδιο internal error:

fun g (l, a, b, x, y, d0, d1 : real, d2 : real, d3 : real) = (
  x - Real.fromInt(Array.sub(l, a));
  y - Real.fromInt(Array.sub(l, b))
)

Αν αλλάξεις οτιδήποτε στο παραπάνω πρόγραμμα, το bug δεν εμφανίζεται. Εκτός του να αγοράσεις λαχείο, προτείνω να προσπαθήσεις να αλλάξεις κάτι στις παραμέτρους σου (χρειάζεσαι πραγματικά τόσες πολλές;), να βάλεις κάποια type annotations, μήπως και δεν εμφανιστεί.

Έκανα αναφορά για το σφάλμα στην SML/NJ αλλά δε νομίζω ότι θα διορθωθεί πριν να είναι πολύ αργά για σένα.

Answered: Wrong Output στα Testcases 7 και 14 σε ΜΕΘ C++

Sun, 18 Apr 2021 18:16:08 +0000

Τα test cases είναι δημόσια και ειδικά το 7 είναι και σχετικά μικρό. Αν αμφιβάλεις για την ορθότητα της λύσης σου (ή της λύσης μου) μπορείς να δοκιμάσεις τι αποτέλεσμα θα δώσει μία suboptimal λύση. Σε C++ μπορείς να γράψεις μια λύση $O(N^2)$ σε 10 γραμμές.

Answered: Άσκηση 1 | ΜΕΘ υπό διαρκή πίεση | Ερώτηση περί χρόνου εκτέλεσης της ML

Sun, 18 Apr 2021 09:30:13 +0000

Ανεξαρτήτως αν κάποιος το έχει περάσει ή όχι, τα χρονικά όρια των ασκήσεων στο μάθημα των #pl1 διαμορφώνονται ανά πρόβλημα και ανά γλώσσα. Συνήθως, το χρονικό όριο είναι $c \cdot T$, όπου T ο χρόνος που κάνει η λύση των διδασκόντων στο μεγαλύτερο test case και $c \ge 1$ κάποια κατάλληλη σταθερά. Η τιμή του $c$ συνήθως είναι κάτι μεταξύ 5 και 10. Επομένως, όπως είπαμε και στο μάθημα, μην αγχώνεστε πολύ αν χάνετε το τελευταίο test case.

Edit: Η λύση των διδασκόντων (SMLNJ), με απλή λίστα και όχι array, τρέχει το test case 14 σε ~ 0.1418 secs.

Answered: Local μεταβλητές σε pattern matching, διαφορά case και if

Wed, 14 Apr 2021 14:20:22 +0000

Το if ... then ... else ... είναι ένα case αλλά όχι το case που λες εδώ. Συγκεκριμένα το παρακάτω case:

case <booleanExpr> of 
  true   => <expr1>
  false  => <expr2>

είναι ισοδύναμο με το παρακάτω if:

if <booleanExpr> then <expr1> else <expr2>

Στην περίπτωση που έχεις εδώ το αντίστοιχο case είναι:

local
  val M = 5
in
  fun isit5 n =
    case n = M of
        true  => true
        false => false
end

Στο pattern matching όντως αυτό που γίνεται είναι ότι το M μέσα στην isit5 θα γίνει bound με την τιμή του n (και άρα το _ είναι redundant). Αυτή είναι και μία από τις δουλειές του pattern matching (να κάνει δηλαδή destructuring και bind σε φρέσκες μεταβλητές). Γενικά δεν νομίζω οτι μπορείς μέσα σε pattern να χρησιμοποιήσεις προηγούμενη μεταβλητή, γιατί αλλιώς χάνεις την παραπάνω λειτουργικότητα.

Αυτό που θες εσύ να κάνεις μπορεί να υλοποιηθεί με κάποιο test ισότητας, όπως κάνεις και με το if then else. Η συγκεκριμένη συνάρτηση βέβαια μπορεί να υλοποιηθεί και πιο μινιμαλιστικά ως εξής:

local
  val M = 5
in
  fun isit5 n = n=M
end

αλλά δεν ξέρω αν αυτό είναι κάτι που σε ενδιαφέρει.

Υπερβολική κατανάλωση μνήμης κατά το γέμισμα δομής δεδομένων στην ML

Tue, 13 Apr 2021 12:25:06 +0000

Για την επίλυση της 2ης άσκησης χρησιμοποιώ μία μεταβλητή δομή δεδομένων (δηλαδή που επιτρέπει την αλλαγή των στοιχείων της αφού ορισθεί) από τη βιβλιοθήκη της ML. Για να την αρχικοποιήσω όπως επιθυμώ καλώ μια συνάρτηση που θέτει ένα ένα κάθε στοιχείο της: θέτει ένα στοιχείο και, μέσω αναδρομής, γεμίζει ύστερα και τα υπόλοιπα στοιχεία της δομής. Η συνάρτηση παίρνει σαν παράμετρο τη δομή και κάποια άλλα πράγματα (μια λίστα και ακεραίους). Επίσης, καλείται σε ένα σημείο με μερικά nested let val ... in ... end. Το πρόγραμμα σε αυτό το σημείο χρειάζεται συνολικά 263184 KB μνήμης με είσοδο το τελευταίο ορατό test case του plgrader. Tι μπορεί να πηγαίνει στραβά?

Answered: Συνάρτηση ως όρισμα εισόδου σε άλλη συνάρτηση και υπερφόρτωση τελεστή στην ML

Sat, 10 Apr 2021 19:34:53 +0000

Η ML δεν υποστηρίζει υπερφόρτωση των τελεστών της.
Αυτό που γίνεται είναι να ορίσεις μια συνάρτηση η οποία θα έχει τη συμπεριφορά που θέλεις, π.χ.

fun less x y = x - y < 42;

Στη συνέχεια η συνάρτηση αυτή μπορεί να περαστεί απλώς σαν όρισμα σε μια άλλη συνάρτηση f.
Βέβαια αυτό δεν είναι αναγκαίο, αν αυτό που θέλεις είναι απλώς να χρησιμοποιείς τη συνάρτηση less μέσα στην f. Αρκεί η μία συνάρτηση να είναι ορατή από την άλλη (π.χ. μέσα στην ίδια δομή let...in...end)

Answered: Η συνάρτηση List.last για τη λίστα στην ML

Tue, 23 Mar 2021 15:39:01 +0000

Αυτό ακριβώς κάνει και έχει πολυπλοκότητα $O(n)$. Οι λίστες της ML είναι κατ' ουσίαν απλά συνδεδεμένες λίστες και δεν υπάρχει αποδοτικός τρόπος να πάρεις το τελευταίο στοιχείο τους.

Answered: Κλήση παραμέτρων στην SML & Πολυπλοκότητα

Wed, 17 Mar 2021 12:15:25 +0000

Technically, στην ML το πέρασμα των παραμέτρων γίνεται by value.

Όμως, σε μια αγνή συναρτησιακή γλώσσα, ο τρόπος περάσματος παραμέτρων δεν έχει μεγάλη σημασία γιατί η καλούμενη συνάρτηση δεν μπορεί να αλλάξει την τιμή ούτε της τυπικής ούτε της πραγματικής παραμέτρου. Αυτό σημαίνει ότι οι υλοποιήσεις της ML δε χρειάζεται να αντιγράφουν λίστες (ή άλλου είδους δεδομένα που είναι μεγάλου μεγέθους) όταν τα περνούν ως παραμέτρους. Το πέρασμα μιας λίστας σε μια συνάρτηση δεν προκαλεί αντιγραφή της λίστας --- η υλοποίηση απλά περνά ένα δείκτη στο πρώτο στοιχείο.

Answered: Εφαρμογή συνάρτησης που ορίζεται μέσα σε let

Thu, 11 Mar 2021 14:08:59 +0000

Στο toplevel της SMLNJ οι εκφράσεις που δίνουμε για αποτίμηση τερματίζονται με ;. στον παραπάνω κώδικα επομένως, δίνεται πρώτα ο ορισμός μίας συνάρτησης (από το let μέχρι και το end), ο οποίος ακολουθείται από την παράμετρο (λίστα [1,2,3,4]) με την οποία θέλουμε να καλέσουμε αυτή τη συνάρτηση.

Αν είχαμε βάλει ; αμέσως μετά το end, τότε θα είχαμε τερματίσει αυτό που δίνουμε στο toplevel αμέσως μετά τον ορισμό της συνάρτησης. H SMLNJ θα είχε απαντήσει:

- let
=   val rec f =
=     fn x => if null x then nil
=             else (hd x + 3) :: f (tl x)
= in
=   f
= end;
val it = fn : int list -> int list