Algorithms

6813 KiB

Open AccessArticle

An Integer Programming Approach to Solving Tantrix on Fixed Boards

by Fumika Kino and Yushi Uno

Algorithms 2012, 5(1), 158-175; https://doi.org/10.3390/a5010158 - 22 Mar 2012

Cited by 2 | Viewed by 5832

Tantrix (Tantrix R ⃝ is a registered trademark of Colour of Strategy Ltd. in New Zealand, and of TANTRIX JAPAN in Japan, respectively, under the license of M. McManaway, the inventor.) is a puzzle to make a loop by connecting lines drawn on [...] Read more.

Tantrix (Tantrix R ⃝ is a registered trademark of Colour of Strategy Ltd. in New Zealand, and of TANTRIX JAPAN in Japan, respectively, under the license of M. McManaway, the inventor.) is a puzzle to make a loop by connecting lines drawn on hexagonal tiles, and the objective of this research is to solve it by a computer. For this purpose, we first give a problem setting of solving Tantrix as making a loop on a given fixed board. We then formulate it as an integer program by describing the rules of Tantrix as its constraints, and solve it by a mathematical programming solver to have a solution. As a result, we establish a formulation that can solve Tantrix of moderate size, and even when the solutions are invalid only by elementary constraints, we achieved it by introducing additional constraints and re-solve it. By this approach we succeeded to solve Tantrix of size up to 60. Full article

(This article belongs to the Special Issue Puzzle/Game Algorithms)

► Show Figures

Figure 1

2190 KiB

Open AccessArticle

Any Monotone Function Is Realized by Interlocked Polygons

by Erik D. Demaine, Martin L. Demaine and Ryuhei Uehara

Algorithms 2012, 5(1), 148-157; https://doi.org/10.3390/a5010148 - 19 Mar 2012

Cited by 2 | Viewed by 6239

Abstract

Suppose there is a collection of n simple polygons in the plane, none of which overlap each other. The polygons are interlocked if no subset can be separated arbitrarily far from the rest. It is natural to ask the characterization of the subsets [...] Read more.

Suppose there is a collection of n simple polygons in the plane, none of which overlap each other. The polygons are interlocked if no subset can be separated arbitrarily far from the rest. It is natural to ask the characterization of the subsets that makes the set of interlocked polygons free (not interlocked). This abstracts the essence of a kind of sliding block puzzle. We show that any monotone Boolean function ƒ on n variables can be described by m = O(n) interlocked polygons. We also show that the decision problem that asks if given polygons are interlocked is PSPACE-complete. Full article

(This article belongs to the Special Issue Puzzle/Game Algorithms)

► Show Figures

Figure 1

778 KiB

Open AccessArticle

A Semi-Preemptive Computational Service System with Limited Resources and Dynamic Resource Ranking

by Fang-Yie Leu, Keng-Yen Chao, Ming-Chang Lee and Jia-Chun Lin

Algorithms 2012, 5(1), 113-147; https://doi.org/10.3390/a5010113 - 14 Mar 2012

Viewed by 7681

Abstract

In this paper, we integrate a grid system and a wireless network to present a convenient computational service system, called the Semi-Preemptive Computational Service system (SePCS for short), which provides users with a wireless access environment and through which a user can share [...] Read more.

In this paper, we integrate a grid system and a wireless network to present a convenient computational service system, called the Semi-Preemptive Computational Service system (SePCS for short), which provides users with a wireless access environment and through which a user can share his/her resources with others. In the SePCS, each node is dynamically given a score based on its CPU level, available memory size, current length of waiting queue, CPU utilization and bandwidth. With the scores, resource nodes are classified into three levels. User requests based on their time constraints are also classified into three types. Resources of higher levels are allocated to more tightly constrained requests so as to increase the total performance of the system. To achieve this, a resource broker with the Semi-Preemptive Algorithm (SPA) is also proposed. When the resource broker cannot find suitable resources for the requests of higher type, it preempts the resource that is now executing a lower type request so that the request of higher type can be executed immediately. The SePCS can be applied to a Vehicular Ad Hoc Network (VANET), users of which can then exploit the convenient mobile network services and the wireless distributed computing. As a result, the performance of the system is higher than that of the tested schemes. Full article

(This article belongs to the Special Issue Data Compression, Communication and Processing)

► Show Figures

Figure 1

804 KiB

Open AccessArticle

Successive Standardization of Rectangular Arrays

by Richard A. Olshen and Bala Rajaratnam

Algorithms 2012, 5(1), 98-112; https://doi.org/10.3390/a5010098 - 29 Feb 2012

