Differences between revisions 9 and 11 (spanning 2 versions)

Encoding Examples

Contents

Encoding Examples
1. ASP Core
2. ASP RfC

ASP Core

Encodings strictly contained in ASP-Core

Problem Name			Input Example	Output Example
Hamiltonian path	encoding	Description from 2nd ASP competition website	input instance	output instance
Maximal monochrome paths	encoding	Description	input instance	output instance
Reachability	encoding	Description from 2nd ASP competition website	input instance	output instance
Schur numbers	encoding	Description from 2nd ASP competition website	input instance	output instance
Sokoban	encoding	Description from 2nd ASP competition website	input instance	output instance
Strategic companies	encoding	Description from 2nd ASP competition website	input instance	output instance
Sudoku	encoding	Description from 2nd ASP competition website	input instance	output instance

Torna all'inizio della pagina

ASP RfC

Encodings in ASP-RfC

Problem Name		hamiltonian-path-input.txt	Input Example	Output Example
Company controls	encoding	Description from 2nd ASP competition website	input instance	output instance

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

-  ⇤ ← Revision 9 as of 2010-12-01 11:14:08 → 
  Size: 2166
  Editor: KristianReale
  Comment:
+   ← Revision 11 as of 2010-12-01 12:58:27 → ⇥
  Size: 2959
  Editor: KristianReale
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 12:
-||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]] ||[[attachment:hamiltonian-path.input.txt|input instance]]|| ||
||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]] || || ||
+||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]] ||[[attachment:hamiltonian-path.input.txt|input instance]] ||[[attachment:hamiltonian-path.output.txt|output instance]] ||
||Maximal monochrome paths ||[[attachment:maximal-monochrome-paths.core.asp.txt|encoding]] ||[[attachment:maximal-monochrome-paths-description.txt|Description]] ||[[attachment:maximal-monochrome-paths-input.txt|input instance]] ||[[attachment:maximal-monochrome-paths-output.txt|output instance]] ||
||Reachability ||[[attachment:reachability.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Description from 2nd ASP competition website]] ||[[attachment:reachability-input.txt|input instance]] ||[[attachment:reachability-output.txt|output instance]] ||
||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]] ||[[attachment:schur-numbers-input.txt|input instance]] ||[[attachment:schur-numbers-output.txt|output instance]] ||
||Sokoban ||[[attachment:sokoban.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Description from 2nd ASP competition website]] ||[[attachment:sokoban-input.txt|input instance]] ||[[attachment:sokoban-output.txt|output instance]] ||
||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]] ||[[attachment:strategic-companies-input.txt|input instance]] ||[[attachment:strategic-companies-output.txt|output instance]] ||
||Sudoku ||[[attachment:sudoku.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Description from 2nd ASP competition website]] ||[[attachment:sudoku-input.txt|input instance]] ||[[attachment:sudoku-output.txt|output instance]] ||
 Line 31:
-||'''Problem Name''' || ||[[attachment:hamiltonian-path-input.txt]] ||
||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]] ||
+||'''Problem Name''' || ||[[attachment:hamiltonian-path-input.txt]] ||'''Input Example''' ||'''Output Example''' ||
||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]] ||input instance ||output instance ||

ASP Competition 2011

Quick Links

Search Wiki

Page Tools

Encoding Examples

ASP Core

ASP RfC