A new approach to proving upper bounds for MAX-2-SAT

Author(s):  
Arist Kojevnikov ◽  
Alexander S. Kulikov
Keyword(s):  
Author(s):  
ALI EBRAHIMNEJAD ◽  
SEYED HADI NASSERI ◽  
FARHAD HOSSEINZADEH LOTFI

Recently Ganesan and Veeramani introduced a new approach for solving a kind of linear programming problems involving symmetric trapezoidal fuzzy numbers without converting them to the crisp linear programming problems. But their approach is not efficient for situations in which some or all variables are restricted to lie within fuzzy lower and fuzzy upper bounds. In this paper, by a natural extension of their approach we obtain some new results leading to a new method to overcome this shortcoming.


Author(s):  
Sarah Morell ◽  
Martin Skutella

AbstractIn a digraph with a source and several destination nodes with associated demands, an unsplittable flow routes each demand along a single path from the common source to its destination. Given some flow x that is not necessarily unsplittable but satisfies all demands, it is a natural question to ask for an unsplittable flow y that does not deviate from x by too much, i.e., $$y_a\approx x_a$$ y a ≈ x a for all arcs a. Twenty years ago, in a landmark paper, Dinitz et al. (Combinatorica 19:17–41, 1999) proved that there exists an unsplittable flow y such that $$y_a\le x_a+d_{\max }$$ y a ≤ x a + d max for all arcs a, where $$d_{\max }$$ d max denotes the maximum demand value. Our first contribution is a considerably simpler one-page proof for this classical result, based upon an entirely new approach. Secondly, using a subtle variant of this approach, we obtain a new result: There is an unsplittable flow y such that $$y_a\ge x_a-d_{\max }$$ y a ≥ x a - d max for all arcs a. Finally, building upon an iterative rounding technique previously introduced by Kolliopoulos and Stein (SIAM J Comput 31:919–946, 2002) and Skutella (Math Program 91:493–514, 2002), we prove existence of an unsplittable flow that simultaneously satisfies the upper and lower bounds for the special case when demands are integer multiples of each other. For arbitrary demand values, we prove the weaker simultaneous bounds $$x_a/2-d_{\max }\le y_a\le 2x_a+d_{\max }$$ x a / 2 - d max ≤ y a ≤ 2 x a + d max for all arcs a.


Paleobiology ◽  
1994 ◽  
Vol 20 (4) ◽  
pp. 459-469 ◽  
Author(s):  
Charles R. Marshall

The equations for calculating classical confidence intervals on the end points of stratigraphic ranges are based on the restrictive assumption of randomly distributed fossil finds. Herein, a method is presented for calculating confidence intervals on the end-points of stratigraphic ranges that partially relaxes this assumption: the method will work for any continuous distribution of gap sizes, not just those generated by random processes. The price paid for the generality of the new approach is twofold: (1) there are uncertainties associated with the sizes of the confidence intervals, and (2) for large confidence values (e.g., 95%) a rich fossil record is required to place upper bounds on the corresponding confidence intervals. This new method is not universal; like the method for calculating classical confidence intervals it is based on the assumption that there is no correlation between gap size and stratigraphic position. The fossil record of the Neogene Caribbean bryozoan Metrarabdotos is analyzed with the new approach. The equations developed here, like those for classical confidence intervals, should not be applied to stratigraphic ranges based on discrete sampling regimes, such as those typically established from deep-sea drilling cores, though there are exceptions to this rule.


2015 ◽  
Vol 270 ◽  
pp. 302-374 ◽  
Author(s):  
Salahaddine Boutayeb ◽  
Thierry Coulhon ◽  
Adam Sikora

2017 ◽  
Author(s):  
Michael EG Sauria ◽  
James Taylor

