Questions marquées «decision-problem»

Une question dans un système formel avec une réponse oui ou non.

7
La législation est-elle complète?
J'aimerais savoir s'il y a eu des travaux reliant le code juridique à la complexité. En particulier, supposons que nous ayons le problème de décision "Compte tenu de ce recueil de lois et de ce cas particulier, le défendeur est-il coupable?" À quelle classe de complexité appartient-il? Il y a …
2
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
6
Génération de combinaisons à partir d'un ensemble de paires sans répétition d'éléments
J'ai un ensemble de paires. Chaque paire est de la forme (x, y) telle que x, y appartiennent à des entiers de la plage [0,n). Donc, si le n est 4, alors j'ai les paires suivantes: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) J'ai déjà les paires. Maintenant, je dois construire …
1
Distinguer la procédure de décision vs le solveur SMT vs le prouveur de théorème vs le solveur de contraintes
Ces terminologies me confondent. Tel que je le comprend Solveur SAT: décider de la satisfiabilité de la logique propositionnelle (en utilisant DPLL ou Local Search). La procédure de décision est une procédure pour décider de la satisfiabilité d'une certaine théorie décidable du premier ordre. Le solveur SMT est un solveur …
3
Pourquoi n'y a-t-il pas d'algorithmes d'approximation pour SAT et d'autres problèmes de décision?
J'ai un problème de décision NP-complet. Étant donné une instance du problème, je voudrais concevoir un algorithme qui génère OUI, si le problème est réalisable, et NON, sinon. (Bien sûr, si l'algorithme n'est pas optimal, il fera des erreurs.) Je ne trouve aucun algorithme d'approximation pour de tels problèmes. Je …
2
Existe-t-il un algorithme efficace pour l'équivalence d'expression?
par exemple Xy+ x+y= x+y( x + 1)xy+x+y=X+y(X+1)xy+x+y=x+y(x+1) ? Les expressions proviennent de l'algèbre ordinaire du secondaire, mais se limitent à l'addition et à la multiplication arithmétiques (par exemple 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), sans inverses, soustraction ou division. Les lettres sont des variables. Si cela aide, nous pouvons interdire toute expression …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.