Differences between revisions 5 and 23 (spanning 18 versions)

Encoding Examples

Contents

Encoding Examples
1. ASP Core
2. ASP RfC

ASP Core

Encodings strictly contained in ASP-Core

Problem Name	Encoding	Description	Input Example	Output Example
15 Puzzle	Download	Read	Download	Download
Blocked N-queens	Download	Read	Download	Download
Graph colouring	Download	Read	Download	Download
Hamiltonian path	Download	Read	Download	Download
Maximal monochrome paths	Download	Read	Download	Download
Maze generation	Download	Read	Download	Download
Reachability	Download	Read	Download	Download
Schur numbers	Download	Read	Download	Download
Sokoban	Download	Read	Download	Download
Strategic companies	Download	Read	Download	Download
Sudoku	Download	Read	Download	Download
Tower of hanoi	Download	Read	Download	Download

Torna all'inizio della pagina

ASP RfC

Encodings in ASP-RfC

Problem Name	Encoding	Description	Input Example	Output Example
Company controls	Download	Read	Download	Download
Travelling salesperson	Download	Read	Download	Download
Weight-bounded dominating set	Download	Read	Download	Download

ASP Competition 2011: EncodingsExamples (last edited 2010-12-22 10:29:07 by SusannaCozza)

-  ⇤ ← Revision 5 as of 2010-11-30 11:49:50 → 
  Size: 1794
  Editor: FrancescoCalimeri
  Comment:
+   ← Revision 23 as of 2010-12-22 10:29:07 → ⇥
  Size: 4598
  Editor: SusannaCozza
  Comment: Aggiunta entry per Weight-bounded dominating set
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
-Line 6:
+Line 4:
-<<Anchor(TOC)>>
<<TableOfContents>>
+<<Anchor(TOC)>> <<TableOfContents>>
-Line 12:
+Line 8:
+Encodings strictly contained in ASP-Core
-Line 13:
+Line 10:
- * Hamiltonian path [[attachment:hamiltonian-path.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/HamiltonianPath.shtml|Description from 2nd ASP competition website]]
 * Maximal monochrome paths [[attachment:maximal-monochrome-paths.core.asp.txt|encoding]] - [[attachment:maximal-monochrome-paths-description.txt|Description]]
 * Reachability [[attachment:reachability.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Description from 2nd ASP competition website]]
 * Schur numbers [[attachment:schur-numbers.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/SchurNumbers.shtml|Description from 2nd ASP competition website]]
 * Sokoban [[attachment:sokoban.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Description from 2nd ASP competition website]]
 * Strategic companies [[attachment:strategic-companies.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/StrategicCompanies.shtml|Description from 2nd ASP competition website]]
 * Sudoku [[attachment:sudoku.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Description from 2nd ASP competition website]]
+<<BR>>
||'''Problem Name''' || '''Encoding''' || '''Description''' ||'''Input Example<<BR>>''' ||'''Output Example<<BR>>''' ||
||15 Puzzle ||[[attachment:15Puzzle.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/15Puzzle.shtml|Read]] ||[[attachment:15Puzzle.input.txt|Download]] ||[[attachment:15Puzzle.output.txt|Download]] ||
||Blocked N-queens ||[[attachment:BlockedNQueens.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/BlockedQueens.shtml|Read]] ||[[attachment:BlockedNQueens.input.txt|Download]] ||[[attachment:BlockedNQueens.output.txt|Download]] ||
||Graph colouring ||[[attachment:GraphColouring.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/GraphColouring.shtml|Read]] ||[[attachment:GraphColouring.input.txt|Download]] ||[[attachment:GraphColouring.output.txt|Download]] ||
||Hamiltonian path ||[[attachment:hamiltonian-path.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/HamiltonianPath.shtml|Read]] ||[[attachment:hamiltonian-path.input.txt|Download]] ||[[attachment:hamiltonian-path.output.txt|Download]] ||
||Maximal monochrome paths ||[[attachment:maximal-monochrome-paths.core.asp.txt|Download]] ||[[attachment:maximal-monochrome-paths-description.txt|Read]] ||[[attachment:maximal-monochrome-paths-input.txt|Download]] ||[[attachment:maximal-monochrome-paths-output.txt|Download]] ||
||Maze generation ||[[attachment:MazeGeneration.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/MazeGeneration.shtml|Read]] ||[[attachment:MazeGeneration-input.txt|Download]] ||[[attachment:MazeGeneration-output.txt|Download]] ||
||Reachability ||[[attachment:reachability.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Read]] ||[[attachment:reachability-input.txt|Download]] ||[[attachment:reachability-output.txt|Download]] ||
||Schur numbers ||[[attachment:schur-numbers.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/SchurNumbers.shtml|Read]] ||[[attachment:schur-numbers-input.txt|Download]] ||[[attachment:schur-numbers-output.txt|Download]] ||
||Sokoban ||[[attachment:sokoban.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Read]] ||[[attachment:sokoban-input.txt|Download]] ||[[attachment:sokoban-output.txt|Download]] ||
||Strategic companies ||[[attachment:strategic-companies.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/StrategicCompanies.shtml|Read]] ||[[attachment:strategic-companies-input.txt|Download]] ||[[attachment:strategic-companies-output.txt|Download]] ||
||Sudoku ||[[attachment:sudoku.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Read]] ||[[attachment:sudoku-input.txt|Download]] ||[[attachment:sudoku-output.txt|Download]] ||
||Tower of hanoi ||[[attachment:hanoi.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/TowerHanoi.shtml|Read]] ||[[attachment:hanoi.input.txt|Download]] ||[[attachment:hanoi.output.txt|Download]] ||
-Line 24:
+Line 29:
-Line 27:
+Line 33:
+Encodings in ASP-RfC
-Line 28:
+Line 35:
- * Company controls [[attachment:company-controls.rfc.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/CompanyControl.shtml|Description from 2nd ASP competition website]]
+<<BR>>
||'''Problem Name''' || '''Encoding''' || '''Description''' ||'''Input Example''' ||'''Output Example''' ||
||Company controls ||[[attachment:company-controls.rfc.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/CompanyControl.shtml|Read]] ||[[attachment:company-controls-input.txt|Download]] ||[[attachment:company-controls-output.txt|Download]] ||
||Travelling salesperson ||[[attachment:TravellingSalesperson.rfc.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/TravellingSalesPerson.shtml|Read]] ||[[attachment:TravellingSalesperson-input.txt|Download]] ||[[attachment:TravellingSalesperson-output.txt|Download]] ||
||Weight-bounded dominating set ||[[attachment:WeightBoundedDominatingSet.rfc.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/WeightBoundedDS.shtml|Read]] ||[[attachment:WeightBoundedDominatingSet-input.txt|Download]] ||[[attachment:WeightBoundedDominatingSet-output.txt|Download]] ||
-Line 33:
+Line 43:

ASP Competition 2011

Quick Links

Search Wiki

Page Tools

Encoding Examples

ASP Core

ASP RfC