Professor Nishimura's research is in the area of algorithms and complexity, with an emphasis on graph algorithms. Her main research interests involve the identification and use of structure in developing algorithms, such as graph algorithms, fixed-parameter algorithms, and algorithms for reconfiguration problems.
Parameterized complexity allows the development of efficient algorithms for various problems which, when considered in full generality, are considered to be intractable. The aim of the parameterized approach is to identify the source of complexity as one or more parameters of the problem, obtaining algorithms that are polynomial in the size of the input but possibly exponential in the parameter(s). In situations in which the parameters are guaranteed to be small in comparison to the size of the input, these techniques yield polynomial-time algorithms. Professor Nishimura's work includes the first parameterized algorithms for graph drawing problems and for backdoor sets for formulas for the satisfiability problem.
Reconfiguration considers the solution space of an instance of a problem, asking, for example, whether it is possible to transform one feasible solution into another in a sequence of reconfiguration steps such that each step results in a feasible solution. Professor Nishimura and her collaborators were the first to consider the parameterized complexity of reconfiguration problems, and continue to explore the two areas both singly and in combination. This work applies to a large range of problem domains, and is part of a long-term project to study algorithms for situations subject to change.
Degrees and Awards
BS (Yale), MSc, PhD (Toronto)
A. Mouawad, N. Nishimura, V. Raman, and M. Wrochna. Reconfiguration over tree decompositions. Proceedings of the 9th International Symposium on Parameterized and Exact Computation, 2014.
A. Mouawad, N. Nishimura, V. Raman, N. Simjour, and A. Suzuki. On the parameterized complexity of reconfiguration problems. Proceedings of the 8th International Symposium on Parameterized and Exact Computation, pp. 281-294, 2013.
M. Kaminski and N. Nishimura. Finding an induced path of given parity in planar graphs in polynomial time. Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 656-670, 2012.
V. Dujmovic, M. Fellows, M. Hallett, M. Kitching, G. Liotta, C. McCartin, N. Nishimura, P. Ragde, F. Rosemand, M. Suderman, S. Whitesides, and D. R. Wood. On the parameterized complexity of layered graph drawing. Algorithmica, 52(2):267-292, 2008.
N. Nishimura, P. Ragde, and S. Szeider. Solving #SAT using vertex covers. Acta Informatica, 44(7-8):509-523, 2007.