13.10. 13:00  virtual  Martin Krejca  Timeflexible Drift Theorems
Drift theory is a collection of theorems that bound the expected stopping time of timediscrete random processes over the reals that have a consistent bias – the drift – in decreasing in expectation in each step. The beauty of drift theory stems from translating a bound for the drift immediately into a bound for the expected stopping time. In other words, local information about the onestep change of the process is turned into global information about the behavior of the entire process. However, a downside of drift theory is that the application of a drift theorem is usually preceded by defining a useful potential function that transform the random process into one that has the desired drift. This step is not straightforward.
One problem in determining a useful potential function is that the transformed process needs to have drift in each step, that is, no detours into the wrong direction are allowed, even when they are deterministic. In this talk, we present the timeflexible drift theorem, a new drift theorem that does not have this limitation. It generalizes the most general drift theorem as well as similar approaches that bound the expected stopping time. The timeflexible drift theorem allows for time periods in the random process that do not show the desired drift. Such periods are handled separately and then incorporated into the final result.
This talk presents work in progress (that I came up with last week). In fact, I have no super cool application for this new theorem in mind. I stumbled upon it while thinking about something different. So I would be glad to get some feedback or ideas or start some new collaboration. As a feature, some parts of the talk are very formal (and assume a very formal background in probability theory), which should motivate you to have an indepth discussion with me after the talk if you would like to learn more =D. Nonetheless, the talk also includes the mandatory (somewhat) colorful pictures with fancy animations and is aimed to convey the intuition of the math beneath.

20.10. 13:00  virtual  Ardalan Khazraei  An Improved Approximation Algorithm for the Uniform CostDistance Steiner Tree Problem
The costdistance Steiner tree problem asks for a Steiner tree in a graph that minimizes the total cost plus a weighted sum of path delays from the root to the sinks. We present an improved approximation for the uniform costdistance Steiner tree problem, where the delay of a path corresponds to the sum of edge costs along that path. Previous approaches deploy a bicriteria approximation algorithm for the lengthbounded variant that does not take the actual delay weights into account. Our algorithm modifies a similar algorithm for the singlesink buyatbulk problem by Guha et al. [2009], allowing a better approximation factor for our problem. In contrast to the bicriteria algorithms it considers delay weights explicitly. Thereby, we achieve an approximation factor of (1+β), where β is the approximation factor for the Steiner tree problem. This improves the previously best known approximation factor for the uniform costdistance Steiner tree problem from 2:87 to 2:39. This algorithm can be extended to the problem where the ratio of edge costs to edge delays throughout the graph is bounded from above and below. In particular, this shows that a previous inapproximability result (Chuzhoy et al. [2008]) requires large variations between edge delays and costs. Finally, we present an important application of our new algorithm in chip design. The costdistance Steiner tree problem occurs as a Lagrangean subproblem when optimizing millions of Steiner trees with mutually depending path length bounds. We show how to quickly approximate a continuous relaxation of this problem with our new algorithm.

23.10. 13:00  virtual  Gregor Lagodzinski  An Internship at SAP
During the first half of this year I worked at SAP as an intern, to be precise, at the SAP Innovation Center Network location in Potsdam. The goal of this internship was to see, observe and take part of the world outside of academia. Needless to say, things did not go as planned and I got firsthand experience into how a big company like SAP handles a special situation like the COVID19 pandemic. First and foremost, they will still work and so did I.
In this lightweight talk I will present my insights gained during the internship. This will incorporate a narrative about the process before the internship, a very rough insight in my tasks, and a first example of what a Zeroknowledge proof is. Finally, I will present my personal résumé and an outlook as to how it affected my near future.

10.11. 11:00  virtual  Arthur Zahn  Memetic Genetic Algorithms for Time Series Compression by Piecewise Linear Approximation.
Time series are sequences of data indexed by time. Such data are collected in various domains, often in massive amounts, such that storing them proves challenging. Thus, time series are commonly stored in a compressed format. An important compression approach is piecewise linear approximation (PLA), which only keeps a small set of time points and interpolates the remainder linearly. Picking a subset of time points such that the PLA minimizes the mean squared error to the original time series is a challenging task, naturally lending itself to heuristics. We propose the piecewise linear approximation genetic algorithm (PLAGA) for compressing time series by PLA. The PLAGA is a memetic (μ+λ) GA that makes use of two distinct operators tailored to time series compression. First, we add special individuals to the initial population that are derived using established PLA heuristics. Second, we propose a novel local search operator that greedily improves a compressed time series. We compare the PLAGA empirically with existing evolutionary approaches and with a deterministic PLA algorithm, known as Bellman's algorithm, that is optimal for the restricted setting of sampling. In both cases, the PLAGA approximates the original time series better and quicker. Further, it drastically outperforms Bellman's algorithm with increasing instance size with respect to run time until finding a solution of equal or better quality  we observe speedup factors between 7 and 100 for instances of 90,000 to 100,000 data points.

