scholarly journals Many neighborly inscribed polytopes and Delaunay triangulations

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Bernd Gonska ◽  
Arnau Padrol
Keyword(s):  
Lower Bound ◽  
Large Family ◽  
Delaunay Triangulations ◽  
Cyclic Polytopes ◽  
Point Configurations ◽  
International Audience

International audience We present a very simple explicit technique to generate a large family of point configurations with neighborly Delaunay triangulations. This proves that there are superexponentially many combinatorially distinct neighborly $d$-polytopes with $n$ vertices that admit realizations inscribed on the sphere. These are the first examples of inscribable neighborly polytopes that are not cyclic polytopes, and provide the current best lower bound for the number of combinatorial types of inscribable polytopes (and thus also of Delaunay triangulations). It coincides with the current best lower bound for the number of combinatorial types of polytopes. Nous présentons une technique explicite simple pour générer une large famille de configurations de points dont les triangulations de Delaunay sontneighborly. Cela prouve que le nombre de $d$-polytopes combinatoirement distincts avec $n$ sommets et admettant une réalisation inscrite sur la sphère est surexponentiel. Ce sont les premiers exemples de polytopes inscriptibles neighborly qui ne sont pas des polytopes cycliques et ils donnent la meilleure borne inférieure actuelle pour le nombre de types combinatoires de polytopes inscriptibles (et donc aussi de triangulations de Delaunay). Cette borne coïncide avec la meilleure borne inférieure actuelle pour le nombre de types combinatoires de polytopes.

scholarly journals On Greedy Trie Execution

2012 ◽  
Vol DMTCS Proceedings vol. AQ,... (Proceedings) ◽  
Author(s):  
Zbigniew Gołębiewski ◽  
Filip Zagórski
Keyword(s):  
Lower Bound ◽  
Greedy Algorithm ◽  
International Audience ◽  
The Greedy Algorithm

International audience In the paper "How to select a looser'' Prodinger was analyzing an algorithm where $n$ participants are selecting a leader by flipping <underline>fair</underline> coins, where recursively, the 0-party (those who i.e. have tossed heads) continues until the leader is chosen. We give an answer to the question stated in the Prodinger's paper – what happens if not a 0-party is recursively looking for a leader but always a party with a smaller cardinality. We show the lower bound on the number of rounds of the greedy algorithm (for <underline>fair</underline> coin).

scholarly journals A note on domino treewidth

1999 ◽  
Vol Vol. 3 no. 4 ◽  
Author(s):  
Hans L. Bodlaender
Keyword(s):  
Lower Bound ◽  
Simple Proof ◽  
Maximum Degree ◽  
International Audience

International audience In [DO95], Ding and Oporowski proved that for every k, and d, there exists a constant c_k,d, such that every graph with treewidth at most k and maximum degree at most d has domino treewidth at most c_k,d. This note gives a new simple proof of this fact, with a better bound for c_k,d, namely (9k+7)d(d+1) -1. It is also shown that a lower bound of Ω (kd) holds: there are graphs with domino treewidth at least 1/12 × kd-1, treewidth at most k, and maximum degree at most d, for many values k and d. The domino treewidth of a tree is at most its maximum degree.

scholarly journals The short toric polynomial

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Gábor Hetyei
Keyword(s):  
Lower Bound ◽  
Reflection Principle ◽  
Lattice Path ◽  
Simple Polytope ◽  
Independent Form ◽  
International Audience ◽  
Bound Theorem ◽  
Lattice Path Enumeration ◽  
Nous Utilisons ◽  
Eulerian Poset

International audience We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as Stanley's pair of toric polynomials, but allows different algebraic manipulations. Stanley's intertwined recurrence may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric h-vector in terms of the cd-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric h-vector of a dual simplicial Eulerian poset in terms of its f-vector. This formula implies Gessel's formula for the toric h-vector of a cube, and may be used to prove that the nonnegativity of the toric h-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes. Nous introduisons le polynôme torique court associé à un ensemble ordonné Eulérien. Ce polynôme contient la même information que le couple de polynômes toriques de Stanley, mais il permet des manipulations algébriques différentes. La récurrence entrecroisée de Stanley peut être remplacée par une seule récurrence dans laquelle le degré des termes écartés est indépendant du rang. La variante torique courte de la formule de Bayer et Ehrenborg, qui exprime le vecteur torique d'un ensemble ordonné Eulérien en termes de son cd-index, est énoncée sous une forme qui ne dépend pas du rang et qui peut être démontrée en utilisant une énumération des chemins pondérés et le principe de réflexion. Nous utilisons nos techniques pour dériver une formule exprimant le vecteur h-torique d'un ensemble ordonné Eulérien dont le dual est simplicial, en termes de son f-vecteur. Cette formule implique la formule de Gessel pour le vecteur h-torique d'un cube, et elle peut être utilisée pour démontrer que la positivité du vecteur h-torique d'un polytope simple est une conséquence du Théorème de la Borne Inférieure Généralisé appliqué aux polytopes simpliciaux.

