Grammar based Combinatorial Solver Files

		README for Arch Solver
		----------------------

It uses PHP and GoJS to provide a exhaustive search solver suitable for multi-dimensional discontiguous discrete optimization problems. This was tested with PHP 5.6 on Windows 7 and Linux. Testing used go.js downloaded on May 14, 2015.

Section 1. Files
------------------------------------------

1. Core files that provide the necessary infrastructure are generic.php (provides basic variable definitions), func.php (basic functions), display.php (used for creating JSON for visualization) and json2Model.php (for converting visually created JSON to model grammar definitions).

2. It contains two sample model files that are in different stages of publication. First a Passive Optical network design model is captured in pon-model.php. Its sample output is available as pon-model.out. Second a Data center network switch design model captured in dcn-model.php and its sample output is available as dcn-model.out.

3. For Visualization use visualize.html. This requires go.js from gojs.net for visualization. File display-example.php captures a sample Data center network model and its JSON output is display-example.json. This JSON when fed to the text box provided in HTML, it displays the corresponding model grammar. The sample image of grammar model is available as display-example.png.

4. Solution manual available as solman.pdf covers different aspects of the solver in detail.


Section 2. Models
----------------------
Two sample models have been provided

a) The below paper is based on the Passive Optical Network model in pon-model.php
Sankaran, G.C.; Sivalingam, K.M., "Load-dependent power-efficient passive optical network architectures," in IEEE/OSA Journal of Optical Communications and Networking, vol.6, no.12, pp.1104-1114, Dec. 2014 
doi: 10.1109/JOCN.2014.6985902

b) The below paper describes the top design identified by Data center network model in dcn-model.php
Sankaran, G.C.; Sivalingam, K.M., "Optical Traffic Grooming based Data Center Networks: Node architecture and Comparison," (to appear) in IEEE Journal on Selected Areas in Communications: Special Issue on Green communications and Networking, Jun. 2016

Section 3. More information
------------------------------
The solver uses formal language grammar to easily define large search spaces. This is exhaustively searched for solutions that meet the constraints. The solutions are ranked based on the objective. A detailed solver manual (solman.pdf) is provided for customization of the solver.


For more information contact email <ch.sa.ganesh@gmail.com>.