An LP-based procedure for graph isomorphism

Javeed, Shah Imaduddin (1993) An LP-based procedure for graph isomorphism. Masters thesis, King Fahd University of Petroleum and Minerals.

Preview

PDF
2104Kb

Arabic Abstract

English Abstract

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)
Date:	June 1993
Date Type:	Completion
Subjects:	Engineering
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
ID Code:	10037
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