A software company is about to release a set of new version of packages: T0,T1,T2,T3,T4,T5,T6. These packages will be used as a patch to an existing trading system (for stock market). A trading system cannot be shutdown or rebooted for installation and it has to keep business running 24x7. Hence, a hotpatch installation is required.
In order to apply a hotpatch, the key here is to find the correct order of installing these packages. Before the release, this company need to test every correct installation sequence to ensure zero crash. However, there are some rules a correct installation sequence must obey:
For example, T1->T6->T5->T4->T3->T2->T0 is a correct installation sequence. Now write a correct Cyclone specification to help this software company to find all possible (correct) installation sequences of these packages. You may use Cyclone's new features to further simplify your specification.
A drone is about to be programmed to send some fuel supply to each station (in a sector) so that robots in each station can have enough fuel to consume. The layout of current sector is shown below. This sector has 7 stations (A,B,C,D,E,F,G) and each one is connected through some tunnels. A drone must travel through these tunnels to send fuel to a station. Each tunnel is marked with a direction sign. For example, a drone can directly travel from station A to station D through tunnel t1. However, it cannot directly go from station D to station A.
@2020-2022 Hao Wu. All rights reserved. Last update: January 29, 2022