An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation

01/10/2022
by   Ruo Ando, et al.
0

In this paper, we present a curious experiment with the hot list strategy in solving sliding block puzzles by paramodulation. The hot list strategy is one of the look-ahead strategies using paramodulation in automated reasoning. We define two heat flows in the reasoning process - vertical with the hot list of permutations along the Y-axis and horizontal along the X-axis. In the experiment, we have generated 500 * 8 puzzles under the test of the solvability checking by counting inversions. We have obtained curious 2D and 3D plots of the complexity by defining heat flow with hot lists. We can distinguish a few groups in 500 boards (puzzles) based on the concept of heat-resisting.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/15/2020

A new perspective of paramodulation complexity by solving massive 8 puzzles

A sliding puzzle is a combination puzzle where a player slide pieces alo...
research
04/15/2022

An Experiment of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic

In this paper, we present an experiment of our randomized hints strategy...
research
01/23/2020

A Greedy algorithm for local heating

This paper studies a planning problem for supplying hot water in domesti...
research
11/09/2021

Identifying the atmospheric drivers of drought and heat using a smoothed deep learning approach

Europe was hit by several, disastrous heat and drought events in recent ...
research
11/11/2020

Policing Chronic and Temporary Hot Spots of Violent Crime: A Controlled Field Experiment

Hot-spot-based policing programs aim to deter crime through increased pr...
research
06/25/2021

Heat Waves – a hot topic in climate change research

Research on heat waves (periods of excessively hot weather, which may be...
research
07/23/2019

Analysis of the Near-Wall Flow in a Turbine Cascade by Splat Visualization

Turbines are essential components of jet planes and power plants. Theref...

Please sign up or login with your details

Forgot password? Click here to reset