11.11. 10:15  virtual  Maximilian Langner  RapoportZink period morphisms onto the affine line for function fields
Local shtukas can be viewed as the analogs to pdivisible groups in the case of function fields. We compute a special RapoportZink space associated with a family of local shtukas and its period morphism. Furthermore, we compare this moduli space to its analog in mixed characteristic.

18.11. 10:15  virtual  Stefan Neubert  Shortest Distances as Enumeration Problem
Basic textbook complexity analysis usually inspects the total time of an algorithm. Whilst this yields important insights into the overall performance of the algorithm, it often fails to convey meaning in terms of the problem: *Why* does this problem seem to take this time to be solved?
In our work, we instead analyze how fast one can compute meaningful parts of a solution, thereby identifying which aspects of a problem seem to be hard (inefficient) to solve. Specifically, we proof both upper and lower bounds on the *delay* inbetween produced partial solutions of shortest distance problems on graphs.
From a theory point of view, this provides a better understanding of the analyzed problems and can possibly help in developing faster algorithms. Additionally, the results provide insights into how one can solve the analyzed problem within a data processing pipeline to speed up subsequent steps that can work on partial solutions instead having to wait for all parts.

19.11. 16:00  virtual  Katrin Casel  Reductions  more than a tool for NPhardness
In a typical introductory course on theoretical computer science one learns that polynomial time reductions are used to show that a computational problem cannot be solved in polynomial time (unless P=NP). It seems that beyond this plain NPhardness conclusion there is not much to be learned from such reductions; they seem to merely serve as justification to actually start studying the problem at hand since it is officially classified as being hard.
This talk will remedy the false reputation of reductions as blunt instruments for NPhardness. Reductions in fact yield powerful connections between seemingly unrelated problems that reveal useful similarities. To support this claimed power of reductions, we will look at examples from several application areas which illustrate the different types of information that can be transferred. With the help of appropriate reductions it is possible to inherit approximation results (approximationpreserving reductions) or to derive strict specific running time lower bounds (finegrained reductions). Further, reductions can give us insight into the limits of particular algorithmic strategies but also translate successful strategies from one problem to another.

25.11. 10:15  virtual  Sarel Cohen  Research Directions in Deep Learning
In this talk I will review several results in Deep Learning and present relevant research directions. First, I'll present two existing research directions. The first relates to combinatorial optimzation using deep learning  we describe two previous results where deep neural networks are used to solve combinatorial optimization problems. First we will discuss about pointer networks [NIPS 2015] which are used to compute approximations of the convex hull of a set of points. The second result "Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search" [NIPS 2018] use deep neural networks to compute approximate solution to NPhard problems such as Maximum Independent Set, Maximum Vertex Cover and Maximal Clique. We present a new way to cope with NP hard problems using deep neural networks. The second line of research relates to computer vision tasks. More specifically we explore the identification of mask wearing in images and videos. We present deep neural networks for detecting faces in images and classifying them as either wearing masks or notwearing masks (or wearing masks incorrectly). Later we will try to measure mask wearing in TV news broadcasts and correlate it with either mask wearing in the general public or even with COVID19 infection rates. As time permits we will present additional research directions related to deep learning.

02.12. 10:15  virtual  Master Project 2020  Efficiency and Stability in Euclidean Network Design In this talk, we will give a short introduction to the topic of last semesters master project and the results we achieved. In the project we studied a recently proposed Euclidean Generalized Network Creation Game by Bilò et al.[SPAA 2019] and we investigated the creation of (beta,gamma)networks, which are in betaapproximate Nash equilibrium and have a total cost of at most gamma times the optimal cost. In our model we have n agents corresponding to points in Euclidean space create costly edges among themselves to optimize their centrality in the created network. Our main result is a simple O(n^2)time algorithm that computes a (beta,beta)network with low beta for any given set of points.
Along the way, we significantly improve several results from Bilò et al. and we asymptotically resolve a conjecture about the Price of Anarchy.

