Integer programming for urban design

Abstract We present an integer program (IP) for urban design that (1) maximizes the floor area; (2) fills building volume with room templates; (3) encodes translational symmetry in urban layout; and (4) constructs economical urban routes. Regardless that integer programming is intensively studied in operational research (OR), its role in solving geometrical and topological problems in urban design was overlooked. Based on a regular grid, our 0–1 IP formulates the sunlight-gain rules, which give urban sites their shapes, especially for residential projects. With predefined plot templates, the gross floor area (volume) within a given site can be maximized under various sunlight requirements. Subsequently, the IP fills each building volume with 2D/3D room templates. Finally, an IP-based algorithm constructs routes that connect all plots and the site’s entrances to public transportation. Both the classical Steiner tree model and the latest coverage network model are extended to create reasonable routes. In addition, this work extends the concept of special ordered sets (SOS) to encode translational symmetry in urban layouts. Encoding layout symmetry can benefit from the solvers’ SOS2 mechanism in the Branch-and-Bound search algorithm. The results indicate that traditional decision making for cities could be partially automated by IP and an abundance of valid solutions are available for designers.

[1]  E. M. L. Beale,et al.  Global optimization using special ordered sets , 1976, Math. Program..

[2]  Alice E. Smith,et al.  Block layout for attraction-based enterprises , 2018, Eur. J. Oper. Res..

[3]  Henri Pierreval,et al.  Facility layout problems: A survey , 2007, Annu. Rev. Control..

[4]  Nikolaos Ploskas,et al.  Efficient GPU-based implementations of simplex type algorithms , 2015, Appl. Math. Comput..

[5]  K. Lynch Good city form , 1984 .

[6]  Sergei Gorlatch,et al.  A GPU parallelization of branch-and-bound for multiproduct batch plants optimization , 2016, The Journal of Supercomputing.

[7]  Nasrin Asgari,et al.  Multiple criteria facility location problems: A survey , 2010 .

[8]  Yeong-Dae Kim,et al.  A linear programming-based algorithm for floorplanning in VLSI design , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  M. Sir,et al.  A multi-objective mixed-integer programming model for a multi-floor facility layout , 2013 .

[10]  Siddhartha Chaudhuri,et al.  A probabilistic model for component-based shape synthesis , 2012, ACM Trans. Graph..

[11]  Radomír Mech,et al.  Metropolis procedural modeling , 2011, TOGS.

[12]  George B. Dantzig,et al.  Linear programming and extensions , 1965 .

[13]  M. Moses,et al.  Cities as Organisms: Allometric Scaling of Urban Road Networks , 2008 .

[14]  Ravi Kothari,et al.  The single row facility layout problem: state of the art , 2012 .

[15]  S. Heragu,et al.  Efficient models for the facility layout problem , 1991 .

[16]  Cliff Moughtin,et al.  Urban Design: Street and Square , 1992 .

[17]  Ligang Liu,et al.  MIQP‐based Layout Design for Building Interiors , 2018, Comput. Graph. Forum.

[18]  Alan Rowley,et al.  Definitions of urban design: The nature and concerns of urban design , 1994 .

[19]  Sunil Chopra,et al.  Polyhedral Approaches for the Steiner Tree Problem on Graphs , 2001 .

[20]  André R. S. Amaral An Exact Approach to the One-Dimensional Facility Layout Problem , 2008, Oper. Res..

[21]  Christian Friedrich,et al.  Integrated slicing tree approach for solving the facility layout problem with input and output locations based on contour distance , 2018, Eur. J. Oper. Res..

[22]  Vladlen Koltun,et al.  Computer-generated residential building layouts , 2010, SIGGRAPH 2010.

[23]  G. Dantzig ON THE SIGNIFICANCE OF SOLVING LINEAR PROGRAMMING PROBLEMS WITH SOME INTEGER VARIABLES , 1960 .

[24]  Siavash Vahdati Daneshmand,et al.  A comparison of Steiner tree relaxations , 2001, Discret. Appl. Math..

[25]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[26]  Thomas L. Magnanti,et al.  A Comparison of Mixed - Integer Programming Models for Nonconvex Piecewise Linear Cost Minimization Problems , 2003, Manag. Sci..

[27]  Eugénio Rodrigues,et al.  An evolutionary strategy enhanced with a local search technique for the space allocation problem in architecture, Part 1: Methodology , 2013, Comput. Aided Des..

[28]  André R. S. Amaral On the exact solution of a facility layout problem , 2006, Eur. J. Oper. Res..

[29]  Patrik Schumacher,et al.  Parametricism: A New Global Style for Architecture and Urban Design , 2009 .

[30]  Krishnan Srinivasan,et al.  Linear programming based techniques for synthesis of network-on-chip architectures , 2006, IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..

[31]  K. Steemers,et al.  Urban Form, Density and Solar Potential , 2006 .

[32]  Daniel G. Aliaga,et al.  Interactive example-based urban layout synthesis , 2008, SIGGRAPH 2008.

[33]  George L. Nemhauser,et al.  Mixed-Integer Models for Nonseparable Piecewise-Linear Optimization: Unifying Framework and Extensions , 2010, Oper. Res..

[34]  Yang Songyu STUDY ON REASONABLE DENSITY OF RESIDENCE , 2005 .

[35]  Fumihiko Ino,et al.  An Out-of-Core Branch and Bound Method for Solving the 0-1 Knapsack Problem on a GPU , 2017, ICA3PP.

[36]  H. Seidel,et al.  A connection between partial symmetry and inverse procedural modeling , 2010, SIGGRAPH 2010.

[37]  Rafael Bidarra,et al.  A Survey on Procedural Modelling for Virtual Worlds , 2014, Comput. Graph. Forum.

[38]  Gérard Cornuéjols,et al.  Integer programming , 2014, Math. Program..

[39]  David Rey,et al.  Sustainable urban facility location: Minimising noise pollution and network congestion , 2017 .

[40]  João Manuel Coutinho-Rodrigues,et al.  A bi-objective modeling approach applied to an urban semi-desirable facility location problem , 2012, Eur. J. Oper. Res..

[41]  H. Hua,et al.  A Bi‐Directional Procedural Model for Architectural Design , 2017, Comput. Graph. Forum.

[42]  Bally Meeda,et al.  Graphics for Urban Design , 2007 .

[43]  M. Jünger,et al.  50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art , 2010 .

[44]  Dong-Ming Yan,et al.  Computational network design from functional specifications , 2015, ACM Trans. Graph..

[45]  Daniel G. Aliaga,et al.  Learning geometric graph grammars , 2016, SCCG.

[46]  Peter Wonka,et al.  Computing layouts with deformable templates , 2014, ACM Trans. Graph..

[47]  Rrk Sharma,et al.  A review of different approaches to the facility layout problems , 2006 .

[48]  Leonidas J. Guibas,et al.  Discovering structural regularity in 3D geometry , 2008, SIGGRAPH 2008.

[49]  Daniel G. Aliaga,et al.  Inverse Procedural Modeling by Automatic Generation of L‐systems , 2010, Comput. Graph. Forum.

[50]  George L. Nemhauser,et al.  Models for representing piecewise linear cost functions , 2004, Oper. Res. Lett..