Phd records
https://feeds.library.caltech.edu/people/Lin-Hong-Chuan/Phd.rss
A Caltech Library Repository Feedhttp://www.rssboard.org/rss-specificationpython-feedgenenWed, 31 Jan 2024 19:21:52 +0000On the Reconstruction Problem in Graph Theory
https://resolver.caltech.edu/CaltechTHESIS:05082018-173157065
Authors: {'items': [{'id': 'Lin-Hong-Chuan', 'name': {'family': 'Lin', 'given': 'Hong-Chuan'}, 'show_email': 'NO'}]}
Year: 1981
DOI: 10.7907/13y7-7f13
<p>The thesis consists of three chapters. The first chapter introduces the basic notions of graph theory and defines vertex-reconstruction and edge-reconstruction problem. The second chapter and third chapter are devoted to the edge-reconstruction of bi-degreed graphs and bipartite graphs respectively.</p>
<p>A bi-degreed graph G is a graph with two degrees d > δ. By elementary arguments we can assume d = δ + 1 and there are at least two vertices of degree δ. Call vertices of degree d "big" vertex and degree δ "small" vertex. Define "symmetric" path of length p S<sub>p</sub> to be one with both ends small vertices and all other internal vertices big vertices; define "asymmetric" path of length p A<sub>p</sub> to be one with one end a small vertex and all others big vertices. If s(G) is the minimum distance between two small vertices in G, we can show that s(G) is "independent" of G (i.e. it is edge-reconstructable), and that G has at most one nonisomorphic edge-reconstruction H. From this, the concept of "forced move" posed by Dr. Swart is obvious. Using the principle of forced move (and sometimes also "forced edge" posed by Dr. Swart as well), it's easy to derive a few interesting properties, like say G is edge-reconstructable if s(G) is even or if two S<sub>s(G)</sub>'s intersect at an internal vertex, etc. Write s for s(G). When s is odd, consider the concept of s - n-chain, which is n S<sub>s</sub>'s following from end to end. We can show first s - 3-chain and then s - 2-chain cannot exist. Hence S<sub>s</sub>'s are disjoint. Think of S<sub>s</sub>'s as "lines" in some geometry. Define two more "distance" functions s<sub>1</sub> and s<sub>2</sub> such that s<sub>1</sub> "represents" the distance from a point to a line and s<sub>2</sub> means the distance between to "skew" lines. With the aid of forced move principle again, we can at last prove every bi-degreed graph with at least four edges is edge-reconstructable.</p>
<p>A bipartite graph G is a graph whose vertex set V is the disjoint union of two sets v<sub>1</sub> and v<sub>2</sub> such that every edge joins v<sub>1</sub> and v<sub>2</sub>. By elementary reduction we can assume G to be connected. We define special chains inductively so that it starts at a vertex of minimum degree and always goes to a neighbor or minimum degree. Special chains will be the main tool to prove edge-reconstructability. By G's finiteness, we note they will "terminate" somewhere, and we have three types of termination for them. Let condition A•s be that degree sequence of special chain is edge-reconstructable, condition B<sub>i</sub>'s be that number of special chains is edge-reconstructable(and some more general variations); condition P's be that the "last vertices" of two special chains be not adjacent; we can prove that all A, B<sub>i</sub> and P's should hold inductively in an interlocked way. (This is a big task). Then condition P's can be used to prove G's edge-reconstructability for all three types of termination. We can then prove every bipartite graph with at least four edges is edge-reconstructable.</p>https://thesis.library.caltech.edu/id/eprint/10865