Visiting Speaker: Prof Gene Cooperman
ACCS Visiting Speaker:
Prof Gene Cooperman
Computer and Information Science at Northeastern University, Boston
Place: Room 621 GP South (Building 78)
Time: Tuesday 26 June 2007, 3:30pm Afternoon Tea, 4:00pm Seminar
Host: Prof George Havas
========Title and Abstract=====
Using Parallel Disk-Based Computing: a New Record for Computer-Generated Solutions to Rubik's Cube
The question of the maximum number of moves needed to solve any state of Rubik's cube became a challenge problem for computer science almost since the invention of Rubik's cube in the late 1970s. In joint work with Daniel Kunkle, we recently showed that 26 moves suffice, and we hope soon to demonstrate that 25 moves suffice. An upper bound of 29 was found by Reid in 1995. This bound was reduced to 27 in 2006 by Radu. The best upper bound is suspected to be~20.
The basis for our approach is two-fold: (1) We developed a new group-theoretic algorithm for fast simulation of moves; and (2) We use 7 terabyes of distributed parallel disk for intermediate storage of a data structure related to hash tables, but more suitable for disk streaming access. The group-theoretic algorithm allows us to multipy a symmetrized coset (large classes of states closed under symmetries) by a generator at a rate of more than 10 million moves per second.
As time permits, I will also briefly describe a new checkpointing package that can checkpoint distributed, multi-threaded processes with open files, such as the program being used in the computation of Rubik's cube. This part is joint work with Jason Ansel and Michael Rieker.
Gene Cooperman received his B.S. degree from the University of Michigan in honors math and physics, and his Ph.D. degree in Applied Mathematics from Brown University. He is currently a Professor of Computer and Information Science at Northeastern University, Boston. His research interests include parallel and high performance computing, and algebraic computations. Dr Cooperman is an associate editor of ACM Transactions on Mathematical Software (TOMS) and on the advisory board of the European Union SCIEnce project (Symbolic Computation in Europe). Dr Cooperman currently serves on three program committees of technical conferences in computational and parallel algebra and network computing. He is also head of the Institute for Complex Scientific Software (www.research.neu.edu/centers_institutes/software/) at Northeastern University. Dr Cooperman has published over 70 refereed publications. For a list of publications, see: http://www.ccs.neu.edu/home/gene/papers.html