HOME

TheInfoList



OR:

Eugene Leighton (Gene) Lawler (1933 – September 2, 1994) was an American
computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...
and a professor of computer science at the
University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...
... Reprinted in .


Academic life

Lawler came to
Harvard Harvard University is a private Ivy League research university in Cambridge, Massachusetts. Founded in 1636 as Harvard College and named for its first benefactor, the Puritan clergyman John Harvard, it is the oldest institution of higher le ...
as a graduate student in 1954, after a three-year undergraduate B.S. program in mathematics at
Florida State University Florida State University (FSU) is a public research university in Tallahassee, Florida. It is a senior member of the State University System of Florida. Founded in 1851, it is located on the oldest continuous site of higher education in the st ...
. He received a master's degree in 1957, and took a hiatus in his studies, during which he briefly went to law school and worked in the U.S. Army, at a grinding wheel company,. and as an electrical engineer at Sylvania from 1959 to 1961.Editorial staff (1995) ''In Memoriam: Eugene L. Lawler'',
SIAM Journal on Computing The ''SIAM Journal on Computing'' is a scientific journal focusing on the mathematical and formal aspects of computer science. It is published by the Society for Industrial and Applied Mathematics (SIAM). Although its official ISO abbreviation is ...
24(1), 1-2.
He returned to Harvard in 1958, and completed his Ph.D. in applied mathematics in 1962 under the supervision of Anthony G. Oettinger with a dissertation entitled ''Some Aspects of Discrete Mathematical Programming''.. He then became a faculty member at the
University of Michigan , mottoeng = "Arts, Knowledge, Truth" , former_names = Catholepistemiad, or University of Michigania (1817–1821) , budget = $10.3 billion (2021) , endowment = $17 billion (2021)As o ...
until 1971, when he moved to Berkeley. He retired in 1994, shortly before his death. At Berkeley, Lawler's doctoral students included Marshall Bern,
Chip Martel Charles U. "Chip" Martel (born 1953) is an American computer scientist and bridge player. Martel was Inducted into the ACBL Hall of Fame in 2014. He is married to Jan Martel, also in the ACBL Hall of Fame. Academic life Martel received a B.S. ...
, Arvind Raghunathan, Arnie Rosenthal, Huzur Saran,
David Shmoys David Bernard Shmoys (born 1959) is a Professor in the School of Operations Research and Information Engineering and the Department of Computer Science at Cornell University. He obtained his Ph.D. from the University of California, Berkeley in 1 ...
, and
Tandy Warnow Tandy Warnow is an American computer scientist and Grainger Distinguished Chair in Engineering at the University of Illinois at Urbana–Champaign.Tandy Warnow's , retrieved 2020-09-10. She is known for her work on the reconstruction of evolutio ...
.


Research

