Procedural Generation of Initial States of Sokoban
Authors:
Dâmaris S. Bento,
André G. Pereira,
Levi H. S. Lelis
Abstract:
Procedural generation of initial states of state-space search problems have applications in human and machine learning as well as in the evaluation of planning systems. In this paper we deal with the task of generating hard and solvable initial states of Sokoban puzzles. We propose hardness metrics based on pattern database heuristics and the use of novelty to improve the exploration of search met…
▽ More
Procedural generation of initial states of state-space search problems have applications in human and machine learning as well as in the evaluation of planning systems. In this paper we deal with the task of generating hard and solvable initial states of Sokoban puzzles. We propose hardness metrics based on pattern database heuristics and the use of novelty to improve the exploration of search methods in the task of generating initial states. We then present a system called Beta that uses our hardness metrics and novelty to generate initial states. Experiments show that Beta is able to generate initial states that are harder to solve by a specialized solver than those designed by human experts.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
No Conclusive Evidence for Transits of Proxima b in MOST photometry
Authors:
David M. Kipping,
Chris Cameron,
Joel D. Hartman,
James R. A. Davenport,
Jaymie M. Matthews,
Dimitar Sasselov,
Jason Rowe,
Robert J. Siverd,
Jingjing Chen,
Emily Sandford,
Gáspár Á. Bakos,
Andres Jordan,
Daniel Bayliss,
Thomas Henning,
Luigi Mancini,
Kaloyan Penev,
Zoltan Csubry,
Waqas Bhatti,
Joao Da Silva Bento,
David B. Guenther,
Rainer Kuschnig,
Anthony F. J. Moffat,
Slavek M. Rucinski,
Werner W. Weiss
Abstract:
The analysis of Proxima Centauri's radial velocities recently led Anglada-Escudé et al. (2016) to claim the presence of a low mass planet orbiting the Sun's nearest star once every 11.2 days. Although the a-priori probability that Proxima b transits its parent star is just 1.5%, the potential impact of such a discovery would be considerable. Independent of recent radial velocity efforts, we observ…
▽ More
The analysis of Proxima Centauri's radial velocities recently led Anglada-Escudé et al. (2016) to claim the presence of a low mass planet orbiting the Sun's nearest star once every 11.2 days. Although the a-priori probability that Proxima b transits its parent star is just 1.5%, the potential impact of such a discovery would be considerable. Independent of recent radial velocity efforts, we observed Proxima Centauri for 12.5 days in 2014 and 31 days in 2015 with the MOST space telescope. We report here that we cannot make a compelling case that Proxima b transits in our precise photometric time series. Imposing an informative prior on the period and phase, we do detect a candidate signal with the expected depth. However, perturbing the phase prior across 100 evenly spaced intervals reveals one strong false-positive and one weaker instance. We estimate a false-positive rate of at least a few percent and a much higher false-negative rate of 20-40%, likely caused by the very high flare rate of Proxima Centauri. Comparing our candidate signal to HATSouth ground-based photometry reveals that the signal is somewhat, but not conclusively, disfavored (1-2 sigmas) leading us to argue that the signal is most likely spurious. We expect that infrared photometric follow-up could more conclusively test the existence of this candidate signal, owing to the suppression of flare activity and the impressive infrared brightness of the parent star.
△ Less
Submitted 1 December, 2016; v1 submitted 27 September, 2016;
originally announced September 2016.