Cited by 2 | Viewed by 5556

Abstract

In this note we illustrate and develop further with mathematics and examples, the work on successive standardization (or normalization) that is studied earlier by the same authors in [1] and [2]. Thus, we deal with successive iterations applied to rectangular arrays of numbers, [...] Read more.

In this note we illustrate and develop further with mathematics and examples, the work on successive standardization (or normalization) that is studied earlier by the same authors in [1] and [2]. Thus, we deal with successive iterations applied to rectangular arrays of numbers, where to avoid technical difficulties an array has at least three rows and at least three columns. Without loss, an iteration begins with operations on columns: first subtract the mean of each column; then divide by its standard deviation. The iteration continues with the same two operations done successively for rows. These four operations applied in sequence completes one iteration. One then iterates again, and again, and again, ... In [1] it was argued that if arrays are made up of real numbers, then the set for which convergence of these successive iterations fails has Lebesgue measure 0. The limiting array has row and column means 0, row and column standard deviations 1. A basic result on convergence given in [1] is true, though the argument in [1] is faulty. The result is stated in the form of a theorem here, and the argument for the theorem is correct. Moreover, many graphics given in [1] suggest that except for a set of entries of any array with Lebesgue measure 0, convergence is very rapid, eventually exponentially fast in the number of iterations. Because we learned this set of rules from Bradley Efron, we call it “Efron’s algorithm”. More importantly, the rapidity of convergence is illustrated by numerical examples. Full article

(This article belongs to the Special Issue Data Compression, Communication and Processing)

► Show Figures

Figure 1

904 KiB

Open AccessArticle

Visualization, Band Ordering and Compression of Hyperspectral Images

by Raffaele Pizzolante and Bruno Carpentieri

Algorithms 2012, 5(1), 76-97; https://doi.org/10.3390/a5010076 - 20 Feb 2012

Cited by 27 | Viewed by 9437

Abstract

Air-borne and space-borne acquired hyperspectral images are used to recognize objects and to classify materials on the surface of the earth. The state of the art compressor for lossless compression of hyperspectral images is the Spectral oriented Least SQuares (SLSQ) compressor (see [1–7]). [...] Read more.

Air-borne and space-borne acquired hyperspectral images are used to recognize objects and to classify materials on the surface of the earth. The state of the art compressor for lossless compression of hyperspectral images is the Spectral oriented Least SQuares (SLSQ) compressor (see [1–7]). In this paper we discuss hyperspectral image compression: we show how to visualize each band of a hyperspectral image and how this visualization suggests that an appropriate band ordering can lead to improvements in the compression process. In particular, we consider two important distance measures for band ordering: Pearson’s Correlation and Bhattacharyya distance, and report on experimental results achieved by a Java-based implementation of SLSQ. Full article

(This article belongs to the Special Issue Data Compression, Communication and Processing)

► Show Figures

Figure 1

467 KiB

Open AccessArticle

Application of Genetic Control with Adaptive Scaling Scheme to Signal Acquisition in Global Navigation Satellite System Receiver

by Chung-Liang Chang and Ho-Nien Shou

Algorithms 2012, 5(1), 56-75; https://doi.org/10.3390/a5010056 - 17 Feb 2012

Viewed by 6731

Abstract

This paper presents a genetic-based control scheme that not only utilizes evolutionary characteristics to find the signal acquisition parameters, but also employs an adaptive scheme to control the search space and avoid the genetic control converging to local optimal value so as to [...] Read more.

This paper presents a genetic-based control scheme that not only utilizes evolutionary characteristics to find the signal acquisition parameters, but also employs an adaptive scheme to control the search space and avoid the genetic control converging to local optimal value so as to acquire the desired signal precisely and rapidly. Simulations and experiment results show that the proposed method can improve the precision of signal parameters and take less signal acquisition time than traditional serial search methods for global navigation satellite system (GNSS) signals. Full article

► Show Figures

Figure 1

153 KiB

Open AccessArticle

A Note on Sequence Prediction over Large Alphabets

by Travis Gagie

Algorithms 2012, 5(1), 50-55; https://doi.org/10.3390/a5010050 - 17 Feb 2012

Cited by 1 | Viewed by 4854

Abstract

Building on results from data compression, we prove nearly tight bounds on how well sequences of length n can be predicted in terms of the size σ of the alphabet and the length k of the context considered when making predictions. We compare [...] Read more.

