Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2401.02420

A computing machinery using a continuous memory tape

Yigit Oktar
View original source ↗Read source document ↗Export metadata ↓

Abstract

By considering a discrete tape where each cell corresponds to an integer, thus to a possible sum, a pseudo-polynomial solution can be given to subset sum problem, which is an NP-complete problem and a cornerstone application for this study, using shifts and element-wise summations. This machinery can be extended symbolically to continuous case by thinking each possible sum as a single frequency impulse on the frequency band. Multiplication with a cosine in this case corresponds to the shifting operation as modulation in communication systems. Preliminary experimentation suggests that signal generation thus solution space calculation can be done in polynomial time. However, reading the value at a specific frequency (sum value) is problematic, namely cannot be simulated in polynomial time currently. Dedicated hardware implementation might be a solution, where both circuit-based and wireless versions might be tried out. A polynomial representation is also given that is claimed to be analogous to a tape of a Turing machine. Both rational and real number versions of the subset sum problem are also discussed, where the rational version of the problem is mapped to 0-1 range with specific patterns of True values. Although this machinery may not be totally equivalent to a non-deterministic Turing machine, it may be helpful for non-deterministic universal Turing machine actualization. It may pave way to both theoretical and practical considerations that can help computing machinery, information processing, and pattern recognition domains in various ways.

Explore related subjects

cs.CC

Keep this discovery

BibTeXRIS

Yigit Oktar. 2023-09-27. A computing machinery using a continuous memory tape. https://arxiv.org/abs/2401.02420

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC↗
arXiv2026

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC↗