Examples with "polynomial classes" and their translation in Frans
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Then we study reasoning problems: we give a generic algorithm for abduction, which enables us to exhibit new polynomial classes, and we give first results about this process for the case when the knowledge base is approximate.
Nous étudions ensuite des problèmes de raisonnement : nous donnons un algorithme général pour l'abduction, qui nous permet d'exhiber de nouvelles classes polynomiales, et posons de premières pierres pour l'étude de ce processus lorsque la base de connaissances est approximative.
Creignou and Hébrard proved that the polynomial classes for the non-trivial sat problem are exactly those for the enumeration problem.
La dichotomie de Creignou et Hébrard prouve déjà l'équivalence entre les classes polynomiales pour la décision non triviale et celles pour l'énumération.
Creignou and Hébrard proved that the polynomial classes for the non-trivial sat problem are exactly those for the enumeration problem.
La dichotomie de Creignou et Hébrard prouve déjà l'équivalence entre les classes polynomiales pour la décision non triviale et celles pour l'énumération.
Andere resultaten
We obtain by doing so new implicit characterizations of sub-polynomial classes of complexity.
This assumption is probably optimal, and in any way strictly includes all classes of polynomials previously treated.
Cette hypothèse est probablement optimale et en tout cas contient strictement toutes les classes de polynômes déjà traitées antérieurement.
In this thesis, we obtain some asymptotic formulas for the number of representations of friable integers by various classes of polynomials.
Dans cette thèse, nous obtenons des formules asymptotiques pour le nombre de représentations des entiers friables par différentes familles de polynômes.
The algorithm provides an equitable solution in polynomial time for wide classes of performance functions.
L'algorithme permet d'obtenir une solution équitable en temps polynomial pour de vastes classes de fonctions de performance.
In the last of the 70s, Valiant defined (similarly to the boolean complexity) some classes of polynomials.
À la fin des années 70, Valiant a défini (de manière semblable à la complexité booléenne) des classes de polynômes.
the constraints include link capacity constraints and tree-like ordering constraints imposed on each of the programs. the algorithm provides an equitable solution in polynomial time for wide classes of performance functions
parmi les contraintes se trouvent des contraintes de capacité des lignes et des contraintes de classement arborescent imposées à chacun des programmes. l'algorithme permet d'obtenir une solution équitable en temps polynomial pour de vastes classes de fonctions de performance
Abstract: Every property definable in \emph{monadic second order logic} can be checked in polynomial-time on graph classes of bounded \emph{clique-width}.
Résumé : Tous les problèmes définissables en \emph{logique monadique du second ordre} peuvent être résolus en temps polynomial dans les classes de graphes qui ont une \emph{largeur de clique} bornée.
There are multiple equivalent definitions of the classes of the polynomial hierarchy.
Il existe plusieurs définitions équivalentes des classes de la hiérarchie polynomiale.
This work focuses on the study of classes of terms for which parsing can still be solved in polynomial time.
Nous proposons d'étudier des classes de termes pour lesquels l'analyse grammaticale reste solvable en temps polynomial.
We consider some classes of graph where finding an optimum d-extensible set can be done in polynomial time.
Nous étudions quelques classes de graphes dans lesquelles déterminer un d-extensible optimal de stables est un problème polynomial.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.