AbstractHi-C has revolutionized global interrogation of chromosome conformation, however there are few tools to assess the reliability of individual experiments. Here we present a new approach, QuASAR, for measuring quality within and between Hi-C samples. We show that QuASAR can detect even tiny fractions of noise and estimate both return on additional sequencing and quality upper bounds. We also demonstrate QuASAR's utility in measuring replicate agreement across feature resolutions. Finally, QuASAR can estimate resolution limits based on both internal and replicate quality scores. QuASAR provides an objective means of Hi-C sample comparison while providing context and limits to these measures.


1999 ◽  
Vol 08 (06) ◽  
pp. 799-813 ◽  
Author(s):  
A. Stoimenow

We use the new approach of braiding sequences to prove exponential upper bounds for the number of Vassiliev invariants on knots with bounded braid index, bounded bridge number and arborescent knots. We prove, that any Vassiliev invariant of degree k is determined by its values on knots with braid index at most k + 1.


2013 ◽  
Vol 433-435 ◽  
pp. 1131-1135
Author(s):  
Li Li

This paper focuses on the delay-dependent stability analysis and stabilization for T-S fuzzy system systems with state and input delays. Some new and less conservative delay-dependent small stability conditions are explicitly obtained. The upper bounds of time-delays are obtained by using small convex optimization.Finally, a numerical example is included to show the effectiveness.


1999 ◽  
Vol 173 ◽  
pp. 185-188
Author(s):  
Gy. Szabó ◽  
K. Sárneczky ◽  
L.L. Kiss

AbstractA widely used tool in studying quasi-monoperiodic processes is the O–C diagram. This paper deals with the application of this diagram in minor planet studies. The main difference between our approach and the classical O–C diagram is that we transform the epoch (=time) dependence into the geocentric longitude domain. We outline a rotation modelling using this modified O–C and illustrate the abilities with detailed error analysis. The primary assumption, that the monotonity and the shape of this diagram is (almost) independent of the geometry of the asteroids is discussed and tested. The monotonity enables an unambiguous distinction between the prograde and retrograde rotation, thus the four-fold (or in some cases the two-fold) ambiguities can be avoided. This turned out to be the main advantage of the O–C examination. As an extension to the theoretical work, we present some preliminary results on 1727 Mette based on new CCD observations.


Author(s):  
V. Mizuhira ◽  
Y. Futaesaku

Previously we reported that tannic acid is a very effective fixative for proteins including polypeptides. Especially, in the cross section of microtubules, thirteen submits in A-tubule and eleven in B-tubule could be observed very clearly. An elastic fiber could be demonstrated very clearly, as an electron opaque, homogeneous fiber. However, tannic acid did not penetrate into the deep portion of the tissue-block. So we tried Catechin. This shows almost the same chemical natures as that of proteins, as tannic acid. Moreover, we thought that catechin should have two active-reaction sites, one is phenol,and the other is catechole. Catechole site should react with osmium, to make Os- black. Phenol-site should react with peroxidase existing perhydroxide.


Author(s):  
K. Chien ◽  
R. Van de Velde ◽  
I.P. Shintaku ◽  
A.F. Sassoon

Immunoelectron microscopy of neoplastic lymphoma cells is valuable for precise localization of surface antigens and identification of cell types. We have developed a new approach in which the immunohistochemical staining can be evaluated prior to embedding for EM and desired area subsequently selected for ultrathin sectioning.A freshly prepared lymphoma cell suspension is spun onto polylysine hydrobromide- coated glass slides by cytocentrifugation and immediately fixed without air drying in polylysine paraformaldehyde (PLP) fixative. After rinsing in PBS, slides are stained by a 3-step immunoperoxidase method. Cell monolayer is then fixed in buffered 3% glutaraldehyde prior to DAB reaction. After the DAB reaction step, wet monolayers can be examined under LM for presence of brown reaction product and selected monolayers then processed by routine methods for EM and embedded with the Chien Re-embedding Mold. After the polymerization, the epoxy blocks are easily separated from the glass slides by heatingon a 100°C hot plate for 20 seconds.


Sign in / Sign up

Export Citation Format

Share Document