09.12. 10:15  virtual  Jannik Peters, Davis Issac  Popular Matchings in 3d Cyclic Matching Instances
Popular Matchings have been one of the most popular topics in matching theory. In my master thesis work so far, I considered popular matchings on a restricted type of three dimensional matching, where the preferences are cyclically ordered. I will give a short overview over the structural and NPhardness results I have found so far and I will talk about promising directions for further research.
Fixed Parameter Tractability of Weighted Edge Clique Partition
I will talk about the fixed parameter tractability of (weighted) edge clique partition problem. The talk is based on my paper at IPEC 2020 coauthored with Andreas Feldmann and Ashutosh Rai. We develop an FPT algorithm and a compression for the Weighted Edge Clique Partition (WECP) problem, where a graph with \(n\) vertices and integer edge weights is given together with an integer \(k\), and the aim is to find \(k\) cliques, such that every edge appears in exactly as many cliques as its weight. The problem has been previously only studied in the unweighted version called Edge Clique Partition (ECP), where the edges need to be partitioned into \(k\) cliques. It was shown that ECP admits a kernel with \(k^2\) vertices [Mujuni and Rosamond, 2008], but this kernel does not extend to WECP. The previously fastest algorithm known for ECP has a runtime of \(2^{O(k^2)}n^{O(1)}\) [Issac, 2019 (PhD Thesis)]. For WECP, we develop a compression (to a slightly more general problem called Annotated WECP) with at most \(4^k\) vertices, and an algorithm with runtime \(2^{O(k^{3/2}w^{1/2}\log(k/w))}n^{O(1)}\), where \(w\) is the maximum edge weight. The latter in particular improves the runtime for ECP to \(2^{O(k^{3/2}\log k)}n^{O(1)}\).

16.12. 10:15  virtual  Ralf Rothenberger  SAT Solving and Proof Complexity
Satisfiability is considered the canonical NPcomplete problem and is used as a starting point for hardness reductions in theory, while in practice heuristic SAT solving algorithms can solve largescale industrial SAT instances very efficiently. One possible avenue towards understanding the power and limitations of modern SAT solvers is via proof complexity.
In this talk I give a short introduction to the celebrated DPLL and CDCL SAT solving algorithms and their connection to the resolution proof system. This connection can be used to derive lower bounds on the running time of those algorithms for families of SAT instances.

6.01. 10:15  virtual  Wilhelm Friedemann  Fixed Parameter Tractability of the Maximum Weight Connected Subgraph Problem
Given a vertexweigthed graph G (negative weights permitted), the 'Maximum Weight Connected Subgraph Problem' (MWCS) is to find the connected subgraph G' of G that maximizes the sum of the weights of all vertices in G'. MWCS is known to be NPhard and W[2]hard with regards to the weight of the subgraph as parameter. For my master thesis, I investigate whether MWCS is in FPT with regards to the number of vertices in G'. I will present my current results, which place MWCS in FPT, if we already know the solution size. Furthermore, I will talk about my next steps and discuss some problems with you.

