Search results for "complexi"
showing 10 items of 1116 documents
Almost disjoint spanning trees
2016
International audience; In this extended abstract, we only consider connected graphs. Let k ≥ 2 be an integer and T 1 ,. .. , T k be spanning trees in a graph G. A vertex is said to be an inner vertex in a tree T if it has degree at least 2 in T. We denote by I(T) the set of inner vertices of tree T. The spanning trees T 1 ,. .. , T k are completely independent spanning trees if any vertex from G is an inner vertex in at most one tree among T 1 ,. .. , T k and the trees T 1 ,. .. , T k are pairwise edge-disjoint. Completely independent spanning trees were introduced by Hasunuma [4] and then have been studied on different classes of graphs, such as underlying graphs of line graphs [4], maxim…
Recherche d'arbres couvrants complètement indépendants dans des graphes réguliers
2014
International audience; Nous étudions l'existence de $r$ arbres couvrants complètement indépendants dans des graphes $2r$-réguliers et $2r$-connexes, et énonçons des conditions nécessaires à leur existence. Nous déterminons le nombre maximum d'arbres dans les produits cartésiens d'une clique et d'un cycle. Nous montrons que ce nombre n'est pas toujours $r$.
Scheduling stretched coupled-tasks with compatibilities constraints : model, complexity and approximation results for some class of graphs
2014
We tackle the makespan minimization coupled-tasks problem in presence of compatibility constraints. In particular, we focus on stretched coupled-tasks, {\it i.e.}coupled-tasks having the same sub-tasks execution time and idle time duration. We study severals problems in frame works of classic complexity and approximation for which the compatibility graph $G_c$ is bipartite (star, chain, $\ldots$) In such context, we design some efficient polynomial-time approximation algorithms according to difference parameters of the scheduling problem. When $G_c$ is a $k$-stage bipartite graph, we propose, among other, a $\frac{7}{6}$-approximation algorithm when $k=1$, and a $\frac{13}{9}$-approximation…
Theoretical Aspects of Scheduling Coupled-Tasks in the Presence of Compatibility Graph
2012
International audience; This paper presents a generalization of the coupled-task sche-duling problem introduced by Shapiro \cite{Shapiro}, where considered tasks are subject to incompatibility constraints depicted by an undirected graph. The motivation of this problem comes from data acquisition and processing in a mono-processor torpedo used for underwater exploration. As we add the compatibility graph, we focus on complexity of the problem, and more precisely on the boundary between $\mathcal{P}$ and $\mathcal{NP}$-completeness when some other input parameters are restricted (e.g. the ratio between the durations of the two sub-tasks composing a task): we adapt the global visualization of …
Full CNF Encoding: The Counting Constraints Case
2004
Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding is inefficient, so many authors has proposed specialized algorithms : the pseudo-boolean solvers. In this paper we show that an appropriate pure CNF encoding can be competitive with these specialized methods. In conjunction with our encoding, we propose a slight modification of the DLL procedure that allows any DLL-based SAT solver to solve boolean cardinality optimization problems. We show experimentally that our encoding allows zchaff to be competitive with pseudo-boolean solvers on some decision and optimization problem…
A Translation of Pseudo Boolean Constraints to SAT
2006
Research note; This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the produced formula can be exponentially related to the size of the input constraint, but some important classes of pseudo-Boolean constraints, including Boolean cardinality constraints, are encoded in polynomial time and size. The proposed encoding was integrated in a solver based on the zCha SAT solver and submitted to the PB05 evaluation. The results provide new perspectives in the field of full CNF approach of pseudo-Boolean constraints solving.
Mollusc shellomes: Past, present and future.
2020
13 pages; International audience; In molluscs, the shell fabrication requires a large array of secreted macromolecules including proteins and polysaccharides. Some of them are occluded in the shell during mineralization process and constitute the shell repertoire. The protein moieties, also called shell proteomes or, more simply, 'shellomes', are nowadays analyzed via high-throughput approaches. These latter, applied so far on about thirty genera, have evidenced the huge diversity of shellomes from model to model. They also pinpoint the recurrent presence of functional domains of diverse natures. Shell proteins are not only involved in guiding the mineral deposition, but also in enzymatic a…
Le paysage et les pratiques agricoles affectent les carabes régulateurs des adventices, e façon directe ou en modulant la disponibilit´e de leurs res…
2021
National audience; Les carabes sont des agents de lutte biologique importants qui contribuent au service´ecosyst´emique de r´egulation du stock semencier des adventices gr^ace `a la pr´edation desgraines. Pour encourager l’adoption de ce service par les agriculteurs, il est crucial d’´evaluerla contribution des carabes `a cette r´egulation, et de mieux comprendre les d´eterminants deleur pr´esence dans les parcelles. La complexit´e du paysage et l’intensit´e de la gestion agricole peuvent directement affecter les carabes. Cet effet peut ´egalement ^etre indirect, via unemodulation des ressources trophiques disponibles pour les carabes, bien que peu d´ecrit dansla litt´erature.Nous avons ´ev…
Disentangling local agronomic practices from agricultural landscape effects on pest biological control
2019
International audience; The biological control of crop pests is a valuable service provided by various beneficial organisms that are naturally present in agricultural landscapes. Semi-natural habitats has long been recognized as essential to preserve beneficial insects, but proof of their efficiency to enhance biological control of pests remains non conclusive. Here, we examined the variability of landscape effect on biological pest control and the way local agronomic practices may modulate it. Biological pest control was monitored in 80 commercial fields (arable crops and orchards) during three consecutive years in four contrasting French agricultural landscapes distributed along a double …
Un exemple d'effets de dominos : la panique dans les catastrophes urbaines
2005
International audience; Dans le cadre de cet article, nous proposons d'étudier les effets de dominos, une des sources de complexité des risques et des catastrophes. Ces derniers émergent tout particulièrement lors de catastrophes urbaines. Ils sont considérés comme essentiels par la majorité de nos devanciers. Mais malgré ce poids accordé aux effets dominos en milieu urbain par tous les spécialistes des risques, il semble que peu de modèles les mettent réellement en situation. La modélisation en dynamique de système permettant d'appréhender cette complexité, elle a été retenue pour construire un modèle de catastrophe. Elle est mise en pratique avec le logiciel Stella Research pour simuler u…