Differences between revisions 6 and 13 (spanning 7 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	Download	Download	input instance	Download
Maximal monochrome paths	Download	Description	input instance	Download
Reachability	Download	Download	input instance	Download
Schur numbers	Download	Download	input instance	Download
Sokoban	Download	Download	input instance	Download
Strategic companies	Download	Download	input instance	Download
Sudoku	Download	Download	input instance	Download

Torna all'inizio della pagina

ASP RfC

Encodings in ASP-RfC

Problem Name			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 6 as of 2010-11-30 12:05:37 → 
  Size: 1940
  Editor: FrancescoCalimeri
  Comment:
+   ← Revision 13 as of 2010-12-01 14:17:21 → ⇥
  Size: 2736
  Editor: GiovambattistaIanni
  Comment:
-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 16:
+Line 11:
-|| 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]] ||
+||'''Problem Name''' || || ||'''Input Example<<BR>>''' ||'''Output Example<<BR>>''' ||
||Hamiltonian path ||[[attachment:hamiltonian-path.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/HamiltonianPath.shtml|Download]] ||[[attachment:hamiltonian-path.input.txt|input instance]] ||[[attachment:hamiltonian-path.output.txt|Download]] ||
||Maximal monochrome paths ||[[attachment:maximal-monochrome-paths.core.asp.txt|Download]] ||[[attachment:maximal-monochrome-paths-description.txt|Description]] ||[[attachment:maximal-monochrome-paths-input.txt|input instance]] ||[[attachment:maximal-monochrome-paths-output.txt|Download]] ||
||Reachability ||[[attachment:reachability.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Download]] ||[[attachment:reachability-input.txt|input instance]] ||[[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|Download]] ||[[attachment:schur-numbers-input.txt|input instance]] ||[[attachment:schur-numbers-output.txt|Download]] ||
||Sokoban ||[[attachment:sokoban.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Download]] ||[[attachment:sokoban-input.txt|input instance]] ||[[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|Download]] ||[[attachment:strategic-companies-input.txt|input instance]] ||[[attachment:strategic-companies-output.txt|Download]] ||
||Sudoku ||[[attachment:sudoku.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Download]] ||[[attachment:sudoku-input.txt|input instance]] ||[[attachment:sudoku-output.txt|Download]] ||
-Line 28:
+Line 23:
-Line 31:
+Line 27:
 Encodings in ASP-RfC
-Line 35:
+Line 30:
+||'''Problem Name''' || || ||'''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]] ||[[attachment:company-controls-input.txt|input instance]] ||[[attachment:company-controls-output.txt|output instance]] ||
-Line 36:
+Line 33:
-|| 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]] ||
-Line 41:
+Line 38:

ASP Competition 2011

Quick Links

Search Wiki

Page Tools

Encoding Examples

ASP Core

ASP RfC