An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation

  • Authors:
  • Tom Head

  • Affiliations:
  • -

  • Venue:
  • Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Given a subset R of a set A 脳 B, one may ask whether R contains a subset F which is a bijective function from A onto B. A wet lab algorithm for answering this question is presented. Moreover, when such a bijection is contained in R, the algorithm produces a test tube containing a set of DNA plasmids, each of which encodes such a bijection. The number of steps required by the given procedure grows linearly with the number of ordered pairs in the relation R. All known algorithms for solving this bijection problem on conventional computers require a number of steps that grows exponentially in the number of pairs. Various forms of the Hamiltonian path problem are subsumed by the problem of finding such bijections. The algorithm presented is illustrated by outlining its application to the binary relation determined by the directed graph that occurs in the instance of the directed Hamiltonian path problem with which L. Adleman initiated DNA computing.