Exploració per tema "Lower bounds"

Ara es mostren els items 1-8 de 8

    • Far-field errors due to random noise in cylindrical near-field measurements 

      Romeu Robert, Jordi; Jofre Roca, Lluís; Cardama Aznar, Ángel (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 1992-01-31)
      Article
      Accés obert
      A full characterization of the far-field noise obtained from cylindrical near-field to far-field transformation, for a white Gaussian, space stationary, near-field noise is derived. A possible source for such noise is the ...

    • Frege systems for quantified Boolean logic 

      Beyersdorffm, Olaf; Bonacina, Ilario; Chew, Leroy; Pich, Ján (2020-05-09)
      Article
      Accés obert
      We define and investigate Frege systems for quantified Boolean formulas (QBF). For these new proof systems, we develop a lower bound technique that directly lifts circuit lower bounds for a circuit class C to the QBF Frege ...

    • Inserting one edge into a simple drawing is hard 

      Arroyo, Alan; Klute, Fabian; Parada Muñoz, Irene María de; Vogtenhuber, Birgit; Seidel, Raimund; Wiedera, Tilo (Springer Nature, 2022-08-13)
      Article
      Accés obert
      A simple drawing D(G) of a graph G is one where each pair of edges share at most one point: either a common endpoint or a proper crossing. An edge e in the complement of G can be inserted into D(G) if there exists a simple ...

    • Lower bounds for DNF-refutations of a relativized weak pigeonhole principle 

      Atserias, Albert; Müller, Moritz; Oliva Valls, Sergi (Institute of Electrical and Electronics Engineers (IEEE), 2013)
      Text en actes de congrés
      Accés obert
      The relativized weak pigeonhole principle states that if at least 2n out of n2 pigeons fly into n holes, then some hole must be doubly occupied. We prove that every DNF-refutation of the CNF encoding of this principle ...

    • Lower bounds of end effects for a nonhomogeneous isotropic linear elastic solid in anti-plane shear 

      Leseduarte Milán, María Carme; Quintanilla de Latorre, Ramón (2015-02-01)
      Article
      Accés obert
      In this paper we give lower bounds for the spatial decay of the solutions for anti-plane shear deformations in the case of isotropic inhomogeneous elastic materials. We first consider the case when the shear modulus only ...

    • Separating bichromatic point sets in the plane by restricted orientation convex hulls 

      Alegría Galicia, Carlos; Orden Martin, David; Seara Ojea, Carlos; Urrutia Galicia, Jorge (2023-04-01)
      Article
      Accés obert
      We explore the separability of point sets in the plane by a restricted-orientation convex hull, which is an orientation-dependent, possibly disconnected, and non-convex enclosing shape that generalizes the convex hull. Let ...

    • Size-degree trade-offs for Sums-of-Squares and Positivstellensatz proofs 

      Atserias, Albert; Hakoniemi, Tuomas Antero (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019)
      Text en actes de congrés
      Accés obert
      We show that if a system of degree-k polynomial constraints on n Boolean variables has a Sums-of-Squares (SOS) proof of unsatisfiability with at most s many monomials, then it also has one whose degree is of the order of ...

    • Trade-offs between time and memory in a tighter model of CDCL SAT solvers 

      Elffers, J.; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc (2016)
      Text en actes de congrés
      Accés obert
      A long line of research has studied the power of conflict- driven clause learning (CDCL) and how it compares to the resolution proof system in which it searches for proofs. It has been shown that CDCL can polynomially ...