Building on results from data compression, we prove nearly tight bounds on how well sequences of length n can be predicted in terms of the size σ of the alphabet and the length k of the context considered when making predictions. We compare the performance achievable by an adaptive predictor with no advance knowledge of the sequence, to the performance achievable by the optimal static predictor using a table listing the frequency of each (k + 1)-tuple in the sequence. We show that, if the elements of the sequence are chosen uniformly at random, then an adaptive predictor can compete in the expected case if k ≤ log_σ n – 3 – ε, for a constant ε > 0, but not if k ≥ log_σ n. Full article

(This article belongs to the Special Issue Data Compression, Communication and Processing)

650 KiB

Open AccessArticle

Standard and Specific Compression Techniques for DNA Microarray Images

by Miguel Hernández-Cabronero, Ian Blanes, Michael W. Marcellin and Joan Serra-Sagristà

Algorithms 2012, 5(1), 30-49; https://doi.org/10.3390/a5010030 - 14 Feb 2012

Cited by 3 | Viewed by 5894

Abstract

We review the state of the art in DNA microarray image compression and provide original comparisons between standard and microarray-specific compression techniques that validate and expand previous work. First, we describe the most relevant approaches published in the literature and classify them according [...] Read more.

We review the state of the art in DNA microarray image compression and provide original comparisons between standard and microarray-specific compression techniques that validate and expand previous work. First, we describe the most relevant approaches published in the literature and classify them according to the stage of the typical image compression process where each approach makes its contribution, and then we summarize the compression results reported for these microarray-specific image compression schemes. In a set of experiments conducted for this paper, we obtain new results for several popular image coding techniques that include the most recent coding standards. Prediction-based schemes CALIC and JPEG-LS are the best-performing standard compressors, but are improved upon by the best microarray-specific technique, Battiato’s CNN-based scheme. Full article

(This article belongs to the Special Issue Data Compression, Communication and Processing)

► Show Figures

Graphical abstract

191 KiB

Open AccessArticle

How to Solve the Torus Puzzle

by Kazuyuki Amano, Yuta Kojima, Toshiya Kurabayashi, Keita Kurihara, Masahiro Nakamura, Ayaka Omi, Toshiyuki Tanaka and Koichi Yamazaki

Algorithms 2012, 5(1), 18-29; https://doi.org/10.3390/a5010018 - 13 Jan 2012

Cited by 6 | Viewed by 15797

Abstract

In this paper, we consider the following sliding puzzle called torus puzzle. In an m by n board, there are mn pieces numbered from 1 to mn. Initially, the pieces are placed in ascending order. Then they are scrambled by rotating the [...] Read more.

In this paper, we consider the following sliding puzzle called torus puzzle. In an m by n board, there are mn pieces numbered from 1 to mn. Initially, the pieces are placed in ascending order. Then they are scrambled by rotating the rows and columns without the player’s knowledge. The objective of the torus puzzle is to rearrange the pieces in ascending order by rotating the rows and columns. We provide a solution to this puzzle. In addition, we provide lower and upper bounds on the number of steps for solving the puzzle. Moreover, we consider a variant of the torus puzzle in which each piece is colored either black or white, and we present a hardness result for solving it. Full article

(This article belongs to the Special Issue Puzzle/Game Algorithms)

► Show Figures

Figure 1

2242 KiB

Open AccessArticle

Compression-Based Tools for Navigation with an Image Database

by Antonella Di Lillo, Ajay Daptardar, Kevin Thomas, James A. Storer and Giovanni Motta

Algorithms 2012, 5(1), 1-17; https://doi.org/10.3390/a5010001 - 10 Jan 2012

Cited by 5 | Viewed by 7928

Abstract

We present tools that can be used within a larger system referred to as a passive assistant. The system receives information from a mobile device, as well as information from an image database such as Google Street View, and employs image [...] Read more.

We present tools that can be used within a larger system referred to as a passive assistant. The system receives information from a mobile device, as well as information from an image database such as Google Street View, and employs image processing to provide useful information about a local urban environment to a user who is visually impaired. The first stage acquires and computes accurate location information, the second stage performs texture and color analysis of a scene, and the third stage provides specific object recognition and navigation information. These second and third stages rely on compression-based tools (dimensionality reduction, vector quantization, and coding) that are enhanced by knowledge of (approximate) location of objects. Full article

(This article belongs to the Special Issue Data Compression, Communication and Processing)

► Show Figures

Figure 1

Journal Menu

Journal Browser

Algorithms, Volume 5, Issue 1 (March 2012) – 10 articles , Pages 1-175

Further Information

Guidelines

MDPI Initiatives

Follow MDPI