Personal tools

SC²S Colloquium - July 18, 2018

From Sccswiki

Jump to: navigation, search
Date: July 18, 2018
Room: 02.07.023
Time: 15:00 - 16:00

Judith Treffler: A Kakuro Explainer

This is an external Bachelor's Thesis submission talk advised by Hans-Joachim Bungartz

The goal of this project was to develop a Kakuro Explainer that helps people solve Kakuro puzzles. The tool should give help in the form of hints for possible next moves and explanations of the strategies needed. Since logic puzzles like Kakuro require strategies and logical deduction to solve them, they can often be very challenging at the beginning when the necessary techniques are still unfamiliar. Although there is help available in the form of tips and explanations for solving strategies as well as Kakuro solvers, it is not very good. The tips and strategies are very general and not explicitly for this puzzle. A solver, on the other hand, can determine the solution to a particular puzzle, but cannot explain how to find the numbers. Therefore, the Kakuro Explainer combines both options. For the tool, Kakuro solving strategies that people would use were implemented. From these strategies, the tool is able to select the most suitable one for the current state of the puzzle and present it as a hint to the user. These hints consist of a brief explanation of how the strategy works and where it can be applied in the puzzle. The developed Kakuro Explainer is able to offer the user hints on strategies they can apply for the current state of the puzzle. It allows customisation of the hints and provides an interface for creating Kakuro puzzles which can then be solved with help

from the tool. Keywords: Kakuro

Congyu Zou: Using genetic algorithm and tree search to solve commonality optimization in field of car crashworthness

This is an external Master's Thesis submission talk advised by Friedrich Menhorn

In the car industry, companies want to use the smallest number of different kinds of components in a series of cars and retain high design freedom of shared components. We quantify these two goals and look at this problem, named commonality optimization, from two perspectives: One directly as a bi-objective optimization and one as a bi-level optimization. We developed algorithms to solve the problem based on those two formulations and compared them.

Keywords: Optimization, Car Industry (BMW)