Reductions in Computational Complexity Using Clifford Algebras

Not being (super)thin or solid is hard: A study of grid Hamiltonicity

SVD-based redundancy removal in 1-D CNNs for acoustic scene classification

Kombinatorische entscheidungsprobleme: Methoden und anwendungen; fortbildungskurs des instituts für operations research der ETH Zürich: Thomas M. Liebling, Max Rössler (Eds.) Springer, Berlin, 1978, 206 pages, Dfl. 32.75 Soft cover

Hamiltonian problems in directed graphs with simple row patterns

A digraph is semicomplete if it has no pair of non-adjacent vertices. It is complete if every pair of distinct vertices induces a 2-cycle. A digraph is semicomplete multipartite if it can be obtained from a semicomplete digraph D by choosing a collection of vertex-disjoint subsets X₁,…,X_c of V(D) and then deleting all arcs both of whose end-vertices lie inside some X_i. We can also think of a semicomplete digraph as being obtained from a semicomplete multipartite digraph on the same vertex set and partite sets V₁,…,V_c by adding the arcs of a semicomplete digraph D_i on V_i for each partite set V_i. It is well known that both the hamiltonian path and the hamiltonian cycle problem can be solved in polynomial time for semicomplete multipartite digraphs. In this paper we study the complexity of finding a hamiltonian path or cycle in a semicomplete digraph S which is obtained as above from a semicomplete multipartite digraph D and semicomplete digraphs D_i=(V_i,A_i), i∈[c] such that the path or cycle uses as few arcs of A₁∪…A_c as possible. We obtain a number of results for the case when each D_i is a complete digraph. Already this case is highly nontrivial in the cycle case and the complexity is still open. We show how to find a Hamiltonian path which uses as few arcs from the D_i’s as possible in polynomial time and obtain a number of results, both structural and algorithmic on hamiltonian cycles that use the minimum or close to the minimum number of arcs from the D_i’s. Our results imply the polynomial solvability of some special cases of the NP-complete {0,1}-TSP problem. Finally we show that two natural questions about properties of quasi-hamiltonian cycles, that is, cycles meeting all partite sets in semicomplete multipartite digraphs are NP-complete.

Due to the growing importance of multichannel modulation, there has been great interest in the design of high-performance transmultiplex systems. In this paper, a new cosine-modulated transmultiplex structure is proposed based on a prototype filter designed with the frequency-response masking (FRM) approach. This new structure leads to substantial reduction in the computational complexity (number of multiplications per output sample) of the prototype filters having sharp transition band and equivalently small roll-off values. The relation between the interpolation factor used in the FRM prototype filter and the decimation factor in the subbands leads to distinct structures. Examples included indicate that the reduction in computational complexity can be higher than 50% of the current state-of-art designs, whereas the reduction on the number of distinct coefficients of the prototype filter can be reduced even further (over 75%). As a result, the proposed approach allows the design of very selective subfilters for transmultiplexes with a very large number of subchannels.

We propose a novel Minimum Distance guided Genetic Algorithm (MDGA) for Multi-User Detection (MUD) in a synchronous Multi-Carrier Code Division Multiple Access (MC-CDMA) broadband wireless system. In contrast to conventional GAs, our MDGA exploits adequately the output from a bank of Matched Filters as guidance. It starts with a balanced ratio of exploration and exploitation which is maintained throughout the process. A novel replacement strategy is proposed which increases dramatically the convergence rate as compared to the conventional GAs. This allows us to use the simplest form of genetic operators to gain significant reduction in computational complexity as well as near-optimum results. The simulation results demonstrate that our scheme achieves 99.54% and 50+% reduction in computational complexity as compared to the MUD schemes using exhaustive search and conventional GA respectively.

Molecular computing has proved its possibility to solve weighted graph problem such as Hamiltonian Path Problem (HPP), Traveling Salesman Problem (TSP) and the Shortest Path Problem (SPP). Normally, in molecular computation, the DNA sequences used for the computation should be critically designed in order to reduce error that could occur during computation. In the previous paper, we have proposed a readout method tailored specifically to HPP in DNA Computing using real-time PCR for output visualization. Six nodes of HPP was considered. Based on the example instance, the method requires 11 oligonucleotides, where 6 oligonucleotides are for the nodes and 5 oligonucleotides are for the edges. Three TaqMan probes and five primers are required as well. In this study, a procedure for DNA sequence design is presented in order to obtain good sequences for those nodes, primers, and probes. The experiment is done based on the generated DNA sequences and the Hamiltonian Path can be determined successfully.

Probability of Potential Model Pruning in Monte-Carlo Go

