303 research outputs found
A High-Performance Triple Patterning Layout Decomposer with Balanced Density
Triple patterning lithography (TPL) has received more and more attentions
from industry as one of the leading candidate for 14nm/11nm nodes. In this
paper, we propose a high performance layout decomposer for TPL. Density
balancing is seamlessly integrated into all key steps in our TPL layout
decomposition, including density-balanced semi-definite programming (SDP),
density-based mapping, and density-balanced graph simplification. Our new TPL
decomposer can obtain high performance even compared to previous
state-of-the-art layout decomposers which are not balanced-density aware, e.g.,
by Yu et al. (ICCAD'11), Fang et al. (DAC'12), and Kuang et al. (DAC'13).
Furthermore, the balanced-density version of our decomposer can provide more
balanced density which leads to less edge placement error (EPE), while the
conflict and stitch numbers are still very comparable to our
non-balanced-density baseline
An enhanced formulation for solving graph coloring problems with the Douglas–Rachford algorithm
We study the behavior of the Douglas–Rachford algorithm on the graph vertex-coloring problem. Given a graph and a number of colors, the goal is to find a coloring of the vertices so that all adjacent vertex pairs have different colors. In spite of the combinatorial nature of this problem, the Douglas–Rachford algorithm was recently shown to be a successful heuristic for solving a wide variety of graph coloring instances, when the problem was cast as a feasibility problem on binary indicator variables. In this work we consider a different formulation, based on semidefinite programming. The much improved performance of the Douglas–Rachford algorithm, with this new approach, is demonstrated through various numerical experiments.F. J. Aragón Artacho and R. Campoy were partially supported by MICINN of Spain and ERDF of EU, Grants MTM2014-59179-C2-1-P and PGC2018-097960-B-C22. F. J. Aragón Artacho was supported by the Ramón y Cajal program by MINECO of Spain and ERDF of EU (RYC-2013-13327) and R. Campoy was supported by MINECO of Spain and ESF of EU (BES-2015-073360) under the program “Ayudas para contratos predoctorales para la formación de doctores 2015”
New bounds for the max--cut and chromatic number of a graph
We consider several semidefinite programming relaxations for the max--cut
problem, with increasing complexity. The optimal solution of the weakest
presented semidefinite programming relaxation has a closed form expression that
includes the largest Laplacian eigenvalue of the graph under consideration.
This is the first known eigenvalue bound for the max--cut when that is
applicable to any graph. This bound is exploited to derive a new eigenvalue
bound on the chromatic number of a graph. For regular graphs, the new bound on
the chromatic number is the same as the well-known Hoffman bound; however, the
two bounds are incomparable in general. We prove that the eigenvalue bound for
the max--cut is tight for several classes of graphs. We investigate the
presented bounds for specific classes of graphs, such as walk-regular graphs,
strongly regular graphs, and graphs from the Hamming association scheme
- …