Algorithms and Complexity Group
  • People
  • Research
  • Courses
  • Talks
  • Jobs
  • Contact

Topics for Bachelor Theses

We have numerous topics available that are suitable for doing a Bachelor Thesis. Some example topics are provided on this page, but interested students are encouraged to directly contact a potential supervisor by email regarding the choice of a suitable topic. This email should also include a recent list of your grades (Sammelzeugnis).

Contents

  • 1 Topics for Bachelor Theses
  • 2 Cooperative Optimization Approaches for Distributing Service Points
  • 3 Solving Hard Combinatorial Problems with SAT and QBF Solvers
  • 4 Graph Drawing
  • 5 Algorithmic Cartography and Geometry
  • 6 Analysis of Structural Properties

Cooperative Optimization Approaches for Distributing Service Points

Contact: Thomas Jatschka or Günther Raidl

For many business models an optimal distribution of service points in a customer community is needed. Examples are charging/battery swapping stations of electric vehicles, bicycle/car sharing stations, and repair stations. When planning such systems, estimating under which conditions which customer demand can be fulfilled is fundamental in order to design and evaluate possible solutions. Such customer demands are usually acquired upfront e.g. using data on public transport, the street network, or surveys of potential customers. However, customer demand information determined in such ways typically is vague, and not uncommonly a system built on such assumptions is not as effective as originally hoped for due to major deviations in reality.

Alternative to acquiring demands upfront, cooperative optimization approaches incorporate potential users directly into the data acquisition as well as the optimization process. Expected benefits are a faster and cheaper data acquisition, the direct integration of users into the whole planning process, and ultimately better and more accepted optimization results. However, integrating users into the optimization progress also comes with some disadvantages. User interactions are not only considered time consuming but should also be treated as a scarce resource as a user is only willing to have a limited number of interactions with the program. A possible way to overcome these limitations is to use surrogate functions/machine learning techniques for simulating the interaction with a user.

 

Solving Hard Combinatorial Problems with SAT and QBF Solvers

Contact: Stefan Szeider

Over the last two decades, SAT-solvers (which are programs that solve the Boolean satisfiability problem) have become surprisingly powerful and can check the satisfiability of instances with hundreds of thousands of variables in a few minutes. Among the most powerful SAT-solvers are Glucose and Lingeling.The subject for a Bachelor or Masters thesis would be to translate a hard combinatorial problem into SAT and solve it with a SAT-solver. For such a translation (often called encoding) there are usually many different approaches, and part of the thesis would be to compare different approaches experimentally on a set of problem instances.

The considered combinatorial problem can be chosen from a large pool of problems, including graph, clustering and optimization problems. Some recent research in this direction can be found here and here.

For even harder problems, like finding a winning strategy for a board game, one needs to go beyond SAT and use a QBF solver (Qute is such a solver we developed in our group).

 

Graph Drawing

Contact: Martin Nöllenburg

Graph Drawing is concerned with algorithms to compute geometric representations of graphs and networks. Applications of graph drawing range from graph visualizations for human users to hardware layouts and wireless routing. Scientifically, the area offers a wide spectrum of topics for student theses, from theoretical questions (e.g., existence of certain layouts or algorithms with certain properties) to practical questions of modeling the actual requirements of a particular application and designing, implementing, and evaluating algorithms for solving it.

Requirements:

  • Proficiency in (graph) algorithmics
  • Interest in geometry and visualization
  • Practical topics: good programming skills

Algorithmic Cartography and Geometry

Contact: Martin Nöllenburg

Digital cartography offers a wide spectrum of visualization problems that can be solved by geometric algorithms. The types of maps range from dynamic and interactive maps, e.g., on smart phones and mobile devices, to unconventional diagrammatic or schematic maps. Examples of algorithmic problems comprise label placement for map features, algorithms for constructing cartograms, or schematic destination maps. The area contains both topics with a stronger practical focus (including evaluation) or with a more theoretical focus. Thesis topics in computational geometry without direct links to cartography are also possible.

Requirements:

  • Proficiency in algorithmics and geometric algorithms
  • Interest in maps and interdisciplinary work
  • Practical topics: good programming skills

Analysis of Structural Properties

Contact: Robert Ganian

Many instances of NP-hard problems that need to be solved in real-world settings implicitly contain structural properties which can be exploited to obtain efficient and exact solutions. However, it is often difficult to identify precisely what sort of structure the instances of interest possess. To help in this endeavour, it is highly desirable to perform an algorithmic analysis of studied instances of various prominent problems (for instance available in the form of benchmark sets) in order to determine their structural properties.

Requirements:

  • Proficiency in English
  • Good programming skills
  • Interest in (graph) algorithms

News

  • Martin Nöllenburg: promotion to Full Professor

    Martin Nöllenburg: promotion to Full Professor

    2020-12-17
    By December 1st, 2020, our colleague Martin Nöllenburg has been promoted to Full Professor for Graph and Geometric Algorithms.  Martin has …Read More »
  • Martin Kronegger wins the Best Teaching Award 2020

    Martin Kronegger wins the Best Teaching Award 2020

    2020-10-23
    Congratulations to Martin Kronegger who received a Best Teaching Award 2020 from TU Wien. The Algorithms and Complexity group is …Read More »
  • Welcome to our Feodor Lynen Fellow Dr. Manuel Sorge

    Welcome to our Feodor Lynen Fellow Dr. Manuel Sorge

    2020-10-12
    On October 1, 2020, Dr. Manuel Sorge has joined the Algorithms and Complexity group with a prestigious Feodor Lynen postdoc …Read More »
  • TU Wien students excel at the 2020 Graph Drawing Contest

    TU Wien students excel at the 2020 Graph Drawing Contest

    2020-10-01
    The 27th annual Graph Drawing Contest, held (virtually) in conjunction with the 28th International Symposium on Graph Drawing and Network …Read More »
  • Best Paper Award at CP’2020

    Best Paper Award at CP’2020

    2020-09-11
    Tomáš Peitl and Stefan Szeider won the Best Paper Award at the main track of CP'2020, the 26th International Conference on Principles …Read More »

News archive

All news for 2015, 2016, 2017, 2018 and 2019.
TU Wien Informatics
Offenlegung (§25 MedienG) Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. – Disclaimer – Datenschutzerklärung
Log in requires cookies.