How to construct random functions

Recently, images on the Web and personal computers are prevalent around the human’s life. To retrieve effectively those images, there are many AIA (Automatic Image Annotation) algorithms. However, it still suffers from low-level accuracy since it couldn’t overcome the semantic-gap be tween low-level features (‘color’,‘texture’ and ‘shape’) and high-level semantic meanings (e.g., ‘sky’,‘beach’). Namely, AIA techniques annotates images with many noisy key words. Refinement process has been appeared in these days and it tries to remove noisy keywords by using Knowledge-base and boosting candidate keywords. Because of limitless of candidate keywords and the incorrectness of web-image textual descriptions, this is the time we need to have deterministic polynomial time algorithm. We show that finding optimal solution for removing noisy keywords in the graph is NP-Complete problem and propose new methodology for KBIAR (Knowledge Based Image Annotation Refinement) using the randomized approximation graph algorithm as the general deterministic polynomial time algorithm.

Using shape grammars and extremal optimization in 3D IC layout design

We consider the problem of fair allocation of indivisible items among $n$ agents with additive valuations, when agents have equal entitlements to the goods, and there are no transfers. Best-of-Both-Worlds (BoBW) fairness mechanisms aim to give all agents both an ex-ante guarantee (such as getting the proportional share in expectation) and an ex-post guarantee. Prior BoBW results have focused on ex-post guarantees that are based on the to one paradigm, such as envy-free up to one item (EF1). In this work we attempt to give every agent a high value ex-post, and specifically, a constant fraction of his maximin share (MMS). The up to one item paradigm fails to give such a guarantee, and it is not difficult to present examples in which previous BoBW mechanisms give agents only a $\frac{1}{n}$ fraction of their MMS. Our main result is a deterministic polynomial time algorithm that computes a distribution over allocations that is ex-ante proportional, and ex-post, every allocation gives every agent at least his proportional share up to one item, and more importantly, at least half of his MMS. Moreover, this last ex-post guarantee holds even with respect to a more demanding notion of a share, introduced in this paper, that we refer to as the truncated proportional share (TPS). Our guarantees are nearly best possible, in the sense that one cannot guarantee agents more than their proportional share ex-ante, and one cannot guarantee agents more than a $\frac{n}{2n-1}$ fraction of their TPS ex-post.

In this work we relate the deterministic complexity of factoring polynomials (over finite fields) to certain combinatorial objects we call m-schemes. We extend the known conditional deterministic subexponential time polynomial factoring algorithm for finite fields to get an underlying m-scheme. We demonstrate how the properties of m-schemes relate to improvements in the deterministic complexity of factoring polynomials over finite fields assuming the generalized Riemann Hypothesis (GRH). In particular, we give the first deterministic polynomial time algorithm (assuming GRH) to find a nontrivial factor of a polynomial of prime degree n where (n-1) is a smooth number.

We consider the time and energy complexities of randomized leader election in a multiple-access channel, where the number of devices $n\geq 2$ is unknown. It is well-known that for polynomial-time randomized leader election algorithms with success probability $1-1/poly(n)$, the optimal energy complexity is $\Theta(\log\log^*n)$ if receivers can detect collisions, and $\Theta(\log^*n)$ otherwise. Without collision detection, all existing randomized leader election algorithms using $o(\log\log n)$ energy are Monte Carlo in that they may fail with some small probability, and they may consume unbounded energy and never halt when they fail. Though the optimal energy complexity of leader election appears to be settled, it is still an open question to attain the optimal $O(\log^*n)$ energy complexity by an efficient Las Vegas algorithm that never fails. In this paper we address this fundamental question. $\textbf{Separation between Monte Carlo and Las Vegas:}$ Without collision detection, we prove that any Las Vegas leader election algorithm with finite expected time complexity must use $\Omega(\log\log n)$ energy, establishing a large separation between Monte Carlo and Las Vegas algorithms. $\textbf{Exponential improvement with sender collision detection:}$ In the setting where senders can detect collisions, we design a new leader election algorithm that finishes in $O(\log^{1+\epsilon}n)$ time and uses $O(\epsilon^{-1}\log\log\log n)$ energy in expectation, showing that sender collision detection helps improve the energy complexity exponentially. $\textbf{Optimal deterministic leader election algorithm:}$ As a side result, via derandomization, we show a new deterministic algorithm that takes $O(n\log(N/n))$ time and $O(\log(N/n))$ energy to elect a leader from $n$ devices, where each device has a unique identifier in $[N]$. This algorithm is time-optimal and energy-optimal.

