We propose solving computational problems with DNA molecules by physically constructing 3-dimensional graph structures. Building blocks consisting of intertwined strands of DNA are used to represent graph edges and vertices. Diierent blocks would be combined to form all possible 3-dimensional structures representing a graph. The solution to the Hamiltonian… (More)
We present a set of 26 finite quandles that distinguish (up to reversal and mirror image) by number of colorings, all of the 2977 prime oriented knots with up to 12 crossings. We also show that 1058 of these knots can be distinguished from their mirror images by the number of color-ings by quandles from a certain set of 23 finite quandles. We study the… (More)
Quandle colorings and cocycle invariants are studied for composite knots, and applied to chirality and abelian extensions. The square and granny knots, for example, can be distinguished by quandle colorings, so that a trefoil and its mirror can be distinguished by quandle coloring of composite knots. We investigate this and related phenomena. Quandle… (More)
A rigid vertex of a graph is one that has a prescribed cyclic order of its incident edges. We study orientable genus ranges of 4-regular rigid vertex graphs. The (orientable) genus range is a set of genera values over all orientable surfaces into which a graph is embedded cellularly, and the embeddings of rigid vertex graphs are required to preserve the… (More)
To study embeddings of tangles in knots, we use quandle cocycle invariants. Computations are carried out for the tables of knots and tangles, to investigate which tangles may or may not embed in knots in the tables.