scholarly journals Ramsey-type theorems for lines in 3-space

2016 ◽  
Vol Vol. 18 no. 3 (Combinatorics) ◽  
Author(s):  
Jean Cardinal ◽  
Michael S. Payne ◽  
Noam Solomon
Keyword(s):  
Lower Bounds ◽  
Polynomial Time ◽  
General Position ◽  
Independent Set ◽  
Independent Sets ◽  
Intersection Graph ◽  
Sparse Graphs ◽  
Polynomial Time Algorithms ◽  
Ramsey Type ◽  
Point Line

We prove geometric Ramsey-type statements on collections of lines in 3-space. These statements give guarantees on the size of a clique or an independent set in (hyper)graphs induced by incidence relations between lines, points, and reguli in 3-space. Among other things, we prove that: (1) The intersection graph of n lines in R^3 has a clique or independent set of size Omega(n^{1/3}). (2) Every set of n lines in R^3 has a subset of n^{1/2} lines that are all stabbed by one line, or a subset of Omega((n/log n)^{1/5}) such that no 6-subset is stabbed by one line. (3) Every set of n lines in general position in R^3 has a subset of Omega(n^{2/3}) lines that all lie on a regulus, or a subset of Omega(n^{1/3}) lines such that no 4-subset is contained in a regulus. The proofs of these statements all follow from geometric incidence bounds -- such as the Guth-Katz bound on point-line incidences in R^3 -- combined with Tur\'an-type results on independent sets in sparse graphs and hypergraphs. Although similar Ramsey-type statements can be proved using existing generic algebraic frameworks, the lower bounds we get are much larger than what can be obtained with these methods. The proofs directly yield polynomial-time algorithms for finding subsets of the claimed size. Comment: 18 pages including appendix

scholarly journals Lower Bounds for Maximal Matchings and Maximal Independent Sets

2021 ◽  
Vol 68 (5) ◽  
pp. 1-30
Author(s):  
Alkida Balliu ◽  
Sebastian Brandt ◽  
Juho Hirvonen ◽  
Dennis Olivetti ◽  
Mikaël Rabie ◽  
...  
Keyword(s):  
Lower Bounds ◽  
Independent Set ◽  
Independent Sets ◽  
Deterministic Algorithm ◽  
Upper Bounds ◽  
Upper And Lower Bounds ◽  
Maximal Independent Set ◽  
Maximal Matching ◽  
Maximal Independent Sets ◽  
Open Question

There are distributed graph algorithms for finding maximal matchings and maximal independent sets in O ( Δ + log * n ) communication rounds; here, n is the number of nodes and Δ is the maximum degree. The lower bound by Linial (1987, 1992) shows that the dependency on n is optimal: These problems cannot be solved in o (log * n ) rounds even if Δ = 2. However, the dependency on Δ is a long-standing open question, and there is currently an exponential gap between the upper and lower bounds. We prove that the upper bounds are tight. We show that any algorithm that finds a maximal matching or maximal independent set with probability at least 1-1/ n requires Ω (min { Δ , log log n / log log log n }) rounds in the LOCAL model of distributed computing. As a corollary, it follows that any deterministic algorithm that finds a maximal matching or maximal independent set requires Ω (min { Δ , log n / log log n }) rounds; this is an improvement over prior lower bounds also as a function of  n .

Strong vb-dominating and vb-independent sets of a graph

2019 ◽  
Vol 12 (01) ◽  
pp. 2050002 ◽  
Author(s):  
Sayinath Udupa ◽  
R. S. Bhat
Keyword(s):  
Lower Bounds ◽  
Dominating Set ◽  
Independence Number ◽  
Domination Number ◽  
Independent Set ◽  
Independent Sets ◽  
Upper And Lower Bounds ◽  
Number Formula

Let [Formula: see text] be a graph. A vertex [Formula: see text] strongly (weakly) b-dominates block [Formula: see text] if [Formula: see text] ([Formula: see text]) for every vertex [Formula: see text] in the block [Formula: see text]. A set [Formula: see text] is said to be strong (weak) vb-dominating set (SVBD-set) (WVBD-set) if every block in [Formula: see text] is strongly (weakly) b-dominated by some vertex in [Formula: see text]. The strong (weak) vb-domination number [Formula: see text] ([Formula: see text]) is the order of a minimum SVBD (WVBD) set of [Formula: see text]. A set [Formula: see text] is said to be strong (weak) vertex block independent set (SVBI-set (WVBI-set)) if [Formula: see text] is a vertex block independent set and for every vertex [Formula: see text] and every block [Formula: see text] incident on [Formula: see text], there exists a vertex [Formula: see text] in the block [Formula: see text] such that [Formula: see text] ([Formula: see text]). The strong (weak) vb-independence number [Formula: see text] ([Formula: see text]) is the cardinality of a maximum strong (weak) vertex block independent set (SVBI-set) (WVBI-set) of [Formula: see text]. In this paper, we investigate some relationships between these four parameters. Several upper and lower bounds are established. In addition, we characterize the graphs attaining some of the bounds.

scholarly journals Independent sets in (P₆, diamond)-free graphs

2009 ◽  
Vol Vol. 11 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Raffaele Mosca
Keyword(s):  
Polynomial Time ◽  
Dominating Set ◽  
Minimum Weight ◽  
Independent Set ◽  
Independent Sets ◽  
Maximum Weight ◽  
Independent Set Problem ◽  
International Audience ◽  
Dominating Set Problem ◽  
Independent Dominating Set

Graphs and Algorithms International audience We prove that on the class of (P6,diamond)-free graphs the Maximum-Weight Independent Set problem and the Minimum-Weight Independent Dominating Set problem can be solved in polynomial time.

scholarly journals Generating All Maximal Independent Sets: NP-Hardness and Polynomial-Time Algorithms

1980 ◽  
Vol 9 (3) ◽  
pp. 558-565 ◽  
Author(s):  
E. L. Lawler ◽  
J. K. Lenstra ◽  
A. H. G. Rinnooy Kan
Keyword(s):  
Polynomial Time ◽  
Independent Sets ◽  
Polynomial Time Algorithms ◽  
Maximal Independent Sets ◽  
Np Hardness

ALGORITHMS ON SUBGRAPH OVERLAP GRAPHS

2014 ◽  
Vol 06 (02) ◽  
pp. 1450018 ◽  
Author(s):  
FANICA GAVRIL
Keyword(s):  
Polynomial Time ◽  
Intersection Graph ◽  
Maximum Weight ◽  
Intersection Graphs ◽  
Polynomial Time Algorithms ◽  
The Family ◽  
Overlap Graphs ◽  
Hereditary Properties

Consider a graph D and a family FI of connected edge subgraphs of D. Let GI(V, F) be the intersection graph of FI and G the overlap graph of FI. We describe polynomial time algorithms for subgraph overlap graphs G when their intersection graphs GI have specific hereditary properties. The algorithms are to find maximum induced complete bipartite subgraphs, maximum weight holes of a given parity, minimum dominating holes, antiholes of a given parity and some others. In addition, we define the family of subgraph filament graphs based on D, FI and GI, and prove it to be the same as the family of subgraph overlap graphs.

scholarly journals k-Approximate Quasiperiodicity Under Hamming and Edit Distance

Algorithmica ◽  
2021 ◽  
Author(s):  
Aleksander Kędzierski ◽  
Jakub Radoszewski
Keyword(s):  
Lower Bounds ◽  
Polynomial Time ◽  
Edit Distance ◽  
Hamming Distance ◽  
Efficient Algorithms ◽  
Np Hard ◽  
Total Cost ◽  
Polynomial Time Algorithms ◽  
Np Hardness

AbstractQuasiperiodicity in strings was introduced almost 30 years ago as an extension of string periodicity. The basic notions of quasiperiodicity are cover and seed. A cover of a text T is a string whose occurrences in T cover all positions of T. A seed of text T is a cover of a superstring of T. In various applications exact quasiperiodicity is still not sufficient due to the presence of errors. We consider approximate notions of quasiperiodicity, for which we allow approximate occurrences in T with a small Hamming, Levenshtein or weighted edit distance. In previous work Sim et al. (J Korea Inf Sci Soc 29(1):16–21, 2002) and Christodoulakis et al. (J Autom Lang Comb 10(5/6), 609–626, 2005) showed that computing approximate covers and seeds, respectively, under weighted edit distance is NP-hard. They, therefore, considered restricted approximate covers and seeds which need to be factors of the original string T and presented polynomial-time algorithms for computing them. Further algorithms, considering approximate occurrences with Hamming distance bounded by k, were given in several contributions by Guth et al. They also studied relaxed approximate quasiperiods. We present more efficient algorithms for computing restricted approximate covers and seeds. In particular, we improve upon the complexities of many of the aforementioned algorithms, also for relaxed quasiperiods. Our solutions are especially efficient if the number (or total cost) of allowed errors is small. We also show conditional lower bounds for computing restricted approximate covers and prove NP-hardness of computing non-restricted approximate covers and seeds under the Hamming distance.

scholarly journals Counting Independent Sets in Hypergraphs

2014 ◽  
Vol 23 (4) ◽  
pp. 539-550 ◽  
Author(s):  
JEFF COOPER ◽  
KUNAL DUTTA ◽  
DHRUV MUBAYI
Keyword(s):  
Recent Result ◽  
Lower Bounds ◽  
Independent Set ◽  
Independent Sets ◽  
Average Degree ◽  
General Statement ◽  
Free Graph ◽  
Hereditary Properties ◽  
Image Position ◽  
Linear Hypergraph

Let G be a triangle-free graph with n vertices and average degree t. We show that G contains at least ${\exp\biggl({1-n^{-1/12})\frac{1}{2}\frac{n}{t}\ln t} \biggl(\frac{1}{2}\ln t-1\biggr)\biggr)}$ independent sets. This improves a recent result of the first and third authors [8]. In particular, it implies that as n → ∞, every triangle-free graph on n vertices has at least ${e^{(c_1-o(1)) \sqrt{n} \ln n}}$ independent sets, where $c_1 = \sqrt{\ln 2}/4 = 0.208138 \ldots$. Further, we show that for all n, there exists a triangle-free graph with n vertices which has at most ${e^{(c_2+o(1))\sqrt{n}\ln n}}$ independent sets, where $c_2 = 2\sqrt{\ln 2} = 1.665109 \ldots$. This disproves a conjecture from [8].Let H be a (k+1)-uniform linear hypergraph with n vertices and average degree t. We also show that there exists a constant ck such that the number of independent sets in H is at least ${\exp\biggl({c_{k} \frac{n}{t^{1/k}}\ln^{1+1/k}{t}\biggr})}.$ This is tight apart from the constant ck and generalizes a result of Duke, Lefmann and Rödl [9], which guarantees the existence of an independent set of size $\Omega\biggl(\frac{n}{t^{1/k}} \ln^{1/k}t\biggr).$ Both of our lower bounds follow from a more general statement, which applies to hereditary properties of hypergraphs.

scholarly journals A Threshold Phenomenon for Random Independent Sets in the Discrete Hypercube

2010 ◽  
Vol 20 (1) ◽  
pp. 27-51 ◽  
Author(s):  
DAVID GALVIN
Keyword(s):  
Partition Function ◽  
Long Range ◽  
Lower Bounds ◽  
Hard Core ◽  
Independent Set ◽  
Independent Sets ◽  
Upper And Lower Bounds ◽  
Specific Information ◽  
Sharp Transition ◽  
Threshold Phenomenon

Let I be an independent set drawn from the discrete d-dimensional hypercube Qd = {0, 1}d according to the hard-core distribution with parameter λ > 0 (that is, the distribution in which each independent set I is chosen with probability proportional to λ|I|). We show a sharp transition around λ = 1 in the appearance of I: for λ > 1, min{|I ∩ Ɛ|, |I ∩ |} = 0 asymptotically almost surely, where Ɛ and are the bipartition classes of Qd, whereas for λ < 1, min{|I ∩ Ɛ|, |I ∩ |} is asymptotically almost surely exponential in d. The transition occurs in an interval whose length is of order 1/d.A key step in the proof is an estimation of Zλ(Qd), the sum over independent sets in Qd with each set I given weight λ|I| (a.k.a. the hard-core partition function). We obtain the asymptotics of Zλ(Qd) for $\gl>\sqrt{2}-1$, and nearly matching upper and lower bounds for $\gl \leq \sqrt{2}-1$, extending work of Korshunov and Sapozhenko. These bounds allow us to read off some very specific information about the structure of an independent set drawn according to the hard-core distribution.We also derive a long-range influence result. For all fixed λ > 0, if I is chosen from the independent sets of Qd according to the hard-core distribution with parameter λ, conditioned on a particular v ∈ Ɛ being in I, then the probability that another vertex w is in I is o(1) for w ∈ but Ω(1) for w ∈ Ɛ.

scholarly journals Independent Transversals and Independent Coverings in Sparse Partite Graphs

1997 ◽  
Vol 6 (1) ◽  
pp. 115-125 ◽  
Author(s):  
RAPHAEL YUSTER
Keyword(s):  
Lower Bounds ◽  
Pairwise Disjoint ◽  
Independent Set ◽  
Independent Sets ◽  
Upper And Lower Bounds ◽  
Vertex Set

An [n, k, r]-partite graph is a graph whose vertex set, V, can be partitioned into n pairwise-disjoint independent sets, V1, …, Vn, each containing exactly k vertices, and the subgraph induced by Vi ∪ Vj contains exactly r independent edges, for 1 [les ] i < j [les ] n. An independent transversal in an [n, k, r]-partite graph is an independent set, T, consisting of n vertices, one from each Vi. An independent covering is a set of k pairwise-disjoint independent transversals. Let t(k, r) denote the maximal n for which every [n, k, r]-partite graph contains an independent transversal. Let c(k, r) be the maximal n for which every [n, k, r]-partite graph contains an independent covering. We give upper and lower bounds for these parameters. Furthermore, our bounds are constructive. These results improve and generalize previous results of Erdo″s, Gyárfás and Łuczak [5], for the case of graphs.

scholarly journals Characterization and recognition of P4-sparse graphs partitionable into k independent sets and ℓ cliques

2011 ◽  
Vol 159 (4) ◽  
pp. 165-173 ◽  
Author(s):  
Raquel S.F. Bravo ◽  
Sulamita Klein ◽  
Loana Tito Nogueira ◽  
Fábio Protti
Keyword(s):  
Independent Sets ◽  
Sparse Graphs
Sign in / Sign up

Export Citation Format

Share Document