Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Henning Thomas is active.

Publication


Featured researches published by Henning Thomas.


Journal of the ACM | 2016

Playing Mastermind With Many Colors

Benjamin Doerr; Carola Doerr; Reto Spöhel; Henning Thomas

We analyze the general version of the classic guessing game Mastermind with n positions and k colors. Since the case k ≤ n1 − ε, ε > 0 a constant, is well understood, we concentrate on larger numbers of colors. For the most prominent case k = n, our results imply that Codebreaker can find the secret code with O(nlog log n) guesses. This bound is valid also when only black answer pegs are used. It improves the O(nlog n) bound first proven by Chvátal. We also show that if both black and white answer pegs are used, then the O(nlog log n) bound holds for up to n2log log n colors. These bounds are almost tight, as the known lower bound of Ω(n) shows. Unlike for k ≤ n1 − ε, simply guessing at random until the secret code is determined is not sufficient. In fact, we show that an optimal nonadaptive strategy (deterministic or randomized) needs Θ(nlog n) guesses.


Journal of Computer Science and Technology | 2008

Approximation Algorithms for 3D Orthogonal Knapsack

Florian Diedrich; Rolf Harren; Klaus Jansen; Ralf Thöle; Henning Thomas

We study non-overlapping axis-parallel packings of 3D boxes with profits into a dedicated bigger box where rotation is either forbidden or permitted, and we wish to maximize the total profit. Since this optimization problem is NP-hard, we focus on approximation algorithms. We obtain fast and simple algorithms for the non-rotational scenario with approximation ratios 9 + ϵ and 8 + ϵ, as well as an algorithm with approximation ratio 7 + ϵ that uses more sophisticated techniques; these are the smallest approximation ratios known for this problem. Furthermore, we show how the used techniques can be adapted to the case where rotation by 90° either around the z-axis or around all axes is permitted, where we obtain algorithms with approximation ratios 6 + ϵ and 5 + ϵ, respectively. Finally our methods yield a 3D generalization of a packability criterion and a strip packing algorithm with absolute approximation ratio 29/4, improving the previously best known result of 45/4.


symposium on discrete algorithms | 2013

Playing mastermind with many colors

Benjamin Doerr; Reto Spöhel; Henning Thomas; Carola Winzen

We analyze the general version of the classic guessing game Mastermind with n positions and k colors. Since the case k ≤ n1−e, e > 0 constant, is well understood, we concentrate on larger numbers of colors. For the most prominent case k = n, our results imply that Codebreaker can find the secret code with O(n log log n) guesses. This bound is valid also when only black answer-pegs are used. It improves the O(n log n) bound first proven by Chvatal (Combinatorica 3 (1983), 325--329). We also show that if both black and white answer-pegs are used, then the O(n log log n) bound holds for up to n2 log log n colors. These bounds are almost tight as the known lower bound of Ω(n) shows. Unlike for k ≤ n1−e, simply guessing at random until the secret code is determined is not sufficient. In fact, we show that any non-adaptive strategy needs an expected number of Ω(n log n) guesses.


international colloquium on automata, languages and programming | 2014

Internal DLA: Efficient Simulation of a Physical Growth Model

Karl Bringmann; Fabian Kuhn; Konstantinos Panagiotou; Ueli Peter; Henning Thomas

The internal diffusion limited aggregation (IDLA) process places n particles on the two dimensional integer grid. The first particle is placed on the origin; every subsequent particle starts at the origin and performs an unbiased random walk until it reaches an unoccupied position.


Random Structures and Algorithms | 2012

A randomized version of Ramsey's theorem

Luca Gugelmann; Yury Person; Angelika Steger; Henning Thomas

The standard randomization of Ramseys theorem asks for a fixed graph F and a fixed number r of colors: for what densities p = p(n) can we asymptotically almost surely color the edges of the random graph G(n, p) with r colors without creating a monochromatic copy of F. This question was solved in full generality by Rodl and Rucinski [Combinatorics, Paul Erdős is eighty, vol. 1, 1993, 317–346; J Am Math Soc 8(1995), 917–942]. In this paper we consider a different randomization that was recently suggested by Allen et al. [Random Struct Algorithms, in press]. Let \documentclass{article} \usepackage{amsmath,amsfonts} \pagestyle{empty} \begin{document}


Electronic Notes in Discrete Mathematics | 2009

Coloring the edges of a random graph without a monochromatic giant component

Reto Spöhel; Angelika Steger; Henning Thomas

{{\mathcal R}_F(n,q)}


Electronic Notes in Discrete Mathematics | 2011

A Randomized Version of Ramseyʼs Theorem

Luca Gugelmann; Yury Person; Angelika Steger; Henning Thomas

\end{document} **image** be a random subset of all copies of F on a vertex set Vn of size n, in which every copy is present independently with probability q. For which functions q = q(n) can we color the edges of the complete graph on Vn with r colors such that no monochromatic copy of F is contained in \documentclass{article} \usepackage{amsmath,amsfonts} \pagestyle{empty} \begin{document}


Electronic Notes in Discrete Mathematics | 2011

Explosive Percolation in Erdős-Rényi-like Random Graph Processes

Konstantinos Panagiotou; Reto Spöhel; Angelika Steger; Henning Thomas

{{\mathcal R}_F(n,q)}


Journal of Combinatorial Theory | 2011

Small subgraphs in random graphs and the power of multiple choices

Torsten Mütze; Reto Spöhel; Henning Thomas

\end{document} **image** ? We answer this question for strictly 2-balanced graphs F. Moreover, we combine bsts an r-edge-coloring of G(n, p)oth randomizations and prove a threshold result for the property that there exi such that no monochromatic copy of F is contained in \documentclass{article} \usepackage{amsmath,amsfonts} \pagestyle{empty} \begin{document}


Electronic Journal of Combinatorics | 2009

Balanced online Ramsey games in random graphs

Anupam Prakash; Reto Spöhel; Henning Thomas

{{\mathcal R}_F(n,q)}

Collaboration


Dive into the Henning Thomas's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Yury Person

Free University of Berlin

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Fabian Kuhn

University of Freiburg

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge