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.
tractable classes
Cela nécessitera la production de nouvelles classes polynomiales qui devront être opérationnelles en pratique.
This will require the production of new tractable classes which should be usable in practice.
Nous étudions aussi la relation entre k-BTP et l'approche de W. Naanaa qui a proposé un outil théorique connu sous le vocable directional rank afin d'étendre les classes polynomiales de manière paramétrée.
We also study the relationship between k-BTP and the approach of Naanaa who proposed a set-theoretical tool, known as the directional rank, to extend tractable classes in a parameterized way.
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.
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.
Le projet TUPLES aborde cette question par le développement et l'exploitation de classes polynomiales ainsi qu'en les envisageant comme outils d'analyse pour expliquer l'efficacité relative des solveurs.
This project addresses this issue through the development and the implementation of tractable classes. Tractable classes will be also used to explain the relative effectiveness of solvers, using them as tools for this theoretical analysis.
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.
Creignou and Hébrard proved that the polynomial classes for the non-trivial sat problem are exactly those for the enumeration problem.
Andere resultaten
On peut écrire une classe polynomiale Il faudrait un tableau de tableaux contenant les coefficients.
One can write a class polynomial that would have an array of tables containing the coefficients.
Une version orientée nous permet ensuite d'étendre la classe polynomiale BTP précédemment définie pour les CSP binaires.
A directional version of the general-arity BTP then allows us to extend the BTP tractable class previously defined only for binary CSP.
Il existe plusieurs définitions équivalentes des classes de la hiérarchie polynomiale.
There are multiple equivalent definitions of the classes of the polynomial hierarchy.
De nombreuses fonctions polynomiales sont classées comme fonctions paires.
Ces méthodes ont suscité un vif intérêt de la part de la communauté scientifique du fait qu'elles soient capables de résoudre en temps polynomial certaines classes d'instances.
These methods have aroused a keen interest from the scientific community because they are able to solve some classes of instances in polynomial time.
La classe PH est l'union de toutes les classes de la hiérarchie polynomiale.
The union of all classes in the polynomial hierarchy is the complexity class PH.
Nous montrons que l'existence d'une règle de pivotage polynomiale pour la méthode du simplexe classique fournirai un algorithme polynomial pour la programmation linéaire tropicale, et donc pour les jeux répétés.
We show that the existence of a polynomial-time pivoting rule for the classical simplex method, satisfying additional assumptions, would provide a polynomial algorithm for tropical linear programming and thus for mean payoff games.
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.
