scholarly journals COMPLEXITY OF COMPLEXITY AND STRINGS WITH MAXIMAL PLAIN AND PREFIX KOLMOGOROV COMPLEXITY

2014 ◽  
Vol 79 (2) ◽  
pp. 620-632 ◽  
Author(s):  
B. BAUWENS ◽  
A. SHEN
Keyword(s):  
Upper Bound ◽  
Kolmogorov Complexity ◽  
Short Proof ◽  
Simple Game ◽  
Tight Bound ◽  
Image Position ◽  
Conditional Complexity

AbstractPéter Gács showed (Gács 1974) that for every n there exists a bit string x of length n whose plain complexity C(x) has almost maximal conditional complexity relative to x, i.e., $C\left( {C\left( x \right)|x} \right) \ge {\rm{log}}n - {\rm{log}}^{\left( 2 \right)} n - O\left( 1 \right)$ (Here ${\rm{log}}^{\left( 2 \right)} i = {\rm{loglog}}i$.) Following Elena Kalinina (Kalinina 2011), we provide a simple game-based proof of this result; modifying her argument, we get a better (and tight) bound ${\rm{log}}n - O\left( 1 \right)$ We also show the same bound for prefix-free complexity.Robert Solovay showed (Solovay 1975) that infinitely many strings x have maximal plain complexity but not maximal prefix complexity (among the strings of the same length): for some c there exist infinitely many x such that $|x| - C\left( x \right) \le c$ and $|x| + K\left( {|x|} \right) - K\left( x \right) \ge {\rm{log}}^{\left( 2 \right)} |x| - c{\rm{log}}^{\left( 3 \right)} |x|$ In fact, the results of Solovay and Gács are closely related. Using the result above, we provide a short proof for Solovay’s result. We also generalize it by showing that for some c and for all n there are strings x of length n with $n - C\left( x \right) \le c$ and $n + K\left( n \right) - K\left( x \right) \ge K\left( {K\left( n \right)|n} \right) - 3K\left( {K\left( {K\left( n \right)|n} \right)|n} \right) - c.$ We also prove a close upper bound $K\left( {K\left( n \right)|n} \right) + O\left( 1 \right)$Finally, we provide a direct game proof for Joseph Miller’s generalization (Miller 2006) of the same Solovay’s theorem: if a co-enumerable set (a set with c.e. complement) contains for every length a string of this length, then it contains infinitely many strings x such that$|x| + K\left( {|x|} \right) - K\left( x \right) \ge {\rm{log}}^{\left( 2 \right)} |x| - O\left( {{\rm{log}}^{\left( 3 \right)} |x|} \right).$

Isolated minima of the product of n linear forms

1953 ◽  
Vol 49 (1) ◽  
pp. 59-62 ◽  
Author(s):  
E. S. Barnes
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Linear Forms ◽  
Image Position

Letbe n linear forms with real coefficients and determinant Δ = ∥ aij∥ ≠ 0; and denote by M(X) the lower bound of | X1X2 … Xn| over all integer sets (u) ≠ (0). It is well known that γn, the upper bound of M(X)/|Δ| over all sets of forms Xi, is finite, and the value of γn has been determined when n = 2 and n = 3.

Post completeness in modal logic

1972 ◽  
Vol 37 (4) ◽  
pp. 711-715 ◽  
Author(s):  
Krister Segerberg
Keyword(s):  
Modal Logic ◽  
Upper Bound ◽  
Modus Ponens ◽  
Proper Subset ◽  
Proper Extension ◽  
Image Position

