|
Size: 2959
Comment:
|
← Revision 23 as of 2010-12-22 10:29:07 ⇥
Size: 4598
Comment: Aggiunta entry per Weight-bounded dominating set
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 10: | Line 10: |
| Line 11: | Line 12: |
| ||'''Problem Name''' || || ||'''Input Example<<BR>>''' ||'''Output Example<<BR>>''' || ||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]] || |
||'''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 31: | Line 36: |
| ||'''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 || |
||'''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]] || |
Encoding Examples
Contents
ASP Core
Encodings strictly contained in ASP-Core
Problem Name |
Encoding |
Description |
Input Example |
Output Example |
15 Puzzle |
||||
Blocked N-queens |
||||
Graph colouring |
||||
Hamiltonian path |
||||
Maximal monochrome paths |
||||
Maze generation |
||||
Reachability |
||||
Schur numbers |
||||
Sokoban |
||||
Strategic companies |
||||
Sudoku |
||||
Tower of hanoi |
ASP RfC
Encodings in ASP-RfC
Problem Name |
Encoding |
Description |
Input Example |
Output Example |
Company controls |
||||
Travelling salesperson |
||||
Weight-bounded dominating set |