Parallel complexity of discrete problems

Thesis/Dissertation · Mon Jan 01 04:00:00 EST 1990

OSTI ID:5856801

Chen, Lin

Processor complexity and time complexity are two important measures of the efficiency of parallel algorithms. A problem is said to be in NC if it can be solved in polylogarithmic time using a polynomial number of processors. This dissertation centers on designing efficient parallel algorithms for discrete problems. By exhibiting a parallel algorithm, the author shows, for the first time, that the recognition of the consecutive 1's property for rows of a (0,1)-matrix is in NC. The algorithm gives a useful tool for solving many other problems. Based on the above procedure, he proves to be in NC the recognition of many classes of graphs, e.g., transformable convex bipartite (TCB) graphs, bipartite permutation (BP) graphs, {Gamma} circular arc graphs, {Theta} circular arc graphs (a.k.a. Helly circular arc graphs), proper circular arc graphs, proper interval graphs, etc. He also presents the first NC algorithms for finding a maximum matching, a maximum independent set, and a minimum clique cover in a TCB graph, and for finding a Hamilton path/cycle in a BP graph. He also obtains more efficient parallel algorithms for some problems such as computing maximum cliques on comparability graphs, circle graphs, and circular arc graphs than the predecessors. Included in the appendix are efficient sorting algorithms and efficient implementation of the sequential isomorphism testing algorithms, which are by no means less important. This research has produced many efficient algorithms. They will help in at least the following two aspects: (1) the algorithms can be used as building blocks to develop some other efficient algorithms; (2) the techniques and methods exhibited can be used to obtain efficient solutions to some other problems.

• Research Organization: Ohio State Univ., Columbus, OH (United States)
• OSTI ID: 5856801
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
ALGORITHMS
DATA
DESIGN
EFFICIENCY
INFORMATION
MATHEMATICAL LOGIC
MATRICES
PARALLEL PROCESSING
PROGRAMMING