We consider the Hamiltonian cycle problem on a given graph $G$. With such a graph we can associate a family $\mathcal{F}$ of probability transition matrices of Markov chains whose entries represent the probabilities of traversing corresponding arcs of the graph. When the underlying graph is Hamiltonian, we show the transition probability matrix induced by a Hamiltonian cycle maximizes—over $\mathcal{F}$—the determinant of a matrix that is a rank-one correction of the generator matrix of a Markov chain. In the case when the graph does not possess a Hamiltonian cycle, the above maximization yields a transition matrix of a chain with a longest simple cycle (in $G$) comprising that chain's unique ergodic class. These problems also have analogous eigenvalue interpretations.

We consider the Hamiltonian cycle problem embedded in singularly perturbed (controlled) Markov chains. We also consider a functional on the space of stationary policies of the process that consists of the (1,1)‐entry of the fundamental matrices of the Markov chains induced by these policies. We focus on the subset of these policies that induce doubly stochastic probability transition matrices which we refer to as the “doubly stochastic policies.” We show that when the perturbation parameter, ε, is sufficiently small, the minimum of this functional over the space of the doubly stochastic policies is attained at a Hamiltonian cycle, provided that the graph is Hamiltonian. We also show that when the graph is non‐Hamiltonian, the above minimum is strictly greater than that in a Hamiltonian case. We call the size of this difference the “Hamiltonicity Gap” and derive a conservative lower bound for this gap. Our results imply that the Hamiltonian cycle problem is equivalent to the problem of minimizing the variance of the first hitting time of the home node, over doubly stochastic policies. © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2009

The Hamiltonian cycle problem is a well-known NP-complete problem in graph theory. This problem relates to lots of practical problems such as designing very large scale integration (VLSI) and travel-ling salesman problem (TSP). Since it is NP-complete, there is no efficient algorithm to solve the Hamiltonian cycle problem, and hence, its solution is valuable. In this paper, we propose new physical zero-knowledge proof protocols for the Hamiltonian cycle problem, whereby an entity can prove its knowledge of a solution to another entity without leaking any information about the valuable solution. Our protocols are more efficient than the previous protocols. We also propose a physical zero-knowledge proof protocol for TSP, one of whose building blocks is a new representation of an integer commitment with a secure addition protocol.

The problem of finding the lengths of Hamiltonian cycles on complex graphs is considered. The task has such practical applications as determining the optimal routes (salesman's task), identifying graph structures (recognizing the characteristics of local features of biometric objects), etc. When solving the task of verification of biometric samples, the problems of addition or disappearance of reference points, deformation of the distances between them, the appearance of linear and angular displacements of the whole sample emerges. Using the method described in the article, the problem of displacements can be eliminated, as the solution is stable when shuffling of the points is present. Moreover, it is possible to obtain reference plans with the same stability. Obtaining them requires less computational complexity and provides greater recognition accuracy. A detailed description of the problem solution based on the application of the method of branches and boundaries for symmetric matrices of graphs, which describe the distribution of local features in the images of fingerprints, has been proposed. It is known that a guaranteed solution for finding the length of the Hamiltonian cycle for an arbitrary graph of the planar distribution of points is possible only by using an exhaustive search. However, the computational complexity of such a search is not acceptable. The method of branches and boundaries, like all existing methods of directional search, does not guarantee finding a solution with an arbitrarily large dimension of the graph. Therefore, a method of decomposing graphs is proposed, which allows reducing a complex problem to a set of simpler ones. That allows for a significant reduction in computational complexity. The relative invariance of the metrics of Hamiltonian cycles to probabilistic shifts, which are characteristic of biometric pattern recognition problems, has been shown.

Motion estimation typically consumes 50% to 70% of total power in video encode application. Optimizing the power consumption of motion estimation process is of great importance to low power video applications. Power dissipation increases with computational complexity. Reduction in motion estimation complexity is usually associated with increase in bit rate and a loss of quality. We explore a set of algorithms that reduce the complexity of motion estimation by adaptively changing the matching complexity based on macro-block features yet have only a modest cost in terms of bit rate increase and quality loss. The adaptive techniques are applied to the global elimination algorithm, which is a well known motion estimation algorithm. The global elimination algorithm uses fixed partition sizes and shapes irrespective of the nature of the macro-block. We show that by adapting the partition sizes and shapes according to the macro-block features such as variance and Hadamard coefficients, the computational complexity of global elimination algorithm can be significantly reduced with only a small increase in bit rate. We also propose a novel center-biased search order that uses early termination method designed to work with the global elimination algorithm. The adaptive match and center-biased search together result in around 57% reduction in computational complexity and 50% reduction in power dissipation compared to the original global elimination algorithm.

A low-complexity and robust minimum variance beamformer for ultrasound imaging systems using beamspace dominant mode rejection