scholarly journals Packing Plane Perfect Matchings into a Point Set

2015 ◽  
Vol Vol. 17 no.2 (Graph Theory) ◽  
Author(s):  
Ahmad Biniaz ◽  
Prosenjit Bose ◽  
Anil Maheshwari ◽  
Michiel Smid
Keyword(s):  
Lower Bound ◽  
General Position ◽  
Perfect Matchings ◽  
Point Sets ◽  
Exact Answer ◽  
International Audience ◽  
Point Set

International audience Given a set $P$ of $n$ points in the plane, where $n$ is even, we consider the following question: How many plane perfect matchings can be packed into $P$? For points in general position we prove the lower bound of &#x230A;log<sub>2</sub>$n$&#x230B;$-1$. For some special configurations of point sets, we give the exact answer. We also consider some restricted variants of this problem.

scholarly journals On Compact Encoding of Pagenumber $k$ Graphs

2008 ◽  
Vol Vol. 10 no. 3 ◽  
Author(s):  
Cyril Gavoille ◽  
Nicolas Hanusse
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Constant Time ◽  
Worst Case ◽  
Encoding Scheme ◽  
Information Theoretic ◽  
Auxiliary Table ◽  
Minimum Number ◽  
International Audience

International audience In this paper we show an information-theoretic lower bound of kn - o(kn) on the minimum number of bits to represent an unlabeled simple connected n-node graph of pagenumber k. This has to be compared with the efficient encoding scheme of Munro and Raman of 2kn + 2m + o(kn+m) bits (m the number of edges), that is 4kn + 2n + o(kn) bits in the worst-case. For m-edge graphs of pagenumber k (with multi-edges and loops), we propose a 2mlog2k + O(m) bits encoding improving the best previous upper bound of Munro and Raman whenever m ≤ 1 / 2kn/log2 k. Actually our scheme applies to k-page embedding containing multi-edge and loops. Moreover, with an auxiliary table of o(m log k) bits, our coding supports (1) the computation of the degree of a node in constant time, (2) adjacency queries with O(logk) queries of type rank, select and match, that is in O(logk *minlogk / loglogm, loglogk) time and (3) the access to δ neighbors in O(δ) runs of select, rank or match;.

scholarly journals On the density and the structure of the Peirce-like formulae

2008 ◽  
Vol DMTCS Proceedings vol. AI,... (Proceedings) ◽  
Author(s):  
Antoine Genitrini ◽  
Jakub Kozik ◽  
Grzegorz Matecki
Keyword(s):  
Finite Number ◽  
Upper Bound ◽  
Large Family ◽  
Partial Answer ◽  
International Audience ◽  
Almost All