Lawler was an expert on
combinatorial optimization Combinatorial optimization is a subfield of mathematical optimization that consists of finding an optimal object from a finite set of objects, where the set of feasible solutions is discrete or can be reduced to a discrete set. Typical combi ...
and a founder of the field, the author of the widely used textbook ''Combinatorial Optimization: Networks and Matroids'' and coauthor of ''The Traveling Salesman Problem: a guided tour of combinatorial optimization''. He played a central role in rescuing the
ellipsoid method In mathematical optimization, the ellipsoid method is an iterative method for convex optimization, minimizing convex functions. When specialized to solving feasible linear optimization problems with rational data, the ellipsoid method is an algor ...
for linear programming from obscurity in the West. He also wrote (with D. E. Wood) a heavily cited 1966 survey on
branch and bound Branch and bound (BB, B&B, or BnB) is an algorithm design paradigm for discrete and combinatorial optimization problems, as well as mathematical optimization. A branch-and-bound algorithm consists of a systematic enumeration of candidate soluti ...
algorithms, selected as a citation classic in 1987, and another influential early paper on
dynamic programming Dynamic programming is both a mathematical optimization method and a computer programming method. The method was developed by Richard Bellman in the 1950s and has found applications in numerous fields, from aerospace engineering to economics. I ...
with J. M. Moore. Lawler was also the first to observe that
matroid intersection In combinatorial optimization, the matroid intersection problem is to find a largest common independent set in two matroids over the same ground set. If the elements of the matroid are assigned real weights, the weighted matroid intersection proble ...
can be solved in
polynomial time In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by ...
. The
NP-complete In computational complexity theory, a problem is NP-complete when: # it is a problem for which the correctness of each solution can be verified quickly (namely, in polynomial time) and a brute-force search algorithm can find a solution by tryi ...
ness proofs for two of
Karp's 21 NP-complete problems In computational complexity theory, Karp's 21 NP-complete problems are a set of computational problems which are NP-complete. In his 1972 paper, "Reducibility Among Combinatorial Problems", Richard Karp used Stephen Cook's 1971 theorem that the bo ...
,
directed Director may refer to: Literature * ''Director'' (magazine), a British magazine * ''The Director'' (novel), a 1971 novel by Henry Denker * ''The Director'' (play), a 2000 play by Nancy Hasty Music * Director (band), an Irish rock band * ''Di ...
Hamiltonian cycle In the mathematical field of graph theory, a Hamiltonian path (or traceable path) is a path in an undirected or directed graph that visits each vertex exactly once. A Hamiltonian cycle (or Hamiltonian circuit) is a cycle that visits each vertex ...
and
3-dimensional matching In the mathematical discipline of graph theory, a 3-dimensional matching is a generalization of bipartite matching (also known as 2-dimensional matching) to 3-partite hypergraphs, which consist of hyperedges each of which contains 3 vertices (inste ...
, were credited by Karp to Lawler. The NP-completeness of 3-dimensional matching is an example of one of Lawler's favorite observations, the "mystical power of twoness": for many combinatorial optimization problems that can be parametrized by an integer, the problem can be solved in
polynomial time In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by ...
when the parameter is two but becomes NP-complete when the parameter is three. For 3-dimensional matching, the solvable parameter-2 version of the problem is
graph matching Graph matching is the problem of finding a similarity between graphs.Endika Bengoetxea"Inexact Graph Matching Using Estimation of Distribution Algorithms" Ph. D., 2002Chapter 2:The graph matching problem(retrieved June 28, 2017) Graphs are comm ...
; the same phenomenon arises in the complexities of 2-coloring and 3-coloring for graphs, in the matroid intersection problem for intersections of two or three matroids, and in
2-SAT In computer science, 2-satisfiability, 2-SAT or just 2SAT is a computational problem of assigning values to variables, each of which has two possible values, in order to satisfy a system of Constraint (mathematics), constraints on pairs of variabl ...
and
3-SAT In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) is the problem of determining if there exists an interpretation that satisfie ...
for
satisfiability problem In mathematical logic, a formula is ''satisfiable'' if it is true under some assignment of values to its variables. For example, the formula x+3=y is satisfiable because it is true when x=3 and y=6, while the formula x+1=x is not satisfiable over ...
s. Lenstra writes that "Gene would invariably comment that this is why a world with two sexes has been devised." During the 1970s, Lawler made great headway in systematizing algorithms for
job shop scheduling Job-shop scheduling, the job-shop problem (JSP) or job-shop scheduling problem (JSSP) is an optimization problem in computer science and operations research. It is a variant of optimal job scheduling. In a general job scheduling problem, we are give ...
. His 1979 survey on the subject introduced the three-field
notation for theoretic scheduling problems Optimal job scheduling is a class of optimization problems related to scheduling. The inputs to such problems are a list of ''jobs'' (also called ''processes'' or ''tasks'') and a list of ''machines'' (also called ''processors'' or ''workers''). The ...
, which (despite the existence of earlier notations) became standard in the study of scheduling algorithms. Another later survey is also highly cited (over 1000 citations each in Google scholar). In the late 1980s, Lawler shifted his research focus to problems of
computational biology Computational biology refers to the use of data analysis, mathematical modeling and computational simulations to understand biological systems and relationships. An intersection of computer science, biology, and big data, the field also has fo ...
, including the reconstruction of
evolutionary tree A phylogenetic tree (also phylogeny or evolutionary tree Felsenstein J. (2004). ''Inferring Phylogenies'' Sinauer Associates: Sunderland, MA.) is a branching diagram or a tree showing the evolutionary relationships among various biological spec ...
s and several works on
sequence alignment In bioinformatics, a sequence alignment is a way of arranging the sequences of DNA, RNA, or protein to identify regions of similarity that may be a consequence of functional, structural, or evolutionary relationships between the sequences. Alig ...
.


Social activism

In Spring 1969, while on sabbatical in Berkeley, Lawler took part in a protest against the Vietnam War that led to the arrests of 483 protesters, including Lawler;
Richard Karp Richard Manning Karp (born January 3, 1935) is an American computer scientist and computational theorist at the University of California, Berkeley. He is most notable for his research in the theory of algorithms, for which he received a Turing A ...
bailed him out. Karp recalls Lawler as "the social conscience of the CS Division, always looking out for the welfare of students and especially concerned for women, minorities and handicapped students"..


Awards and honors

A special issue of the journal ''
Mathematical Programming Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criterion, from some set of available alternatives. It is generally divided into two subfi ...
'' (vol. 82, issues 1–2) was dedicated in Lawler's honor in 1998.. The
ACM Eugene L. Lawler Award The ACM Eugene L. Lawler Award is awarded every two or three years by the Association for Computing Machinery to an individual or a group of individuals who have made a significant contribution to the use of information technology for humanitarian ...
is given by the
Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...
every two years for "humanitarian contributions within computer science and informatics".


Books

*''Combinatorial Optimization: Networks and Matroids'' (Holt, Rinehart, and Winston 1976, , republished by Dover Books in 2001, ). Lenstra and Shmoys write that this book is a classic and that "it helped to shape an emerging field of research". *''The Traveling Salesman Problem: a guided tour of combinatorial optimization'' (with J. K. Lenstra, A. H. G. Rinnooy Kan, and D. Shmoys, Wiley, 1985, ). *''Selected publications of Eugene L. Lawler'' ( K. Aardal, J. K. Lenstra, F. Maffioli, and D. Shmoys, eds., CWI Tracts 126,
Centrum Wiskunde & Informatica The (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the field of mathematics and theoretical computer science. It is part of the institutes organization of the Dutch Research Cou ...
, 1999, ). Reprints of 26 of Lawler's research papers.


References


External links


Lawler in 1977
from the Oberwolfach photo collection {{DEFAULTSORT:Lawler, Eugene Leighton 1933 births 1994 deaths Theoretical computer scientists Harvard University alumni University of Michigan faculty University of California, Berkeley faculty Scientists from the San Francisco Bay Area Florida State University alumni 20th-century American mathematicians