|
Size: 16924
Comment:
|
Size: 12635
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = Corso di INFORMATICA = '''Corso di Laurea (CdL) in Matematica''' ---- <<Anchor(TOP)>> |
#acl EditorsGroup:read,write All:read = Official Problem Suite = == Problem List - Model & Solve and System Track == |
| Line 8: | Line 5: |
<<Anchor(TOC)>> <<TableOfContents>> ---- <<Anchor(docente)>> == Docente == '''Francesco Calimeri''' [[http://www.mat.unical.it/calimeri|link alla home page]] <<BR>> Dipartimento di Matematica, Università della Calabria, 87036 Rende (CS). <<BR>> Ufficio: cubo 30B, 2°piano <<BR>> Telefono: +39 0984 496478 <<BR>> Fax: +39 0984 496410 <<BR>> Email: calimeri[AT]mat.unical.it <<BR>> <<BR>> === Esercitatori === ## * '''Mario Alviano''' - alviano[at]mat.unical.it - [[http://www.alviano.com/|home page]] * '''Susanna Cozza''' - cozza[at]mat.unical.it [[#TOP|Top of Page]] ---- <<Anchor(avvisi)>> == Avvisi == * '''NOTA:''' Il gruppo Facebook disponibile [[http://www.facebook.com/home.php?sk=group_184435371576164|a questo indirizzo]], originariamente aperto per gli studenti che devono sostenere l'esame di Informatica 2 mutuato da questo corso, è ora da considerarsi aperto a tutti gli studenti; è da intendersi come un luogo per confrontarsi, discutere, cercare e trovare supporto e aiuto tra pari. <<BR>> [[#TOP|Top of Page]] ---- <<Anchor(materiale)>> == Testi consigliati == ''Testi'' * Roberto Bruni, Andrea Corradini, Vincenzo Gervasi, ''Programmazione in Java'', APOGEO, 2009. * Harvey M. Deitel, Paul J. Deitel, ''Java. Fondamenti di programmazione'', APOGEO, 2005. * Cay Horstmann, ''Concetti di informatica e fondamenti di Java'', APOGEO, 2007. * C. Thomas Wu, ''Java - Fondamenti di programmazione'', McGraw-Hill, 2009. * J. Glenn Brookshear, "Informatica - Una panoramica generale", Pearson, 2012. ''Varie e sparse'' * D. C. Dennett, D. R. Hofstadter, "L'io della mente. Fantasie e riflessioni sul se' e sull'anima", Adelphi Ed., 1997. [[http://en.wikipedia.org/wiki/The_Mind's_I|link a wikipedia]] * D. R. Hofstadter, "Goedel, Escher, Bach: un'eterna ghirlanda brillante", Adelphi Ed., 1990. [[http://en.wikipedia.org/wiki/Goedel_Escher_Bach|link a wikipedia]] [[#TOP|Top of Page]] ---- == Materiale Didattico, Links, Varie ed Eventuali == === Dispense === * [[attachment:D1-RappresentazioneDell'Informazione.pdf|Appunti: Rappresentazione dell'Informazione]] [documento .PDF] * [[attachment:D2-ArchitetturaDelCalcolatore.pdf|Appunti: Architettura del Calcolatore]] [documento .PDF] * [[attachment:D3-LogicaProposizionale.pdf|Appunti: Logica Proposizionale]] [documento .PDF] === Esercizi === ## ''presto pubblicati'' * [[attachment:20111106-LAB-cominciamo.txt|Primi esercizi da risolvere in Java]] - LAB - Semplici esercizi per cominciare [File di testo (.txt)] * Rappresentazione algoritmo per verificare se un anno è bisestile come diagramma di flusso (algoritmi equivalenti) * [[attachment:20121106-Algoritmo-Bisestile-01.gif]] Algoritmo 1 [File immagine (.gif)] * [[attachment:20121106-Algoritmo-Bisestile-02.gif]] Algoritmo 2 [File immagine (.png)] * [[attachment:20121113-LAB-For-While.txt|Esercizi da risolvere in Java (for-while)]] - LAB - Semplici esercizi per continuare [File di testo (.txt)] * [[attachment:20121120-LAB-Random-Cicli.txt|Esercizi da risolvere in Java (cicli-random)]] - LAB - Semplici esercizi per continuare a continuare [File di testo (.txt)] * [[attachment:20121127-LAB-metodi.txt|Esercizi da risolvere in Java (metodi - 1)]] - LAB - Semplici esercizi sull'uso di metodi [File di testo (.txt)] * [[attachment:20121130-LAB-metodi.txt|Esercizi da risolvere in Java (metodi - 2)]] - LAB - Semplici esercizi sull'uso di metodi (continua) [File di testo (.txt)] * [[attachment:20121211-LAB-array.txt|Esercizi da risolvere in Java (array - 1)]] - LAB - Semplici esercizi sull'uso di array [File di testo (.txt)] * [[attachment:20121218-LAB-array+ricorsione.txt|Esercizi da risolvere in Java (array + ricorsione)]] - LAB - Semplici esercizi sull'uso di array e tecniche ricorsive [File di testo (.txt)] * [[attachment:20130108-LAB-Numeri Razionali.txt|Esercizi da svolgere in Java (Classi: Numeri Razionali)]] - LAB - Esercizi sulle classi, array, ricorsione in Java [File di testo (.txt)] * [[attachment:20130115-LAB-insiemi-e-griglie-luminose.txt|Esercizi da svolgere in Java (Classi: Insiemi e griglie luminose)]] - LAB - Nuovi esercizi sulle classi con elementi di riepilogo [File di testo (.txt)] * [[attachment:20130122-LAB-classi-dadi-matrici.txt|Esercizi da svolgere in Java (Classi: Dadi - Matrici)]] - LAB - Nuovi esercizi sulle classi con elementi di riepilogo sulle matrici [File di testo (.txt)] |
||<tablewidth="1024px" tableheight="421px">'''Nr''' ||'''Name''' ||'''Author(s)''' ||'''Type''' ||'''Complexity''' ||'''Domain''' ||'''Problem Description''' ||'''Sample Instances''' ||'''Checker''' || '''ASP-Core-2 encoding''' || ||N01 ||Permutation Pattern Matching ||Martin Lackner, Andreas Pfandler ||Search ||NP ||Combinatorial ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/PermutationPatternMatching|view]] || [[https://www.mat.unical.it/aspcomp2013/files/PPM-samples.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/permutation_pattern_matching-checker.zip|download]] || [[attachment:Permutation-Pattern-Matching-ENCODING.asp|Permutation Pattern Matching]] || ||N02 ||Valves Location Problem ||Andrea Peano ||Optimization ||Beyond NP ||Combinatorial ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/ValvesLocation|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/valves_location_problem-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/valves_location_problem-checker.zip|download]] || [[attachment:Valves-Location-Problem-ENCODING.asp|Valves Location Problem]] || ||N03 ||Rotating Workforce Scheduling ||Francesco Calimeri, Thomas Krennwallner, Nysret Musliu ||Search || ||Scheduling ||[[https://www.mat.unical.it/aspcomp2013/RotatingWorkforceScheduling|view]] || || || - || ||N04 ||Connected Maximum-density Still Life ||Christian Drescher ||Optimization ||Beyond NP ||AI ||[[https://www.mat.unical.it/aspcomp2013/ConnectedMaximumDensityStillLife|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/still_life-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/still_life-checker.zip|download]] || [[attachment:Connected-Maximum-density-Still-Life-ENCODING.asp|Connected Maximum-density Still Life]] || ||N05 ||Graceful Graphs ||Christian Drescher ||Search ||NP ||Graph ||[[https://www.mat.unical.it/aspcomp2013/GracefulGraphs|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/graceful_graphs-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/graceful_graphs-checker.zip|download]] || [[attachment:Graceful-Graphs-ENCODING.asp|Graceful Graphs]] || ||N06 ||Bottle Filling Problem ||Wolfgang Faber ||Search || ||Combinatorial ||[[https://www.mat.unical.it/aspcomp2013/BottleFillingProblem|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/bottle_filling-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/bottle_filling-checker.zip|download]] || [[attachment:Bottle-Filling-Problem-ENCODING.asp|Bottle Filling Problem]] || ||N07 ||Nomystery ||Giovambattista Ianni, Carlos Linares López*, Hootan Nakhost* ||Search || ||Planning ||[[https://www.mat.unical.it/aspcomp2013/Nomystery|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/nomystery-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/nomystery-checker.zip|download]] || [[attachment:Nomystery-ENCODING.asp|Nomystery]] || ||N08 ||Sokoban ||Giovambattista Ianni, Wolfgang Faber*, Carlos Linares López* ||Search || ||Planning ||[[https://www.mat.unical.it/aspcomp2013/Sokoban|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/sokoban-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/sokoban-checker.zip|download]] || [[attachment:Sokoban-ENCODING.asp|Sokoban]] || ||N09 ||Ricochet Robots ||Julius Höfler, Martin Gebser, Philipp Obermeier, Roland Kaminski, Torsten Schaub ||Search || ||Puzzle ||[[https://www.mat.unical.it/aspcomp2013/RicochetRobot|view]] || [[https://www.mat.unical.it/aspcomp2013/files/ricochetSampleInstances.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/ricochet_robot-checker.zip|download]] || [[attachment:Ricochet-Robots-ENCODING.asp|Ricochet Robots]] || ||O10 ||Crossing Minimization ||Carmine Dodaro, Graeme Gange*, Peter Stuckey* ||Optimization ||Beyond NP ||Graph ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/CrossingMinimization|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/crossing_minimization-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/crossing_minimization-checker.zip|download]] || [[attachment:Crossing-Minimization-ENCODING.asp|Crossing Minimization]] || ||O11 ||Reachability ||Carmine Dodaro, Giorgio Terracina* ||Query ||P ||Graph ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/Reachability|view]] || || || [[attachment:Reachability-ENCODING.asp|Reachability]] || ||O12 ||Strategic Companies ||Mario Alviano, Marco Maratea*, Francesco Ricca* ||Query ||Beyond NP ||AI ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/StrategicCompanies|view]] ||[[https://www.mat.unical.it/ aspcomp2013/files/samples/strategic_companies-sample.zip|download]] || || [[attachment:Strategic-Companies-ENCODING.asp|Strategic Companies]] || ||O13 ||Solitaire ||Marcello Balduccini, Yuliya Lierler* ||Search ||NP ||Puzzle ||[[https://www.mat.unical.it/aspcomp2013/Solitaire|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/solitaire_sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/solitaire-checker.zip|download]] || [[attachment:Solitaire-ENCODING.asp|Solitaire]] || ||O14 ||Weighted-Sequence Problem ||Marcello Balduccini, Yuliya Lierlier, Shaden Smith ||Search ||NP ||Database ||[[https://www.mat.unical.it/aspcomp2013/WeightedSequenceProblem|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/weighted_sequence-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/weighted_sequence-checker.zip|download]] || [[attachment:Weighted-Sequence-Problem-ENCODING.asp|Weighted-Sequence Problem]] || ||O15 ||Stable Marriage ||Mario Alviano, Carmine Dodaro, Francesco Ricca ||Search ||P ||Graph ||[[https://www.mat.unical.it/aspcomp2013/StableMarriage|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/stablemarriage-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/stable_marriage-checker.zip|download]] || [[attachment:Stable-Marriage-ENCODING.asp|Stable Marriage]] || ||O16 ||Incremental Scheduling ||Marcello Balduccini, Yuliya Lierler* ||Search ||NP ||Scheduling ||[[https://www.mat.unical.it/aspcomp2013/IncrementalScheduling|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/incremental_scheduling-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/incremental-scheduling-checker.zip|download]] || [[attachment:Incremental-Scheduling-ENCODING.asp|Incremental Scheduling]] || |
| Line 80: | Line 24: |
| ## '''NOTA:''' Gli esercizi per il laboratorio sono da intendersi come '''obbligatori per tutti''', anche per coloro che non dovessero fare in tempo a completarli entro il termine della lezione. ## * [[attachment:20111021-LAB-cominciamo.txt|Primi esercizi da risolvere in Java]] - LAB - Semplici esercizi per cominciare [File di testo (.txt)] ## * [[attachment:20111028-LAB-continuiamo.txt|Altri semplici esercizi da risolvere in Java]] - LAB - Semplici esercizi per continuare [File di testo (.txt)] ## * [[attachment:20111108-LAB-andiamo-avanti.txt|Qualche esercizio un po' piu' elaborato da risolvere in Java]] - LAB - Semplici esercizi per andare avanti [File di testo (.txt)] ## * [[attachment:20111115-LAB-funzioni-metodi.txt|Metodi - 01]] - LAB - Esercizi che richiedono l'uso di metodi statici per la formulazione di soluzioni più struttutrate [File di testo (.txt)] ## * [[attachment:20111125-LAB-ricorsione-array.txt|Ricorsione-Array]] - LAB - Esercizi che richiedono l'impiego di metodi, ricorsione, array [File di testo (.txt)] ## * [[attachment:20111206-LAB-classi-ricorsione-array.txt|Classi (punti cartesiani) + Ricorsione-Array - 01]] - LAB - Primi esercizi sulle classi, piu' un piccolo esercizio su ricorsione ed array [File di testo (.txt)] ## * [[attachment:20111213-LAB-numeri-razionali.txt|Classi (numeri razionali) + Ricorsione-Array - 02]] - LAB - Ancora esercizi sulle classi, qualche richiamo su ricorsione ed array [File di testo (.txt)] ## * [[attachment:20111220-LAB-insiemi-e-griglie-luminose.txt|Classi (insiemi e griglie luminose)]] - LAB - Nuovi esercizi sulle classi con elementi di riepilogo [File di testo (.txt)] ## * [[attachment:20120110-LAB-Classi-Dadi-e-Matrici.txt|Classi (Classi, dadi e matrici)]] - LAB - Ancora esercizi sulle classi, con elementi di riepilogo, e matrici [File di testo (.txt)] ## * [[attachment:20120124-LAB-Stack.txt|Stack e Caratteri (Strutture dati, Classi e riepilogo)]] - LAB - Semplice classe stack, con elementi di riepilogo [File di testo (.txt)] |
|
| Line 93: | Line 26: |
| ## * [[attachment:20101125-LAB-sequenze.txt|Primi esercizi in Java]] (Sequenze - Testo per esercitazione di laboratorio) [File di testo (.txt)] <-- questi esercizi sono da intendersi come '''obbligatori per tutti''', anche per coloro che non dovessero aver fatto in tempo a terminarli in laboratorio. ## * [[attachment:20101126-esercizi-per-il-weekend.txt|(ancora) primi esercizi in Java]] (Semplici algoritmi) ## * [[attachment:20101202-LAB-funzioni.txt|Primi esercizi sui metodi in Java]] (Metodi - Testo per esercitazione di laboratorio) [File di testo (.txt)] <-- (refrain) questi esercizi sono da intendersi come '''obbligatori per tutti''', anche per coloro che non dovessero aver fatto in tempo a terminarli in laboratorio. ## * [[attachment:20101203-20101203-Esercizi-per-la-settimana-dell'Immacolata.txt|Esercizi per la settimana dell'Immacolata]] (obbligatori per tutti) <-- completare ogni punto ## * [[attachment:20101209-LAB-funzioni.txt|Esercizi vari]] (Metodi, estrazioni casuali, switch - Testo per esercitazione di laboratorio) [File di testo (.txt)] ## * [[attachment:20110113-Esercitazione-LAB-Ricorsione-Array.txt|Esercitazione LABORATORIO - Array/Ricorsione (1)]] (occorrenze in sequenza, verifiche di proprietà su array, cifre e scomposizione di interi) [File di testo (.txt)] ## * [[attachment:20110120-EsercitazioneLAB-Matrici.txt|Esercitazione LABORATORIO - Matrici]] (varie operazioni su matrici e array+matrici) [file di testo (.txt)] ## * [[attachment:20110127-Esercitazione-LAB-Punti-Cartesiani-e-Cerchi.txt|Esercitazione LABORATORIO - Classi]] (Punti Cartesiani e Cerchi) [file di testo (.txt)] ## * [[attachment:20110203-Esercitazione-LAB-Insiemi-e-griglia-luminosa.txt|Esercitazione LABORATORIO - Classi]] (Insiemi e Griglia Luminosa) [file di testo (.txt)] ==== Esercizi Svolti ==== ## ''presto pubblicati'' * [[attachment:20121219-Classi-Time.txt|Classe "time"]] - Semplici esempi di definizioni e uso di classi in Java [File di testo (.txt)] * [[attachment:20130109-Ricerca-array.txt|Ricerca Lineare/Binaria]] [file di testo (.txt)] * [[attachment:20130116-Ordinamento-array.txt|Bubble Sort/Merge Sort]] [file di testo (.txt)] ## * [[attachment:01-LAB-Funzioni-01-SOLUZIONI.txt|Uso di funzioni/metodi - 1]] [file di testo (.txt)] ## * [[attachment:02-LAB-Funzioni-02-SOLUZIONI.txt|Uso di funzioni/metodi - 2]] [file di testo (.txt)] ## * [[attachment:03-LAB-Ricorsione-Array-SOLUZIONI.txt|Array/Ricorsione]] [file di testo (.txt)] ## * [[attachment:04-LAB-Matrici-SOLUZIONI.txt|Matrici]] [file di testo (.txt)] ## * [[attachment:05-Classi-Numeri-razionali.txt|Classi - Numeri Razionali]] [file di testo (.txt)] ## * [[attachment:06-LAB-Punti-Cartesiani-e-Cerchi-SOLUZIONI.txt|Classi - Punti Cartesiani e Cerchi]] [file di testo (.txt)] ## * [[attachment:07-LAB-Insiemi-Griglia-Luminosa-SOLUZIONI.txt|Classi/Matrici - Griglia luminosa]] [file di testo (.txt)] ## * [[attachment:08-Ricerca-e-ordinamento-array.txt|Ricerca lineare/binaria - Bubble Sort/Merge Sort]] [file di testo (.txt)] ## * [[attachment:09-Stringhe.txt|Stringhe - Esempi]] [file di testo (.txt)] ==== Compiti d'esame ==== ## ''presto pubblicati'' * [[attachment:20100202-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 02 febbraio 2010]] - Testo e soluzioni [file .PDF] * [[attachment:20100216-InformaticaCdLMatematica-Esame-SOLUZIONI.pdf|Appello del 16 febbraio 2010]] - Testo e soluzioni [file .PDF] ## * [[attachment:20110217-Informatica-cdl-Matematica-Esame-SOLUZIONI.pdf|Appello del 17 febbraio 2011]] - Testo e soluzioni [file .PDF] ## * [[attachment:20110405-Informatica-2-Appello-SOLUZIONI.html|Appello per l'esame di Informatica 2 (3° anno CdL Matematica)]] - Testo e soluzioni [file .html] ## * [[attachment:20110713-Informatica+Informatica-2-Appello-SOLUZIONI.pdf|Appello del 13 luglio 2011 (esami di Informatica ed Informatica 2)]] - Testo e soluzioni [file .PDF] ## * [[attachment:20110915-Informatica+Informatica-2-Appello-SOLUZIONI.pdf|Appello del 15 settembre 2011 (esami di Informatica ed Informatica 2)]] - Testo e soluzioni [file .PDF] (scarica Adobe Reader [[http://goo.gl/T4wp4|QUI]]) === Progetti, Compiti e Varie === ## ''presto pubblicati'' * [[attachment:201212-Progetto-per-le-vacanze-di-Natale.pdf|Piccolo progetto per le Vacanze di Natale]] - Specifiche [file .PDF] - Si ricorda che il progetto è da considerarsi '''obbligatorio'''. ## * [[https://www.mat.unical.it/calimeri/wiki/InformaticaCDLmatematica/InventareUnGioco|Compito per la prima settimana]] (3-9 ottobre 2011). ## * [[attachment:2011-12-Progetto-per-le-vacanze-di-Natale.html|Piccolo progetto per le Vacanze di Natale]] (pagina html). ## * [[attachment:200912-ProgettoPerLeVacanzeDiNatale.pdf|PROGETTINO per le vacanze di Natale]] - Specifiche [file .PDF] ## * [[attachment:201012-PianoDiLavoroPerLeVacanzeDiNatale.html|Piano di lavoro per le vacanze di Natale]] - Esercizi + Specifiche del ''progettino'' - '''OBBLIGATORIO''' === Links === * [[http://goo.gl/LKg8U|Gruppo Facebook]] ## * [[attachment:MontyHall.html|Monty Hall o "Il gioco delle tre porte" - Discussione]] |
== Problem List - System Track only == <<BR>> ||<tablewidth="1024px" tableheight="421px">'''Nr''' ||'''Name''' ||'''Author(s)''' ||'''Type''' ||'''Complexity''' ||'''Domain''' ||'''ASP-Core-2 Encoding''' ||'''Problem Description''' ||'''Sample Instances''' ||'''Checker''' || '''ASP-Core-2 encoding''' || ||N17 ||Qualitative Spatial Reasoning ||Jason Jingshi Li ||Search ||NP ||Formal logic || ||[[https://www.mat.unical.it/aspcomp2013/FinalProblemDescriptions/QualitativeSpatialTemporalReasoning|view]] || ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/qualitative_spatial_reasoning-checker.zip|download]]|| [[attachment:Qualitative-Spatial-Reasoning-ENCODING.asp|Qualitative Spatial Reasoning]] || ||N18 ||Chemical Classification ||Despoina Magka ||Search ||P ||Natural Sciences || ||[[https://www.mat.unical.it/aspcomp2013/ChemicalClassification|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/chemical_classification-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/chemical_classification-checker.zip|download]]|| [[attachment:Chemical-Classification-ENCODING.asp|Chemical Classification]] || ||N19 ||Abstract Dialectical Frameworks Well-founded Model ||Stefan Ellmauthaler, Johannes Wallner ||Optimization || ||Formal logic || ||[[https://www.mat.unical.it/aspcomp2013/AbstractDialecticalFrameworks|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/abstract_dialectical_frameworks-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/abstract_dialectical_frameworks-checker.zip|download]]|| [[attachment:Abstract-Dialectical-Frameworks-Well-founded-Model-ENCODING.asp|Abstract Dialectical Frameworks Well-founded Model]] || ||N20 ||Visit-all ||Giovambattista Ianni,Nir Lipovetzky*, Carlos Linares López* ||Search || ||Planning || ||[[https://www.mat.unical.it/aspcomp2013/VisitAll|view]] || [[https://www.mat.unical.it/aspcomp2013/files/Visitall-samples.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/visit_all-checker.zip|download]]|| [[attachment:Visit-all-ENCODING.asp|Visit-all]] || ||N21 ||Complex Optimization of Answer Sets ||Martin Gebser, Roland Kaminski, Torsten Schaub ||Search || ||Synthetic || ||[[https://www.mat.unical.it/aspcomp2013/ComplexOptimizationAnswerSets|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/complex_optimization-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/complex_optimization-checker.zip|download]]|| [[attachment:Complex-Optimization-of-Answer-Sets-ENCODING.asp|Complex Optimization of Answer Sets]] || ||O22 ||Knight Tour with Holes ||Francesco Calimeri, Neng-Fa Zhou* ||Search ||NP ||Puzzle || ||[[https://www.mat.unical.it/aspcomp2013/KnightTour|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/knight_tour-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/knight_tour-checker.zip|download]]|| [[attachment:Knight-Tour-with-Holes-ENCODING.asp|Knight Tour with Holes]] || ||O23 ||Maximal Clique Problem ||Guenther Charwat, Martin Kronegger, Johan Wittocx* ||Optimization ||Beyond NP ||Graph || ||[[https://www.mat.unical.it/aspcomp2013/MaximalClique|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/maximal_clique-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/maximal_clique-checker.zip|download]]|| [[attachment:Maximal-Clique-Problem-ENCODING.asp|Maximal Clique Problem]] || ||O24 ||Labyrinth ||Carmine Dodaro, Giovambattista Ianni, Martin Gebser* ||Search ||NP ||Puzzle || ||[[https://www.mat.unical.it/aspcomp2013/Labyrinth|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/labyrinth-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/labyrinth-checker.zip|download]]|| [[attachment:Labyrinth-ENCODING.asp|Labyrinth]] || ||O25 ||Minimal Diagnosis ||Marcello Balduccini, Martin Gebser* ||Search ||Beyond NP ||Diagnosis || ||[[https://www.mat.unical.it/aspcomp2013/MinimalDiagnosis|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/minimal_diagnosis-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/minimal_diagnosis-checker.zip|download]]|| [[attachment:Minimal-Diagnosis-ENCODING.asp|Minimal Diagnosis]] || ||O26 ||Hanoi Tower ||Gayathri Namasivayam, Miroslaw Truszczynski, Shaden Smith, Alex Westlund ||Search ||NP ||AI || ||[[https://www.mat.unical.it/aspcomp2013/HanoiTower|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/hanoi_tower-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/hanoi_tower-checker.zip|download]]|| [[attachment:Hanoi-Tower-ENCODING.asp|Hanoi Tower]] || ||O27 ||Graph Colouring ||Johannes Wallner, Marcello Balduccini*, Yuliya Lierler* ||Search ||NP ||Graph || ||[[https://www.mat.unical.it/aspcomp2013/GraphColouring|view]] ||[[https://www.mat.unical.it/aspcomp2013/files/samples/graph_colouring-sample.zip|download]] ||[[https://www.mat.unical.it/aspcomp2013/files/checkers/graph_colouring-checker.zip|download]]|| [[attachment:Graph-Colouring-ENCODING.asp|Graph Colouring]] || |
| Line 137: | Line 42: |
| [[#TOP|Top of Page]] ---- <<Anchor(obiettivi)>> == Obiettivi del Corso == Il corso intende fornire solide basi sulla programmazione dei calcolatori elettronici per la risoluzione di problemi. Esso prevede lo studio di tecniche di programmazione nel linguaggio Java, con uso di semplici strutture dati, ed una introduzione alla programmazione ad oggetti. <<BR>> [[#TOP|Top of Page]] ---- <<Anchor(prerequisiti)>> == Prerequisiti == Sono utili conoscenze di base di matematica, logica, una dimestichezza minima con l'uso del computer. [[#TOP|Top of Page]] ---- <<Anchor(programma)>> == Programma del Corso == Il programma di massima del corso è disponibile a [[attachment:informatica-cdl-matematica-programma.txt|questo LINK]] [file di testo (.txt)] [[#TOP|Top of Page]] ---- <<Anchor(modalitaEsame)>> == Modalità d'Esame == L'esame consiste di due prove: una scritta ed una orale (eventualmente integrata da una contestuale ''"prova pratica"''). * ''Prova scritta'' Per accedere alla prova scritta è necessario prenotarsi tramite il sistema [[http://didattica.unical.it/|UNIWEX]]. Le date, gli orari e le aule sono in accordo con il calendario fornito dal Corso di Laurea. I risultati sono pubblicati online '''nei giorni immediatamente successivi alla prova''', dipendentemente dal numero di elaborati da correggere; è pertanto fortemente consigliato un '''controllo tempestivo e regolare''' di queste pagine e di quelle del Corso di Laurea. Gli studenti che hanno sostenuto con successo la prova scritta accedono a quella orale; gli altri, sono da considerarsi respinti. * ''Prova orale'' Assieme ai risultati della prova scritta, è fatta comunicazione di date, orari e aule relativi alla prova orale, che si tiene '''nei giorni immediatamente successivi alla suddetta pubblicazione'''. La prova orale può prevedere una verifica delle capacità di utilizzare un ambiente integrato di sviluppo, effettuata direttamente su un computer ("''prova pratica''"). ## * ''Note'' ## * Ciascuno studente può sostenere uno solo dei due appelli previsti per ogni sessione d'esame, a libera scelta. ## * Gli studenti prenotati per il primo appello, ed effettivamente presenti in aula, hanno facoltà di "'''ritirarsi senza consegnare'''", garantendosi la possibilità di ripresentarsi al secondo appello. Questa possibilità, tuttavia, si concretizza effettivamente solo '''a condizione che il "ritiro" avvenga nei primi minuti dall'inizio ufficiale della prova'''. Detto limite sarà indicato dal docente direttamente in aula. ## * Gli studenti che, al primo appello, consegnano il compito scritto, o si "ritirano" dopo il limite indicato in aula, vengono automaticamente '''esclusi dalla possibilità di sostenere l'esame al secondo appello'''. ## * La prenotazione al primo appello non comporta l'esclusione dal secondo: si è esclusi dalla possibilità di sostenere l'esame al secondo appello soltanto se questo è stato effettivamente sostenuto al primo (leggi: se è stato consegnato il compito o se il "ritiro" è avvenuto dopo il limite indicato). |
|
| Line 184: | Line 44: |
| [[#TOP|Top of Page]] ---- <<Anchor(risultatiEsami)>> == Risultati Esami == |
== Legend == Columns in the table below are to be read as following: |
| Line 189: | Line 47: |
| ## * Esito [[attachment:20100202-informatica-cdl-matematica-risultati.html|appello del 02-02-2010]] [pagina .html] ## * Esito [[attachment:20100216-informatica-cdl-matematica-risultati.html|appello del 16-02-2010]] [pagina .html] ## * Esito [[attachment:20110217-informatica-cdl-matematica-risultati.pdf|appello del 17-02-2011]] [file .pdf] - '''AVVISO''': prova orale GIOVEDI' 24 febbraio 2010, ore 15;00, presso lo studio del docente (cubo 30B, ponte coperto). ## * Esito [[attachment:20110405-informatica-2-cdl-matematica-risultati.html|appello del 05-04-2011]] [file .html] - '''NOTA''': si tratta della prova d'esame per il corso di Informatica 2. ## * Esito [[attachment:20110713-informatica+informatica-2-cdl-matematica-risultati.html|appello del 13-07-2011]] [file .html] -- '''NOTA''': prova d'esame per entrambi i corsi di Informatica 2 v.o. e Informatica n.o.. -- '''Prova orale''': mercoledì 20 luglio, a partire dalle ore 09:30 presso lo studio del prof. Calimeri (cubo 30B, ponte coperto). ## * Esito [[attachment:20110915-informatica+informatica-2-cdl-matematica-risultati.pdf|appello del 15-09-2011]] [file .pdf] (scarica Adobe Reader [[http://goo.gl/T4wp4|QUI]]) -- '''NOTA''': prova d'esame per entrambi i corsi di Informatica 2 v.o. e Informatica n.o. -- '''Prova orale''': mercoledì 21 settembre, a partire dalle ore 10:30 presso lo studio del prof. Calimeri (cubo 30B, ponte coperto). * Esito [[attachment:20120209-informatica-cdl-matematica-risultati.pdf|appello del 09-02-2012]] [file .pdf] (scarica Adobe Reader [[http://goo.gl/T4wp4|QUI]]) -- '''Prova orale''': gli ammessi (compresi gli ammessi con ''riserva'') sono convocati '''giovedì 23 febbraio''', alle ore 09:30, presso lo studio del prof. Calimeri (cubo 30B, ponte coperto). [[#TOP|Top of Page]] ---- Torna alla pagina [[didattica]] Torna alla home page di [[http://www.mat.unical.it/calimeri|Francesco Calimeri]] ---- |
* '''Nr'''. ID of the benchmark. The prefixes ''N'' resp. ''O'' denote a newly added resp. a 2011 benchmark. * '''Author(s)'''. Names of authors. A ''^*^'' denotes that they authored the respective package in previous years. * '''Type'''. One of ''Search'', ''Optimization'', ''Query''. See the problem [[BenchmarkProblems|classification]] page. * '''Final Problem Description'''. Problem specifications in their official form, with latest notes and updates. * '''Sample Instances'''. A link to sample instances of the given problem. |
Official Problem Suite
Problem List - Model & Solve and System Track
Nr |
Name |
Author(s) |
Type |
Complexity |
Domain |
Problem Description |
Sample Instances |
Checker |
ASP-Core-2 encoding |
N01 |
Permutation Pattern Matching |
Martin Lackner, Andreas Pfandler |
Search |
NP |
Combinatorial |
||||
N02 |
Valves Location Problem |
Andrea Peano |
Optimization |
Beyond NP |
Combinatorial |
||||
N03 |
Rotating Workforce Scheduling |
Francesco Calimeri, Thomas Krennwallner, Nysret Musliu |
Search |
|
Scheduling |
|
|
- |
|
N04 |
Connected Maximum-density Still Life |
Christian Drescher |
Optimization |
Beyond NP |
AI |
||||
N05 |
Graceful Graphs |
Christian Drescher |
Search |
NP |
Graph |
||||
N06 |
Bottle Filling Problem |
Wolfgang Faber |
Search |
|
Combinatorial |
||||
N07 |
Nomystery |
Giovambattista Ianni, Carlos Linares López*, Hootan Nakhost* |
Search |
|
Planning |
||||
N08 |
Sokoban |
Giovambattista Ianni, Wolfgang Faber*, Carlos Linares López* |
Search |
|
Planning |
||||
N09 |
Ricochet Robots |
Julius Höfler, Martin Gebser, Philipp Obermeier, Roland Kaminski, Torsten Schaub |
Search |
|
Puzzle |
||||
O10 |
Crossing Minimization |
Carmine Dodaro, Graeme Gange*, Peter Stuckey* |
Optimization |
Beyond NP |
Graph |
||||
O11 |
Reachability |
Carmine Dodaro, Giorgio Terracina* |
Query |
P |
Graph |
|
|
||
O12 |
Strategic Companies |
Mario Alviano, Marco Maratea*, Francesco Ricca* |
Query |
Beyond NP |
AI |
|
|||
O13 |
Solitaire |
Marcello Balduccini, Yuliya Lierler* |
Search |
NP |
Puzzle |
||||
O14 |
Weighted-Sequence Problem |
Marcello Balduccini, Yuliya Lierlier, Shaden Smith |
Search |
NP |
Database |
||||
O15 |
Stable Marriage |
Mario Alviano, Carmine Dodaro, Francesco Ricca |
Search |
P |
Graph |
||||
O16 |
Incremental Scheduling |
Marcello Balduccini, Yuliya Lierler* |
Search |
NP |
Scheduling |
Problem List - System Track only
Nr |
Name |
Author(s) |
Type |
Complexity |
Domain |
ASP-Core-2 Encoding |
Problem Description |
Sample Instances |
Checker |
ASP-Core-2 encoding |
N17 |
Qualitative Spatial Reasoning |
Jason Jingshi Li |
Search |
NP |
Formal logic |
|
|
|||
N18 |
Chemical Classification |
Despoina Magka |
Search |
P |
Natural Sciences |
|
||||
N19 |
Abstract Dialectical Frameworks Well-founded Model |
Stefan Ellmauthaler, Johannes Wallner |
Optimization |
|
Formal logic |
|
||||
N20 |
Visit-all |
Giovambattista Ianni,Nir Lipovetzky*, Carlos Linares López* |
Search |
|
Planning |
|
||||
N21 |
Complex Optimization of Answer Sets |
Martin Gebser, Roland Kaminski, Torsten Schaub |
Search |
|
Synthetic |
|
||||
O22 |
Knight Tour with Holes |
Francesco Calimeri, Neng-Fa Zhou* |
Search |
NP |
Puzzle |
|
||||
O23 |
Maximal Clique Problem |
Guenther Charwat, Martin Kronegger, Johan Wittocx* |
Optimization |
Beyond NP |
Graph |
|
||||
O24 |
Labyrinth |
Carmine Dodaro, Giovambattista Ianni, Martin Gebser* |
Search |
NP |
Puzzle |
|
||||
O25 |
Minimal Diagnosis |
Marcello Balduccini, Martin Gebser* |
Search |
Beyond NP |
Diagnosis |
|
||||
O26 |
Hanoi Tower |
Gayathri Namasivayam, Miroslaw Truszczynski, Shaden Smith, Alex Westlund |
Search |
NP |
AI |
|
||||
O27 |
Graph Colouring |
Johannes Wallner, Marcello Balduccini*, Yuliya Lierler* |
Search |
NP |
Graph |
|
Legend
Columns in the table below are to be read as following:
Nr. ID of the benchmark. The prefixes N resp. O denote a newly added resp. a 2011 benchmark.
Author(s). Names of authors. A * denotes that they authored the respective package in previous years.
Type. One of Search, Optimization, Query. See the problem classification page.
Final Problem Description. Problem specifications in their official form, with latest notes and updates.
Sample Instances. A link to sample instances of the given problem.