Il rango di segno di una matrice A con + 1, -1 voci è il rango minimo (sopra i reali) di una matrice B che ha lo stesso modello di segno di A (cioè per tutti ). Questa nozione è importante nella complessità della comunicazione e nella teoria dell'apprendimento.i , …
RP è la classe di problemi decidibili da una macchina di Turing non deterministica che termina in un tempo polinomiale, ma a cui è anche consentito un errore unilaterale. P è la solita classe di problemi decidibili da una macchina di Turing deterministica che termina in un tempo polinomiale. P …
Ci scusiamo per aver posto una domanda che deve sicuramente trovarsi in molti riferimenti standard. Sono curioso di sapere esattamente la domanda nel titolo, in particolare sto pensando ai circuiti booleani, senza limiti di profondità. Metto le virgolette "più piccole" per consentire la possibilità che ci siano più classi diverse, …
Considera il seguente problema: data una formula CNF e un incarico che soddisfa questa formula, esiste un altro incarico soddisfacente per questa formula? Qual è la complessità di questo problema? (Sicuramente è in NP, ma è anche NP-difficile?) Che cosa succede se non ti viene assegnato il compito e vuoi …
È noto che qualsiasi prova che risolva la domanda P vs NP deve superare la relativizzazione , le prove naturali e le barriere di algebrizzazione . Il diagramma seguente suddivide lo "spazio di prova" in diverse regioni. Ad esempio, RNRNRN corrisponde all'insieme di prove che relativizzano e naturalizzano. GCTGCTGCT (Geometric …
L'intersezione di due DFA (minimi) con n stati può essere calcolata usando O (n 2 ) tempo e spazio. Questo è ottimale in generale, poiché il DFA (minimo) risultante può avere n 2 stati. Tuttavia, se il DFA minimo risultante ha stati z, dove z = O (n), può essere …
Certo, alcuni risultati di complessità possono crollare per le lingue unarie, ma mi chiedo se c'è un sondaggio che riassuma i risultati noti in questo caso: una specie di zoo di complessità per le lingue unarie. Sapresti di un tale riferimento?
Oggi ho formulato il seguente problema mentre giocavo con il mio GPS. Ecco qui : Sia un grafico diretto tale che se quindi , ovvero è un orientamento del grafico non orientato sottostante. Considera le seguenti operazioni:e = ( u , v ) ∈ E ( v , u ) …
Considera risolta questa domanda. Non sceglierò una risposta migliore poiché tutti hanno contribuito alla mia comprensione dell'argomento. Non sono sicuro di quale beneficio abbiamo definendo formalmente la semantica della logica predicata. Ma vedo valore nell'avere un calcolo di prova formale. Il mio punto è che non avremmo bisogno della semantica …
Immagino di aver letto troppi ambiziosi documenti del CdR . Il problema è che tali articoli non sono sottoposti a revisione paritaria, ma spesso sembrano interessanti e superano i controlli di plausibilità di base. O forse no, e ho solo bisogno di migliorare i miei controlli di plausibilità. Ecco un …
So che è impossibile stabilire se una serie di tessere può piastrellare l'aereo, a seguito di Berger che utilizza le tessere Wang . La mia domanda è se è anche noto che è indecidibile determinare se una singola piastrella può piastrellare il piano, una piastrellatura monoedrica . Se questo rimane …
Mi sono imbattuto in un disaccordo confuso tra Agda e Coq che non è ovviamente correlato alle distinzioni più note tra le loro teorie del tipo (ad esempio, la (im) predicatività, l'induzione-ricorsione, ecc.). In particolare, Agda accetta la seguente definizione: data Ty : Set0 -> Set0 where c1 : Ty …
Sto cercando un libro su strutture dati avanzate che vada oltre quanto descritto nei libri di testo standard come "Introduzione agli algoritmi" di Cormen, Leiserson, Rivest e Stein. Un libro che può essere utilizzato per insegnare un corso di laurea su strutture dati avanzate come Erik Demaine e il corso …
Nella sua risposta a questa domanda , Stephane Gimenez mi ha indicato un algoritmo di normalizzazione in tempo polinomiale per prove nella logica lineare. La prova nel documento di Girard usa reti di prova, che sono un aspetto della logica lineare di cui in realtà non so molto. Ora, ho …
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.