{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/21655"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/21655","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Topics in combinatorics and algorithms","abstract":"This thesis studies several topics in theoretical computer science. First, the author shows that $5n-4$ is a tight lower bound on the number of edges in the visibility graph of n non-intersecting line segments in the plane.","abstract_html":"This thesis studies several topics in theoretical computer science. First, the author shows that $5n-4$ is a tight lower bound on the number of edges in the visibility graph of n non-intersecting line segments in the plane.","abstract_has_math":true,"creators":["Shen, Xiaojun"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Liu, C.L."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T13:15:10Z","date_published":"2011-05-07T13:15:10Z","updated_at":"2026-07-22T22:25:18Z","subjects":["Mathematics","Computer Science"],"languages":["eng"],"rights":["Copyright 1989 Shen, Xiaojun"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9011017","(UMI)AAI9011017"],"render_values":[{"text":"AAI9011017","href":null,"code":true},{"text":"(UMI)AAI9011017","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/21655","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Liu, C.L."]},{"key":"dc:creator","label":"Author","values":["Shen, Xiaojun"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T13:15:10Z","10000-01-01","1989"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics","Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1989 Shen, Xiaojun"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9011017","(UMI)AAI9011017","http://hdl.handle.net/2142/21655"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This thesis studies several topics in theoretical computer science. First, the author shows that $5n-4$ is a tight lower bound on the number of edges in the visibility graph of n non-intersecting line segments in the plane.","Second, the author studies a new class of combinatorial structures called Generalized Latin squares which is a generalization of the classical definition of Latin squares. A perfect $\\langle k,l\\rangle$-Latin square is an N $\\times$ N array in which any row or column contains every distinct symbol and the symbol $a\\sb{ij}$ appears exactly $\\kappa$ times in the $i\\sp{\\rm th}$ row and l times in the $j\\sp{\\rm th\\/}$ column, or vice versa. Let A = ($a\\sb{ij}$) and B = ($b\\sb{ij}$) be two perfect $\\langle k,l\\rangle$-Latin squares of order N with the symbol set $\\{1, 2, \\..., D\\}.$ They are said to be orthogonal, if D divides N and each of the $D\\sp2$ ordered pairs of symbols $(s,t)$ $(1 \\leq s,t \\leq D)$ appears exactly $N\\sp2/D\\sp2$ times in the array C = ($(a\\sb{ij} , b\\sb{ij})$). The author shows some general existence and orthogonality results by presenting constructive algorithms.","\"Third, the author shows some new results for the problem of unbounded searching. Given a function F:N$\\sp{+}\\ \\to\\ \\{X,Y\\}$ with the property that if $F(n\\sb{0})$ = Y then $F(n)$ = Y for all $n\\ >\\ n\\sb{0}$, the unbounded search problem is to use tests of the form \"\"is $F(i)$ = X?\"\" to determine the smallest n such that F(n) = Y. The \"\"cost\"\" of a search algorithm is a function c(n), the number of such tests used when the location of the first Y is n. He shows that the \"\"ultimate algorithm\"\" of Bentley and Yao (Info. Proc. Let. 5 (1976), 82-87) is \"\"far\"\" from optimal in the sense that it is only the second one in an infinite sequence of search algorithms, each of which is much closer to optimality than its predecessor.\"","Finally, consider this problem: how should n records with $\\kappa$ keys be ordered so that a search can be performed as quickly as possible under any key? Fiat et al present an $O(lgn)$ time algorithm. This is asymptotically optimal. However, it uses quite complicated encoding and decoding procedures and requires tables of enormous sizes for the encoding method to work. The author presents a simpler O(lgn) algorithm for this problem, which works for any table of reasonable size. He also introduces an $O(lg\\sp{2}n)$ algorithm which has better performance than any known $O(lgn)$ algorithm when n is not extremely large.","Made available in DSpace on 2011-05-07T13:15:10Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9011017.pdf: 6446928 bytes, checksum: f81a532abef10cea3730867daf465168 (MD5) Previous issue date: 1989","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:52:19Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:24:04-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"]},{"key":"dc:title","label":"Title","values":["Topics in combinatorics and algorithms"]}]}],"canonical_facts":{"dc:contributor":["Liu, C.L."],"dc:creator":["Shen, Xiaojun"],"dc:date":["2011-05-07T13:15:10Z","10000-01-01","1989"],"dc:description":["This thesis studies several topics in theoretical computer science. First, the author shows that $5n-4$ is a tight lower bound on the number of edges in the visibility graph of n non-intersecting line segments in the plane.","Second, the author studies a new class of combinatorial structures called Generalized Latin squares which is a generalization of the classical definition of Latin squares. A perfect $\\langle k,l\\rangle$-Latin square is an N $\\times$ N array in which any row or column contains every distinct symbol and the symbol $a\\sb{ij}$ appears exactly $\\kappa$ times in the $i\\sp{\\rm th}$ row and l times in the $j\\sp{\\rm th\\/}$ column, or vice versa. Let A = ($a\\sb{ij}$) and B = ($b\\sb{ij}$) be two perfect $\\langle k,l\\rangle$-Latin squares of order N with the symbol set $\\{1, 2, \\..., D\\}.$ They are said to be orthogonal, if D divides N and each of the $D\\sp2$ ordered pairs of symbols $(s,t)$ $(1 \\leq s,t \\leq D)$ appears exactly $N\\sp2/D\\sp2$ times in the array C = ($(a\\sb{ij} , b\\sb{ij})$). The author shows some general existence and orthogonality results by presenting constructive algorithms.","\"Third, the author shows some new results for the problem of unbounded searching. Given a function F:N$\\sp{+}\\ \\to\\ \\{X,Y\\}$ with the property that if $F(n\\sb{0})$ = Y then $F(n)$ = Y for all $n\\ >\\ n\\sb{0}$, the unbounded search problem is to use tests of the form \"\"is $F(i)$ = X?\"\" to determine the smallest n such that F(n) = Y. The \"\"cost\"\" of a search algorithm is a function c(n), the number of such tests used when the location of the first Y is n. He shows that the \"\"ultimate algorithm\"\" of Bentley and Yao (Info. Proc. Let. 5 (1976), 82-87) is \"\"far\"\" from optimal in the sense that it is only the second one in an infinite sequence of search algorithms, each of which is much closer to optimality than its predecessor.\"","Finally, consider this problem: how should n records with $\\kappa$ keys be ordered so that a search can be performed as quickly as possible under any key? Fiat et al present an $O(lgn)$ time algorithm. This is asymptotically optimal. However, it uses quite complicated encoding and decoding procedures and requires tables of enormous sizes for the encoding method to work. The author presents a simpler O(lgn) algorithm for this problem, which works for any table of reasonable size. He also introduces an $O(lg\\sp{2}n)$ algorithm which has better performance than any known $O(lgn)$ algorithm when n is not extremely large.","Made available in DSpace on 2011-05-07T13:15:10Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9011017.pdf: 6446928 bytes, checksum: f81a532abef10cea3730867daf465168 (MD5) Previous issue date: 1989","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:52:19Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:24:04-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"],"dc:identifier":["AAI9011017","(UMI)AAI9011017","http://hdl.handle.net/2142/21655"],"dc:language":["eng"],"dc:rights":["Copyright 1989 Shen, Xiaojun"],"dc:subject":["Mathematics","Computer Science"],"dc:title":["Topics in combinatorics and algorithms"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:18Z"}