Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- ...delle [[classi di complessità]]''', insiemi concernenti la [[teoria della complessità computazionale]]. ...pare una mappa delle relazioni di inclusione dimostrabili per le classi di complessità. ...9 KB (1 198 parole) - 17:43, 16 mag 2023
Corrispondenze nel testo delle pagine
- ...rchia esponenziale''' è una gerarchia di [[Classe di complessità|classi di complessità]], che inizia con [[EXPTIME]]: Abbiamo [[P (complessità)|P]] ⊂ EXPTIME ⊂ [[2-EXPTIME]] ⊂ 3-EXPTIME ⊂ …. Diversamente dal caso anal ...1 KB (143 parole) - 05:53, 3 ott 2021
- ...coNP</math> se e solo se <math>A^* \backslash S = S^c</math> è un problema di classe <math>NP</math>. ...si dovrebbe arrestare mentre se <math>w \not\in S</math> allora almeno una di tali computazioni si dovrebbe arrestare. ...1 KB (208 parole) - 21:39, 23 giu 2021
- I '''problemi NP-intermedi''' sono dei problemi di classe NP - P che non sono NP-completi, ossia: ...ro dibattito aperto è quello sulla presenza o meno di qualche altra classe di problemi in NP, ossia i problemi NP-intermedi (NPI). ...1 KB (187 parole) - 15:48, 12 dic 2024
- ...lexity subsets pspace.svg|miniatura|Rappresentazione delle varie classi di complessità|300x300px]] ...]] di una certa complessità. Un esempio tipico di definizione di classe di complessità ha la forma: ...8 KB (899 parole) - 20:35, 15 feb 2025
- ...up>''p''(''n'')</sup></sup>), dove ''p''(''n'') è una funzione polinomiale di ''n''. In termini di [[DTIME]], ...3 KB (358 parole) - 23:09, 14 mar 2025
- ...ght=1.4|[[Diagramma di Eulero-Venn]] per le classi di complessità P, [[NP (complessità)|NP]], [[NP-completo]] e [[NP-difficile|NP-hard]]]] ...di Turing]] deterministica usando una quantità [[polinomiale]] di [[tempo di computazione]], o [[tempo polinomiale]]. ...3 KB (404 parole) - 18:23, 28 set 2016
- ...iale]] di [[Porta AND|porte AND]] e [[Porta OR|OR]], con un numero massimo di linee d'ingresso (''fan-in'') illimitato. ...rte AND e OR nei circuiti sia alle [[Macchina di Turin alternante|macchine di Turing alternanti]].<ref>{{cita|Regan (1999)|pp. 27-18|Regan1999}}.</ref> ...3 KB (420 parole) - 22:28, 29 mag 2024
- ...ne '''NC<sup>0</sup>''', che ha soltanto porte AND e OR con numero massimo di linee d'ingresso limitato.<ref name=AB117>Arora & Barak (2009) p. 117</ref> ...nte da FO(+, <math>\times</math>), o da una macchina di Turing nella [[LH (complessità)|gerarchia logaritmica]].<ref>{{cita libro|Neil|Immerman|Descriptive comple ...3 KB (372 parole) - 17:06, 15 mar 2025
- ...delle [[classi di complessità]]''', insiemi concernenti la [[teoria della complessità computazionale]]. ...pare una mappa delle relazioni di inclusione dimostrabili per le classi di complessità. ...9 KB (1 198 parole) - 17:43, 16 mag 2023
- ...puntatore (programmazione)|puntatori]] nell'input, e un numero logaritmico di valori [[Booleano (informatica)|booleani]]. ...] è la classe di problemi risolvibili in tempo polinomiale da una macchina di Turing deterministica. ...4 KB (506 parole) - 02:48, 12 mag 2022
- ...moria di <math>O(n^k)</math>, dove <math>n</math> è la dimensione dei dati di input e <math>k</math> è un qualsiasi valore finito. ...emi che possono essere risolti da un [[algoritmo]] che utilizzi uno spazio di memoria la cui dimensione sia al più [[funzione (matematica)|funzione]] [[p ...3 KB (498 parole) - 18:11, 13 feb 2024
- ...|problemi di decisione]], ma una classe di [[Problema di funzione|problemi di funzione]]. ...di una lista di interi che danno come somma zero? ([[problema della somma di sottoinsiemi]]) ...4 KB (593 parole) - 09:30, 23 set 2024
- ...i [[Problema decisionale|problemi decisionali]] eseguiti su una [[macchina di Turing probabilistica]]. ...babilistica]] in [[tempo polinomiale]] che soddisfa le seguenti condizioni di accettazione: ...6 KB (887 parole) - 03:45, 15 mag 2021
- ...la classe '''NEXPSPACE''', che è uguale a '''EXPSPACE''' per il [[teorema di Savitch]]. In termini di '''[[DSPACE]]''' e '''[[NSPACE]]''', ...3 KB (441 parole) - 01:07, 11 nov 2021
- ...') è una [[classe di complessità]] di problemi accettati da una [[macchina di Turing non deterministica]] in spazio [[logaritmi]]co ossia con <math>S_M(n ...ne]] di due letterali, esiste un'assegnazione di [[Valore di verità|valori di verità]] per tali letterali che rende la formula vera. Ad esempio, verifica ...4 KB (542 parole) - 10:20, 27 gen 2024
- ...plexity class diagram.svg|thumb|La presunta relazione di BQP con gli spazi di altri problemi.<ref>Michael Nielsen e Isaac Chuang (2000). ''Quantum Comput ...errore minore o uguale a 1/3. È l'analogo quantistico della classe [[BPP (complessità)|BPP]]. ...7 KB (917 parole) - 12:47, 18 feb 2021
- ...di Eulero-Venn]] per le classi di complessità [[P (complessità)|P]], [[NP (complessità)|NP]], [[NP-Completo]] e NP-hard]] ...NP-completi]], che a loro volta sono per definizione i più difficili delle classi P/NP. ...8 KB (1 095 parole) - 13:37, 21 set 2024
- ...upright=1.4|[[Diagramma di Eulero-Venn]] per le classi di complessità [[P (complessità)|P]], NP, [[NP-completo]] e [[NP-difficile|NP-hard]]]] ...tempo polinomiale. La classe ''NP'' prende il suo nome dall'abbreviazione di ''Nondeterministic Polynomial Time''. ...8 KB (1 292 parole) - 18:50, 1 feb 2025
- ...[[fattorizzazione]], che invece ha lo scopo di determinare i fattori primi di un numero: quest'ultima operazione è infatti generalmente più lunga e compl ...spondono NO (ossia quando dicono che il numero è composto) mentre nel caso di risposta SÌ assicurano soltanto un limite inferiore alla probabilità che il ...4 KB (604 parole) - 18:22, 5 nov 2024
- ...ggio finito, allora il problema <math>S</math> appartiene alla classe [[P (complessità)|P]]. In un problema generico, il numero di parole di lunghezza <math>n</math> cresce [[Funzione esponenziale|esponenzialmente]], ...3 KB (495 parole) - 10:36, 15 mar 2023