Drucker (2012) proved the following result: Unless the unlikely complexity-theoretic collapse coNP is in NP/poly occurs, there is no AND-compression for SAT. The result has implications for the compressibility and kernelizability of a whole range of NP-complete parameterized problems. We present a streamlined proof of Drucker's theorem. An AND-compression is a deterministic polynomial-time algorithm that maps a set of SAT-instances $x_1,\dots,x_t$ to a single SAT-instance $y$ of size poly(max $|x_i|$) such that $y$ is satisfiable if and only if all $x_i$ are satisfiable. The "AND" in the name stems from the fact that the predicate "$y$ is satisfiable" can be written as the AND of all predicates "$x_i$ is satisfiable". Drucker's result complements the result by Bodlaender et al. (2009) and Fortnow and Santhanam (2010), who proved the analogous statement for OR-compressions, and Drucker's proof not only subsumes that result but also extends it to randomized compression algorithms that are allowed to have a certain probability of failure. Drucker (2012) presented two proofs: The first uses information theory and the minimax theorem from game theory, and the second is an elementary, iterative proof that is not as general. In our proof, we realize the iterative structure as a generalization of the arguments of Ko (1983) for P-selective sets, which use the fact that tournaments have dominating sets of logarithmic size. We generalize this fact to hypergraph tournaments. Our proof achieves the full generality of Drucker's theorem, avoids the minimax theorem, and restricts the use of information theory to a single, intuitive lemma about the average noise sensitivity of compressive maps. To prove this lemma, we use the same information-theoretic inequalities as Drucker.

