Domande taggate «decision-problem»

Una domanda in un sistema formale con una risposta sì o no.

7
La legislazione NP è completa?
Vorrei sapere se c'è stato qualche lavoro relativo alla complessità del codice legale. In particolare, supponiamo di avere il problema decisionale "Dato questo libro di legge e questo particolare insieme di circostanze, l'imputato è colpevole?" A quale classe di complessità appartiene? Ci sono risultati che hanno dimostrato che il gioco …
2
Perché il tipo di vuoto di C non è analogo al tipo vuoto / inferiore?
Wikipedia e altre fonti che ho trovato elencano il voidtipo C come un tipo di unità anziché un tipo vuoto. Lo trovo confuso in quanto mi sembra che si voidadatti meglio alla definizione di un tipo vuoto / inferiore. voidPer quanto ne so, non abitano valori . Una funzione con …
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
Generazione di combinazioni da un insieme di coppie senza ripetizione di elementi
Ho un set di coppie. Ogni coppia ha la forma (x, y) in modo tale che x, y appartengano a numeri interi dell'intervallo [0,n). Quindi, se n è 4, allora ho le seguenti coppie: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ho già le coppie. Ora, devo costruire una combinazione usando …
1
Distinguere la procedura decisionale rispetto al risolutore SMT rispetto al prover Teorema rispetto al risolutore Vincoli
Quelle terminologie mi confondono. Come capisco Risolutore SAT: decidere l'accuratezza della logica proposizionale (usando DPLL o Ricerca locale). La procedura di decisione è una procedura per decidere la soddisfacibilità di una certa teoria decidibile del primo ordine. Il risolutore SMT è un risolutore SAT + procedura decisionale. Il proverore del …
3
Perché non ci sono algoritmi di approssimazione per SAT e altri problemi decisionali?
Ho un problema decisionale NP-completo. Data un'istanza del problema, vorrei progettare un algoritmo che genera SÌ, se il problema è fattibile e, NO, altrimenti. (Naturalmente, se l'algoritmo non è ottimale, commetterà errori.) Non riesco a trovare alcun algoritmo di approssimazione per tali problemi. Stavo cercando specificamente SAT e ho trovato …
2
Esiste un algoritmo efficiente per l'equivalenza delle espressioni?
ad es. xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? Le espressioni provengono dalla normale algebra del liceo, ma sono limitate all'aggiunta e alla moltiplicazione aritmetica (ad es. 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), senza inversioni, sottrazioni o divisioni. Le lettere sono variabili. Se aiuta, possiamo vietare qualsiasi espressione rappresentabile con valori numerici diversi da 111 ; cioè non …
3
Esiste un test efficiente per stabilire se un NFA accetta un sottoinsieme di un altro NFA?
Quindi, so che testare se una lingua normale è un sottoinsieme della lingua normale S è decidibile, dal momento che possiamo convertirli entrambi in DFA, calcolare R ∩ ˉ S e quindi verificare se questa lingua è vuota.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Tuttavia, poiché ciò richiede la conversione in DFA, è possibile …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.