On the Query Complexity of Black-Peg AB-Mastermind

Mastermind is a two players zero sum game of imperfect information. Starting with Erd˝os and Rényi (1963), its combinatorics have been studied to date by several authors, e.g., Knuth (1977), Chvátal (1983), Goodrich (2009). The first player, called “codemaker”, chooses a secret code and the second player, called “codebreaker”, tries to break the secret code by making as few guesses as possible, exploiting information that is given by the codemaker after each guess. For variants that allow color repetition, Doerr et al. (2016) showed optimal results. In this paper, we consider the so called Black-Peg variant of Mastermind, where the only information concerning a guess is the number of positions in which the guess coincides with the secret code. More precisely, we deal with a special version of the Black-Peg game with n holes and k ≥ n colors where no repetition of colors is allowed. We present upper and lower bounds on the number of guesses necessary to break the secret code. For the case k = n, the secret code can be algorithmically identified within less than (n − 3)dlog 2 ne + 5 2 n − 1 queries. This result improves the result of Ker-I Ko and Shia-Chung Teng (1985) by almost a factor of 2. For the case k > n, we prove an upper bound of (n − 2)dlog 2 ne + k + 1. Furthermore, we prove a new lower bound of n for the case k = n, which improves the recent n − log log(n) bound of Berger et al. (2016). We then generalize this lower bound to k queries for the case k ≥ n

Typogenetic design - aesthetic decision support for architectural shape generation

Typogenetic Design is an interactive computational design system combining generative design, evolutionary search and architectural optimisation technology. The active tool for supporting design decisions during architectural shape generation uses an aesthetic system to guide the search process. This aesthetic system directs the search process toward preferences expressed interactively by the designer. An image input as design reference is integrated by means of shape comparison to provide direction to the exploratory search. During the shape generation process, the designer can choose solutions interactively in a graphical user interface. Those choices are then used to support the selection process as part of the fitness function by online classification. Enhancing human decision making capabilities in human-in-the-loop design systems addresses the complexity of architecture in respect to aesthetic requirements. On the strength of machine learning, the integral performance trade-off during multi-criteria optimisation was extended to address aesthetic preferences. The tacit knowledge and subjective understanding of designers can be used in the shape generation process based on interactive mechanisms. As a result, an integrated support system for performance-based design was developed and tested. Closing the loop from design to construction using design optimisation of structural nodes in a set of case studies confirmed the need for intuitive design systems, interfaces and mechanisms to make architectural optimisation more accessible and intuitive to handle. This dissertation investigated Typogenetic Design as a tool for initial morphological search. Novel instruments for human interaction with design systems were developed using mixed-method research. The present investigation consists of an in-depth technological enquiry into the use of interactive generative design for exploratory search as an integrated support system for performance-based design. Associated project-based research on the design potential of Typogenetic Design showcases the application of the design system for architecture. Generative design as an expressive tool to produce architectural geometries was investigated in regard to its ability to drive initial morphological search of complex geometries. The reinterpretation of processes and boosting of productivity by artificial intelligence was instrumental in exploring a holistic approach combining quantitative and qualitative criteria in a human-in-the-loop system. The shift in focus from an objective to a subjective understanding of computational design processes indicates a perspective change from optimisation to learning as a computational paradigm. Integrating learning capabilities in architectural optimisation enhances the capability of architects to explore large design spaces of emergent representations using evolutionary search. The shift from design automation to interactive generative design introduces the possibility for designers to evaluate shape solutions based on their knowledge and expertise to the computational system. At the same time, the aesthetic system is trained in adaptation to the choices made by the designer. Furthermore, an initial image input allows the designer to add a design reference to the Typogenetic Design process. Shape comparison using a similarity measure provides additional guidance to the architectural shape generation using grammar evolution. Finally, a software prototype was built and tested by means of user-experience evaluation. These participant experiments led to the specification of custom software requirements for the software implementation of a parametric Typogenetic tool. I explored semi-automated design in application to different design cases using the software prototype of Typogenetic Design. Interactive mass-customisation is a promising application of Typogenetic Design to interactively specify product structure and component composition. The semi-automated design paradigm is one step on the way to moderating the balance between automation and control of computational design systems

Evolving behaviour trees for the Mario AI competition using grammatical evolution

EvoGAMES 2011 3rd European Event on Bio-inspired Algorithms in Games in EvoApplications 2011, Torino, Italy, April, 2011This paper investigates the applicability of Genetic Programming type systems to dynamic game environments. Grammatical Evolution was used to evolve Behaviour Trees, in order to create controllers for the Mario AI Benchmark. The results obtained reinforce the applicability of evolutionary programming systems to the development of artificial intelligence in games, and in dynamic systems in general, illustrating their viability as an alternative to more standard AI techniques.Science Foundation Irelandti, ab, co, li - TS 16.02.12 12 month EMBARG