International audience Within the language of propositional formulae built on implication and a finite number of variables $k$, we analyze the set of formulae which are classical tautologies but not intuitionistic (we call such formulae - Peirce's formulae). We construct the large family of so called simple Peirce's formulae, whose sequence of densities for different $k$ is asymptotically equivalent to the sequence $\frac{1}{ 2 k^2}$. We prove that the densities of the sets of remaining Peirce's formulae are asymptotically bounded from above by $\frac{c}{ k^3}$ for some constant $c \in \mathbb{R}$. The result justifies the statement that in the considered language almost all Peirce's formulae are simple. The result gives a partial answer to the question stated in the recent paper by H. Fournier, D. Gardy, A. Genitrini and M. Zaionc - although we have not proved the existence of the densities for Peirce's formulae, our result gives lower and upper bound for it (if it exists) and both bounds are asymptotically equivalent to $\frac{1}{ 2 k^2}$.

scholarly journals On Riemann zeta-function and allied questions-II

1995 ◽  
Vol Volume 18 ◽  
Author(s):  
R Balasubramanian ◽  
K Ramachandra
Keyword(s):  
Lower Bound ◽  
Zeta Function ◽  
Riemann Zeta Function ◽  
Mean Value ◽  
Dirichlet Polynomials ◽  
International Audience ◽  
Riemann Zeta ◽  
The Mean

International audience In this paper, two conjectures on the mean value of Dirichlet polynomials are given and are shown to imply good lower bound for $\int_H^{T+H}\vert\zeta(\frac{1}{2}+it)^k\vert^2\,dt$, uniform in $k$ and independent of $T$.

scholarly journals An extremal problem for a graphic sequence to have a realization containing every 2-tree with prescribed size

2016 ◽  
Vol Vol. 17 no. 3 (Graph Theory) ◽  
Author(s):  
De-Yan Zeng ◽  
Jian-Hua Yin
Keyword(s):  
Lower Bound ◽  
Extremal Problem ◽  
Simple Graph ◽  
Graphic Sequence ◽  
International Audience

International audience A graph $G$ is a $2$<i>-tree</i> if $G=K_3$, or $G$ has a vertex $v$ of degree 2, whose neighbors are adjacent, and $G-v$ is a 2-tree. Clearly, if $G$ is a 2-tree on $n$ vertices, then $|E(G)|=2n-3$. A non-increasing sequence $\pi =(d_1, \ldots ,d_n)$ of nonnegative integers is a <i>graphic sequence</i> if it is realizable by a simple graph $G$ on $n$ vertices. Yin and Li (Acta Mathematica Sinica, English Series, 25(2009)795&#x2013;802) proved that if $k \geq 2$, $n \geq \frac{9}{2}k^2 + \frac{19}{2}k$ and $\pi =(d_1, \ldots ,d_n)$ is a graphic sequence with $\sum \limits_{i=1}^n d_i > (k-2)n$, then $\pi$ has a realization containing every tree on $k$ vertices as a subgraph. Moreover, the lower bound $(k-2)n$ is the best possible. This is a variation of a conjecture due to Erd&#x0151;s and S&oacute;s. In this paper, we investigate an analogue extremal problem for 2-trees and prove that if $k \geq 3$, $n \geq 2k^2-k$ and $\pi =(d_1, \ldots ,d_n)$ is a graphic sequence with $\sum \limits_{i=1}^n d_i > \frac{4kn}{3} - \frac{5n}{3}$ then $\pi$ has a realization containing every 2-tree on $k$ vertices as a subgraph. We also show that the lower bound $\frac{4kn}{3} - \frac{5n}{3}$ is almost the best possible.

scholarly journals Partial Quicksort and Quickpartitionsort

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
Conrado Martínez ◽  
Uwe Rösler
Keyword(s):  
Lower Bound ◽  
Time Analysis ◽  
Information Theoretic ◽  
Running Time ◽  
Running Time Analysis ◽  
International Audience

International audience Partial Quicksort sorts the $l$ smallest elements in a list of length $n$. We provide a complete running time analysis for this combination of Find and Quicksort. Further we give some optimal adapted versions, called Partition Quicksort, with an asymptotic running time $c_1l\ln l+c_2l+n+o(n)$. The constant $c_1$ can be as small as the information theoretic lower bound $\log_2 e$.

scholarly journals Distribution-sensitive set multi-partitioning

2005 ◽  
Vol DMTCS Proceedings vol. AD,... (Proceedings) ◽  
Author(s):  
Amr Elmasry
Keyword(s):  
Lower Bound ◽  
Decision Tree ◽  
Decision Tree Model ◽  
Tree Model ◽  
Different Types ◽  
International Audience ◽  
Partitioning Problem

International audience Given a set $\mathcal{S}$ with real-valued members, associated with each member one of two possible types; a multi-partitioning of $\mathcal{S}$ is a sequence of the members of $\mathcal{S}$ such that if $x,y \in \mathcal{S}$ have different types and $x < y$, $x$ precedes $y$ in the multi-partitioning of $\mathcal{S}$. We give two distribution-sensitive algorithms for the set multi-partitioning problem and a matching lower bound in the algebraic decision-tree model. One of the two algorithms can be made stable and can be implemented in place. We also give an output-sensitive algorithm for the problem.

Sign in / Sign up

Export Citation Format

Share Document