Javeed, Shah Imaduddin (1993) An LP-based procedure for graph isomorphism. Masters thesis, King Fahd University of Petroleum and Minerals.
Graph theory deals with the connection aspects of system of network. No efficient polynomial-bound algorithm for graph isomorphism problem is available. An LP-based algorithm is developed and tested in this thesis. The techniques used in algorithm formulation are based on algebraic transformations which use the Hermite normal form computation, and a direct integer reduction. These transformations lead to a simplified linear system the computation of whom is bounded by a polynomial of O(2n⁴ Log²n). An LP-based algorithm is then used to solve the reduced system. The developed algorithm is coded in Fortran and tested on IBM 3090-150E and AMDAHL 5850. The reduced linear problem is solved as a linear program on 80386 machine using Hyperlindo (version 5.1, 1993) for linear programming. Most of the simulation tests with Hyperlindo provide integer solutions. An exponential time algorithm 'Brute Search' is also coded in Fortran to compare with the developed one. Conclusion and further research direction in this algorithm are provided.
|Item Type:||Thesis (Masters)|
|Divisions:||College Of Computer Sciences and Engineering > Systems Engineering Dept|
|Creators:||Javeed, Shah Imaduddin|
|Committee Advisor:||Al-Mohamad, H.|
|Committee Members:||Duffuaa, Salih O. and Ben-Daya, Muhammad and Alam, Ibrahim and Raouf, Abdul|
|Deposited By:||KFUPM ePrints Admin|
|Deposited On:||22 Jun 2008 16:55|
|Last Modified:||25 Apr 2011 10:00|
Repository Staff Only: item control page