This paper presents a new probabilistie primality test. Upon termination the test outputs "composite" or "prime", along with a short proof of correctness, which can be verified in deterministic polynomial time. The test is different from the tests of Miller [M], Solovay-Strassen [SSI, and Rabin [R] in that its assertions of primality are certain, rather than being correct with high probability or dependent on an unproven assumption.

This special issue of Theory of Computing Systems contains articles which relate to talks given at the 8th International Conference on Computability, Complexity and Randomness (CCR) in Moscow from the 23rd to the 27th of September 2015. The CCR conference series is devoted to algorithmic randomness, Kolmogorov complexity, and their relationship with computability theory, complexity theory, logic and reverse mathematics. The contributions to this special issue reflect both the interests of reserachers in Russia, in particular Kolmogorov and computational complexity, and new directions in the field of algorithmic randomness such as the focus on normal numbers and connections to ergodic theory. No conference proceedings have been published; this special issue is the only publication relating to the confernece. All contributions are a significant extension of the conference presentations, and underwent the usual rigorous journal reviewing process. The article Polynomial-time algorithms for checking some properties of Boolean functions given by polynomials by Svetlana Selezneva and Anton Bukhman presents a polynomial time algorithm, which tests whether a Boolean function represented by a multivariate polynomial over GF(2) is even, that is, has zero derivative in the direction of (1, . . . , 1). The approach is based on the notion of the characteristic of monomials in the polynomial representation of Boolean functions. In Normality and finite-state dimension of Liouville numbers Satyadev Nandakumar gives a new construction of a Liouville number which is normal for a given base. Vladimir V’yugin in On Stability of Probability Laws with Respect to Small Violations of Algorithmic Randomness examines the robustness of ergodic theorems when the assumption of randomness is relaxed only a little. For example he shows that

We explore a special case of rational identity testing and algorithmic versions of two theorems on noncommutative polynomials, namely, Amitsur's theorem [S.A Amitsur, 1966] and the Bresar-Klep theorem [Bresar and Klep, 2008] when the input polynomial is given by an algebraic branching program (ABP). Let f be a degree-d n-variate noncommutative polynomial in the free ring Q over rationals. 1) We consider the following special case of rational identity testing: Given a noncommutative ABP as white-box, whose edge labels are linear forms or inverses of linear forms, we show a deterministic polynomial-time algorithm to decide if the rational function computed by it is equivalent to zero in the free skew field Q . Given black-box access to the ABP, we give a deterministic quasi-polynomial time algorithm for this problem. 2) Amitsur's theorem implies that if a noncommutative polynomial f is nonzero on k x k matrices then, in fact, f(M_1,M_2,...,M_n) is invertible for some matrix tuple (M_1,M_2,...,M_n) in (M_k(ℚ))^n. While a randomized polynomial time algorithm to find such (M_1,M_2,...,M_n) given black-box access to f is simple, we obtain a deterministic s^{O(log d)} time algorithm for the problem with black-box access to f, where s is the minimum ABP size for f and d is the degree of f. 3) The Bresar-Klep Theorem states that the span of the range of any noncommutative polynomial f on k x k matrices over Q is one of the following: zero, scalar multiples of I_k, trace-zero matrices in M_k(Q), or all of M_k(Q). We obtain a deterministic polynomial-time algorithm to decide which case occurs, given white-box access to an ABP for f. We also give a deterministic s^{O(log d)} time algorithm given black-box access to an ABP of size s for f. Our algorithms work when k >= d. Our techniques are based on some automata theory combined with known techniques for noncommutative ABP identity testing [Ran Raz and Amir Shpilka, 2005; Michael A. Forbes and Amir Shpilka, 2013].

The theory of computational complexity is based on the tradeoff between two computational resources, memory space and computer time. This paper investigates the physical counterparts of these resources. Memory space is the number of bits of information required by a computer over the course of a computation. Physically, information is intimately connected with entropy: entropy can be thought of as random bits of information. The physical analogue of the amount of memory space required for a computation, Ф- SPACE, is the difference between the maximum entropy Smax of the computing system and its actual entropy, S.Ф-SPACE = S - Smax is the thermodynamic depth of the computation. Ф-SPACE is the maximum number of bits of memory space available for a physical system to perform computation. In conventional computational complexity theory, computer time is identified as the number of elementary logical operations (AND, OR, NOT, COPY) required to perform the computation. The physical analogue of time computational complexity is simply the time required for the physical computing system to perform the computation. In order to obtain a number that measures the number of physical operations that can be performed by the system over time t, we define Ф-TIME to be proportional to the computation time multiplied by the energy E of the computing system over the course of the computation: Ф-TIME = 2Et/πħ. Here, the proportionality factor 2/πħ is chosen to match the time it takes a computing system with energy E to flip a bit in time t. Ф-TIME is thus the number of bit flips that can take place in an information processing system. In addition, we propose a novel measure of physical complexity that combines these measures. The free energy F = E - TS of a system is the amount of energy that is available to do useful work - as opposed to the energy bound up in the thermal fluctuations of heat. We define the free complexity to be the free energy × time product, 2Ft/πħ required by a physical system to perform a computation. Physical spatial and temporal complexity provide upper bounds on the amount of computation that can be performed by any physical system. We discuss the implications of physical complexity for the computational complexity hierarchy, in particular, we show that in the presence of errors in the computation, Ф-SPACE is proportional Ф-TIME. We apply the resulting theory of physical computational complexity to analyze the computational power of black holes: exactly half of the energy of a black hole is available for physical computation.