13.01. 10:15  virtual  Nikhil Kumar  Scheduling to Minimize Energy I will talk about a scheduling problem whose objective is to minimize the total energy consumption. In particular, given n jobs with release dates, deadlines and processing times, we wish to find a minimum energy schedule of the jobs on a processor with a sleep state. A processor with a sleep state can be in one of the two states: active (processes one unit of job/time and consumes 1 unit energy/time) and sleep (doesn't do any processing or consume energy). Furthermore, switching between active and sleep state takes a fixed amount of energy.
Even after more than a decade of work, we still lack a good understanding of the problem. In the talk, I will briefly discuss known results and a recent work which uses LP relaxation to find good solutions. I will end with plenty of interesting research directions. 
20.01. 10:15  virtual  Anna Melnichenko  Selfish Creation of Social Networks Understanding realworld networks has been a core research endeavor throughout the last two decades. Network Creation Games are a promising approach for this from a gametheoretic perspective. In these games, selfish agents corresponding to nodes in a network strategically decide which links to form to optimize their centrality. Many versions have been introduced and analyzed, but none fits to modeling the evolution of social networks. In realworld social networks, connections are often established by recommendations from common acquaintances or by a chain of such recommendations. Thus establishing and maintaining contact with a friend of a friend is easier than connecting to strangers. This explains the high clustering, i.e., the abundance of triangles, in realworld social networks.
We propose and analyze a network creation model inspired by realworld social networks. Edges are formed in our model via bilateral consent of both endpoints, and the cost for establishing and maintaining an edge is proportional to the distance of the endpoints before establishing the connection. We provide results for generic cost functions, which essentially only must be convex functions in the distance of the endpoints without the respective edge. Besides the theoretical analysis of the model, we show via experiments that the equilibrium networks of our model indeed closely mimics realworld social networks. This can be seen as a promising first step towards gametheoretic network creation models that predict networks featuring all core realworld properties.

27.01. 10:15  virtual  Pascal Führlich  Improving Pairings at SwissSystem Tournaments and Analysis of Swiss Gambits
The Swiss system is a method for determining tournament pairings in
various competitive games and (e)sports, especially chess. For a
predetermined number of rounds players with equal score are paired. We
present a novel pairing engine based on Edmonds' maximum weight matching
algorithm. In comparison to the stateoftheart pairing engines used at
toplevel chess tournaments, our approach features much simpler rules,
is easier to understand and verify for players, produces fairer
pairings, and results in rankings that reflect the players' playing
strengths better. We also present our findings on situations in which a
player can improve her rank by doing a Swiss gambit: intentionally
losing a match in a Swisssystem tournament.

03.02. 10:15  virtual  Gregor Lagodzinski  "Interactive Proofs for Social Graphs", a Discussion Modern communication and society at large is reigned by networks of many
different types: product chains, social networks, street maps,... The
underlying graphs grow steadily and are in many cases THE secret of the
owning company. When Facebook claims to have 2 Billion users we are not
allowed to check the claim as Facebook will not provide us with the
network. The incentive for false claims is definitely given as there is
a correlation between network parameters like the size and the stock
value. The question arises of how we can verify a claim like the size of
a graph without access to the graph.
Katzir, Shikhelman, and Yogev tackled this question [CRYPTO'20]. They gave an interactive proof
protocol that estimates the size of a graph within a multiplicative
error when the verifier has access to a neighbourhood oracle.
In this talk, I will first present the protocol of Katzir et al. before
initiating a discussion on the limitations of said protocol. For this
second part, the audience will be split into smaller groups and is
expected to discuss the protocol and limitations within these groups.
Afterwards, we will remerge and discuss the protocol together.

10.02. 10:15  virtual  Timo Kötzing, Sarel Cohen  Experimental Run Time Analysis
I had a projectseminar this semester where the one student taking it built some webinterface for quickly designing and running an evolutionary algorithm. Since it was just one student, we didn't get to do all the exciting things that I had in mind with this interface. If you are interested in joining me for doing some run time experiments and publishing them, let me know!
FaultTolerant Fixed Parameter Algorithms 
17.02. 10:15  virtual  Samuel Baguley  Wormald's Theorem for the Analysis of Algorithms 
02.03. 10:15  virtual  David Stangl  Learning by Doing: Adaptive Branching for Better Pruning in Search Trees
Branching algorithms are used ubiquitously when solving hard problems. Among them, SAT solvers are perhaps the most highly optimized class, benefiting from decades of research. Over the last twenty years, one of the largest single improvements to them was the introduction of VSIDS, a learning branching heuristic. In our work, we attempt to generalize VSIDS to other branching algorithms, using a relatively simple Minimum Hitting Set algorithm as our base. Comparing our heuristic to uniformlyrandom branching, we observe significant reductions in both the size of the search tree and overall runtime, ranging up to 837 times.

03.03. 10:15  virtual  Merlin de la Haye, Hans Gawendowicz  Wireless Network Creation Games
Wireless networks can be a viable alternative to traditional wireline networks, providing increased flexibility in creating and dynamically modifying the resulting networks. Since the actors in such networks can be mobile devices powered by batteries, such as smart phones, each device has to find a good tradeoff between power consumption and service quality. My thesis aims to investigate the formation of wireless networks by means of algorithmic game theory and to analyze some of their properties, such as the existence and quality of stable states.
Corona meets Network Creation  a game theoretical model
During a pandemic, people have to weigh between meeting others and staying at home. While meeting others is pleasant, it also increases the
risk of infection. I will model and analyze this dilemma from a game
theoretical standpoint, inspired by the much discussed Network Creation
Games.

10.03. 10:15  virtual  BP 20/21 (Sebastian Angrick, Ben Bals, Niko Hastrich, Maximilian Kleissl, Jonas Schmidt, Lukas Weyand)  Predicting Real Estate Valuation
This interim presentation will be a window into the ongoing work of the
Bachelor's project 2020.
Given a million realestate valuation data points and scientific
freedom, we aim to enhance the current valuation process. As the core
goal of the project, we want to investigate and understand the
underlying structure of the data and learn relations not revealed by
conventional methods.
We will provide an overview of our two approaches to the problem: deep
neural networks and clustering.
We apply a Deep Neural Network that estimates square meter prices. Since
DNNs don't have the limitation of being explainable, we hope to get as
good results as the domain experts do. Additionally, we can use DNNs to
predict house prices of imaginary real estates to get information that
can be used to answer further questions about the real estate market.
We apply a simple, hierarchical clustering algorithm on reachability
graphs to gain local clusters that reveal the structure of location as a
defining factor for valuation. This approach is more explainable as the
clustering procedure can be understood and visualizations of the
clustering can serve as witnesses for valuation.
In this talk we're happy to discuss our current limitations and how to
overcome them with you!

17.03. 10:15  virtual  Lukas Behrendt  TBA 
24.03. 10:15  virtual  Jannik Peters  TBA 
31.03. 10:15  virtual  Philipp Fischbeck  TBA 
07.04. 10:15  virtual  MP 20/21  TBA 