File Format

Input file format

• Each instance is given by two files *.col and *.dat.

  • col file describes an input graph structure in DIMACS format.
    • p line describes the number of nodes and edges
    • e lines describe two endpoints of edges
  • dat file describes start/target states.
    • s line describes the start state
    • t line describes the target state

• The following is the col file that describes the above example.

p 7 7
e 1 2
e 1 3
e 2 7
e 3 4
e 3 5
e 4 6
e 5 6

• The following is the dat file that describes the above example.

s 3 6 7
t 4 5 7

Output file format

• Output is given by one file *.out.

  • s line denotes the start state.
  • t line denotes the target state.
  • a lines denote your answer.
    • YES/NO, and
    • reconfiguration sequence that includes start and target states.
  • c lines denote information if any.

• The following is an output file that describes the above example.

c model ISR_TJ
s 3 6 7
t 4 5 7
a YES
a 3 6 7
a 1 6 7
a 1 5 7
a 4 5 7