Un albero decisionale read-once è definito come segue: e F a l s e sono alberi decisionali read-once.TR u eTrueTrueFa l s eFalseFalse Se e B sono alberi delle decisioni read-once e x è una variabile non presente in A e B , allora ( x ∧ A ) ∨ …
Il problema dell'isomorfismo semigruppo inverso finito è GI-completo ? Qui si presume che i semigruppi inversi finiti siano dati dalle loro tabelle di moltiplicazione.
Supponiamo che il nostro input sia un binario e che dobbiamo generare , dove è un numero intero costante. Questo è solo uno spostamento se è una potenza di due, ma per quanto riguarda gli altri numeri? Possiamo farlo con un circuito a profondità costante per ogni ? Che dire …
Sia un campo. Come al solito, per un f ∈ k [ x 1 , x 2 , … , x n ] definiamo L ( f ) la complessità della linea retta di f su k . Sia F l'insieme dei monomi di f , ovvero i monomi che …
Considera le partite combinatorie a due giocatori con informazioni complete che terminano dopo un numero polinomiale di mosse e, in modo alternato, i giocatori scelgono da un numero finito di mosse consentite. La solita domanda è: quanto sia difficile distinguere il vincitore da una determinata posizione. Un altro sarebbe, quanto …
Considera il seguente problema: Date due stringhe x, y, decidete se esiste un omomorfismo di stringhe f tale che f (x) = y. È facile dimostrare che questo problema è in . Ci sono altre cose che possiamo dire su questo problema? es. è in , o anche in ?c …
Come sappiamo, la definizione della complessità computazionale dell'algoritmo è quasi senza controversie, ma la definizione della complessità computazionale dei reali o dei modelli di calcolo sui reali non è in tal caso. Conosciamo il modello e il modello di Blum e Smales nel libro Analisi calcolabile. E apparentemente, il modello …
Questo mi confonde. Un semplice caso di conteggio è quando il problema decisionale è in e non ci sono soluzioni.PPP Una lezione mostra che il problema di contare il numero di corrispondenze perfette in un grafico bipartito (equivalentemente, contare il numero di copertine di cicli in un grafico diretto) è …
Dopo aver letto una domanda correlata , sulle prove di esistenza non costruttive degli algoritmi, mi chiedevo se ci sono metodi per mostrare l'esistenza di macchine di calcolo "piccole" (diciamo, per quanto riguarda lo stato) senza effettivamente costruirlo. formalmente: supponiamo che ci venga dato un po 'di linguaggio e risolto …
Crossposted da MO . Sia una classe di grafi definita da un numero finito di sottografi indotti proibiti, che sono tutti ciclici (contengono almeno un ciclo).CCC Ci sono problemi con i grafici NP-hard che possono essere risolti in tempo polinomiale per diverso da Clique e Clique cover?CCC Se ricordo bene, …
Sto cercando una classe di complessità che si riferisce ad APX come BPP si riferisce a P. Ho già fatto la stessa domanda qui , ma forse TCS sarebbe un luogo più fruttuoso per le risposte. Il motivo della domanda è che nei problemi pratici è spesso necessario trovare risposte …
Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi hanno introdotto l'ipotesi del tempo esponenziale (ETH) e l'ipotesi del tempo fortemente esponenziale (SETH). All'incirca, SETH afferma che non esiste un algoritmo che risolva SAT nel tempo . 1.99n1.99n1.99^n Mi chiedevo cosa avrebbe significato rompere SETH. Abbiamo sicuramente bisogno di trovare un algoritmo che …
Il problema "Seconda " è il problema di decidere l'esistenza di un'altra soluzione diversa da quella fornita per l'istanza del problema.XXX Per alcuni problemi Completa, la seconda versione soluzione è N P Completa (decidere l'esistenza di un'altra soluzione per il parziale latino problema completamento quadrato) mentre per altri è o …
La classe UP è definita come tale: La classe di problemi decisionali risolvibili da una macchina NP tale che Se la risposta è "sì", accetta esattamente un percorso di calcolo. Se la risposta è "no", tutti i percorsi di calcolo vengono rifiutati. Sto cercando di sviluppare l'intuizione per questa definizione. …
Sto leggendo il famoso articolo Impagliazzo e Wigderson nel 1997. Da quando sono nuovo in questo campo e il documento è una versione concisa della conferenza, ho difficoltà a seguire le loro prove. In particolare, alcuni dei loro nuovi teoremi mancano di prove. Per quanto ne so, non è stata …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.