(1993) An LP-based procedure for graph isomorphism. Masters thesis, King Fahd University of Petroleum and Minerals.
|
PDF
10037.pdf Download (2MB) | Preview |
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) |
|---|---|
| Subjects: | Engineering |
| Department: | College of Computing and Mathematics > lndustrial and Systems Engineering |
| Committee Advisor: | Al-Mohamad, H. |
| Committee Members: | Duffuaa, Salih O. and Ben-Daya, Muhammad and Alam, Ibrahim and Raouf, Abdul |
| Depositing User: | Mr. Admin Admin |
| Date Deposited: | 22 Jun 2008 13:55 |
| Last Modified: | 01 Nov 2019 13:56 |
| URI: | http://eprints.kfupm.edu.sa/id/eprint/10037 |