Finite state automata are of fundamental importance in theory as well as applications in computer science. This dissertation presents several parallel algorithms for processing of them, including minimizing the number of states for a given finite state automaton, finding homing sequences for a given finite state automaton, converting a regular expression into an $\\varepsilon$-free nondeterministic finite automaton. Implementation of some algorithms, as well as their experimental results, are also given. For minimization of deterministic finite automata, we present a parallel algorithm and discuss its implementation on a practical parallel machine using data parallel and message passing paradigms. Its time complexity on a p processor EREW PRAM $(p\\le n)$ for inputs of size n is $O({n\\log\\sp2n\\over p}+\\log n\\ \\log p)$ uniformly on almost all instances. The work done by our algorithm is thus within a factor of $O(\\log n)$ of the best known sequential algorithm. The space used by our algorithm is linear in the input size. The actual resource requirements of our implementations are consistent with these estimates. For finding homing sequences of deterministic finite automata, we present both deterministic and randomized algorithms. Two randomized algorithms of time complexity $O(log\\sp2n)$ are given. One of the randomized algorithms produces a homing sequence of length $O(n\\ log\\sp2n)$ for almost all DFA's with n states. The deterministic algorithm is based on a well known sequential algorithm. The implementation of the deterministic parallel algorithm shows that it can handle randomly generated instances with millions of states, and all DFA's with thousands of states using currently available parallel machines. Finally, we present an efficient parallel algorithm for converting a regular expression into an $\\varepsilon$-free nondeterministic finite automaton. The resulting automaton is natural representation of a regular expression and has some important and practical uses in the document processing area. The time complexity of the algorithm is $O(\\log n)$ and the number of processors used is $O(n\\sp2).$

We revisit a classical problem in computational geometry that has been studied since the 1980s: in the rectangle enclosure problem we want to report all k enclosing pairs of n input rectangles in 2D. We present the first deterministic algorithm that takes O(nlogn + k) worst-case time and O(n) space in the word-RAM model. This improves previous deterministic algorithms with O((nlogn + k)loglogn) running time. We achieve the result by derandomizing the algorithm of Chan, Larsen and Pătraşcu [SoCG’11] that attains the same time complexity but in expectation.The 2D rectangle enclosure problem is related to the offline dominance range reporting problem in 4D, and our result leads to the currently fastest deterministic algorithm for offline dominance reporting in any constant dimension d ≥ 4.A key tool behind Chan et al.’s previous randomized algorithm is shallow cuttings for 3D dominance ranges. Recently, Afshani and Tsakalidis [SODA’14] obtained a deterministic O(nlogn)-time algorithm to construct such cuttings. We first present an improved deterministic construction algorithm that runs in O(nloglogn) time in the word-RAM; this result is of independent interest. Many additional ideas are then incorporated, including a linear-time algorithm for merging shallow cuttings and an algorithm for an offline tree point location problem.KeywordsQuery PointDeterministic AlgorithmInput PointOuter CornerPlanar SeparatorThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Morphological computation proposes the idea that in a physical system, certain computational processes can be off-loaded to the body. However, the concept has still eluded serious theoretical quantification attempts, unlike traditional computational theory. This perspective examines the notion of morphological computation from the well established theories of traditional computation and computational complexity, drawing parallels between the two, to understand the differences and similarities. Further, we look at the quantification efforts of morphological computation and attempt to link it to the unexplored field of control complexity. We argue that the development of complexity theory for control problems is necessary to study and utilize the concept of morphological computation, if it is possible.

Computability and computational complexity were first considered over the fields of real and complex numbers and generalized to arbitrary algebraic systems. This article approaches the theory of computational complexity over an arbitrary algebraic system by taking computability over the list extension for a computational model of it. We study the resultant polynomial complexity classes and mention some NP-complete problems.

\\c{opyright} 2020 Saulo Queiroz. This work is licensed to IEEE under the Creative Commons Attribution 4.0(CC BY 4.0). The source code is licensed under GPLv2 in https://github.com/sauloqueiroz/lib-ofdmim