Let ⊥, →, and □ be primitive, and let us have a countable supply of propositional letters. By a (modal) logic we understand a proper subset of the set of all formulas containing every tautology and being closed under modus ponens and substitution. A logic is regular if it contains every instance of □A ∧ □B ↔ □(A ∧ B) and is closed under the ruleA regular logic is normal if it contains □⊤. The smallest regular logic we denote by C (the same as Lemmon's C2), the smallest normal one by K. If L and L' are logics and L ⊆ L′, then L is a sublogic of L', and L' is an extension of L; properly so if L ≠ L'. A logic is quasi-regular (respectively, quasi-normal) if it is an extension of C (respectively, K).A logic is Post complete if it has no proper extension. The Post number, denoted by p(L), is the number of Post complete extensions of L. Thanks to Lindenbaum, we know thatThere is an obvious upper bound, too:Furthermore,.

Sublattices and Initial Segments of the Degrees of Unsolvability

1970 ◽  
Vol 22 (3) ◽  
pp. 569-581 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Lattice Theory ◽  
Initial Segment ◽  
Finite Lattice ◽  
Equivalence Relations ◽  
Finite Lattices ◽  
Image Position ◽  
Degrees Of Unsolvability

In this paper we shall prove that every finite lattice is isomorphic to a sublattice of the degrees of unsolvability, and that every one of a certain class of finite lattices is isomorphic to an initial segment of degrees.Acknowledgment. I am grateful to Ralph McKenzie for his assistance in matters of lattice theory.1. Representation of lattices. The equivalence lattice of the set S consists of all equivalence relations on S, ordered by setting θ ≦ θ’ if for all a and b in S, a θ b ⇒ a θ’ b. The least upper bound and greatest lower bound in are given by the ⋃ and ⋂ operations:

Hamiltonian Circuits on the N-Cube

1975 ◽  
Vol 17 (5) ◽  
pp. 759-761 ◽  
Author(s):  
D. H. Smith
Keyword(s):  
Upper Bound ◽  
Hamiltonian Circuits ◽  
Image Position

The problem of finding bounds for the number h(n) of Hamiltonian circuits on the n-cube has been studied by several authors, (1), (2), (3). The best upper bound known is due to Larman (5) who proved that .In this paper we use a result of Nijenhuis and Wilf (4) on permanents of (0, 1)- matrices to show that for n≥5where τ, a and c are constants.

scholarly journals Note on Burde's Rational Biquadratic Reciprocity Law

1977 ◽  
Vol 20 (1) ◽  
pp. 145-146 ◽  
Author(s):  
Kenneth S. Williams
Keyword(s):  
Short Proof ◽  
Reciprocity Law ◽  
Image Position

A short proof is given of a biquadratic reciprocity law proved by Burde in 1969.Let p and q be primes ≡1 (mod 4) such that (p | q) = (q | p) = 1. Then there are integers a, b, c, d withSet

scholarly journals On subgraphs of C2k-free graphs and a problem of Kühn and Osthus

2020 ◽  
Vol 29 (3) ◽  
pp. 436-454
Author(s):  
Dániel Grósz ◽  
Abhishek Methuku ◽  
Casey Tompkins
Keyword(s):  
Short Proof ◽  
Uniform Hypergraph ◽  
Free Graph ◽  
Bipartite Subgraph ◽  
Image Position

AbstractLet c denote the largest constant such that every C6-free graph G contains a bipartite and C4-free subgraph having a fraction c of edges of G. Győri, Kensell and Tompkins showed that 3/8 ⩽ c ⩽ 2/5. We prove that c = 38. More generally, we show that for any ε > 0, and any integer k ⩾ 2, there is a C2k-free graph $G'$ which does not contain a bipartite subgraph of girth greater than 2k with more than a fraction $$\Bigl(1-\frac{1}{2^{2k-2}}\Bigr)\frac{2}{2k-1}(1+\varepsilon)$$ of the edges of $G'$ . There also exists a C2k-free graph $G''$ which does not contain a bipartite and C4-free subgraph with more than a fraction $$\Bigl(1-\frac{1}{2^{k-1}}\Bigr)\frac{1}{k-1}(1+\varepsilon)$$ of the edges of $G''$ .One of our proofs uses the following statement, which we prove using probabilistic ideas, generalizing a theorem of Erdős. For any ε > 0, and any integers a, b, k ⩾ 2, there exists an a-uniform hypergraph H of girth greater than k which does not contain any b-colourable subhypergraph with more than a fraction $$\Bigl(1-\frac{1}{b^{a-1}}\Bigr)(1+\varepsilon)$$ of the hyperedges of H. We also prove further generalizations of this theorem.In addition, we give a new and very short proof of a result of Kühn and Osthus, which states that every bipartite C2k-free graph G contains a C4-free subgraph with at least a fraction 1/(k−1) of the edges of G. We also answer a question of Kühn and Osthus about C2k-free graphs obtained by pasting together C2l’s (with k >l ⩾ 3).

A Note on the Diameter of a Graph

1968 ◽  
Vol 11 (3) ◽  
pp. 499-501 ◽  
Author(s):  
J. A. Bondy
Keyword(s):  
Shortest Path ◽  
Upper Bound ◽  
Connected Graph ◽  
Maximum Distance ◽  
Image Position

The distance d(x, y) between vertices x, y of a graph G is the length of the shortest path from x to y in G. The diameter δ(G) of G is the maximum distance between any pair of vertices in G. i.e. δ(G) = max max d(x, y). In this note we obtain an upper boundx ε G y ε Gfor δ(G) in terms of the numbers of vertices and edges in G. Using this bound it is then shown that for any complement-connected graph G with N verticeswhere is the complement of G.

scholarly journals On Komlós’ tiling theorem in random graphs

2019 ◽  
Vol 29 (1) ◽  
pp. 113-127
Author(s):  
Rajko Nenadov ◽  
Nemanja Škorić
Keyword(s):  
Chromatic Number ◽  
Random Graph ◽  
Random Graphs ◽  
Upper Bound ◽  
Minimum Degree ◽  
Arbitrary Graph ◽  
Spanning Subgraph ◽  
Delta G ◽  
Image Position ◽  
Vertex Disjoint

AbstractGiven graphs G and H, a family of vertex-disjoint copies of H in G is called an H-tiling. Conlon, Gowers, Samotij and Schacht showed that for a given graph H and a constant γ>0, there exists C>0 such that if $p \ge C{n^{ - 1/{m_2}(H)}}$ , then asymptotically almost surely every spanning subgraph G of the random graph 𝒢(n, p) with minimum degree at least $\delta (G) \ge (1 - \frac{1}{{{\chi _{{\rm{cr}}}}(H)}} + \gamma )np$ contains an H-tiling that covers all but at most γn vertices. Here, χcr(H) denotes the critical chromatic number, a parameter introduced by Komlós, and m2(H) is the 2-density of H. We show that this theorem can be bootstrapped to obtain an H-tiling covering all but at most $\gamma {(C/p)^{{m_2}(H)}}$ vertices, which is strictly smaller when $p \ge C{n^{ - 1/{m_2}(H)}}$ . In the case where H = K3, this answers the question of Balogh, Lee and Samotij. Furthermore, for an arbitrary graph H we give an upper bound on p for which some leftover is unavoidable and a bound on the size of a largest H -tiling for p below this value.

scholarly journals The Maximum of a Random Walk and Its Application to Rectangle Packing

1998 ◽  
Vol 12 (3) ◽  
pp. 373-386 ◽  
Author(s):  
E. G. Coffman ◽  
Philippe Flajolet ◽  
Leopold Flatto ◽  
Micha Hofri
Keyword(s):  
Random Walk ◽  
Upper Bound ◽  
Symmetric Random Walk ◽  
Rectangle Packing ◽  
Unit Width ◽  
Minimum Height ◽  
Image Position

Let S0,…,Sn be a symmetric random walk that starts at the origin (S0 = 0) and takes steps uniformly distributed on [— 1,+1]. We study the large-n behavior of the expected maximum excursion and prove the estimate,where c = 0.297952.... This estimate applies to the problem of packing n rectangles into a unit-width strip; in particular, it makes much more precise the known upper bound on the expected minimum height, O(n½), when the rectangle sides are 2n independent uniform random draws from [0,1].

Injective Hulls of Semilattices

1970 ◽  
Vol 13 (1) ◽  
pp. 115-118 ◽  
Author(s):  
G. Bruns ◽  
H. Lakser
Keyword(s):  
Upper Bound ◽  
Partially Ordered Set ◽  
Binary Operation ◽  
Ordered Set ◽  
Upper Bounds ◽  
Partial Ordering ◽  
Partially Ordered ◽  
Image Position ◽  
Injective Hulls

A (meet-) semilattice is an algebra with one binary operation ∧, which is associative, commutative and idempotent. Throughout this paper we are working in the category of semilattices. All categorical or general algebraic notions are to be understood in this category. In every semilattice S the relationdefines a partial ordering of S. The symbol "∨" denotes least upper bounds under this partial ordering. If it is not clear from the context in which partially ordered set a least upper bound is taken, we add this set as an index to the symbol; for example, ∨AX denotes the least upper bound of X in the partially ordered set A.

Sign in / Sign up

Export Citation Format

Share Document