Vengono poste cinque domande collegate e si auspica un'unica risposta integrata: D1: Esistono lingue riconosciute esclusivamente da quelle macchine di Turing in cui esponenti di runtime sono indecidibili ?LLLPPP D2: Gli esempi di queste macchine di Turing possono essere costruiti in modo fine? Q3: queste macchine di Turing possono essere …
I linguaggi fogliari sono un modo meraviglioso per definire uniformemente molte classi di complessità. La maggior parte delle classi di complessità sono generalmente specificate da un modello di calcolo (ad es. TM deterministica / randomizzata) e da un limite di risorse (tempo di log, spazio poligonale, ecc.). Tuttavia, nella formulazione …
[Nota: credo che questa domanda non dipenda in alcun modo dalla correttezza o dall'inesattezza del documento di Deolalikar.] Sul blog di Scott Aaronson Shtetl Optimized , nella discussione sul recente tentativo di Deolalikar su P vs NP, Leonid Gurvits ha fatto il seguente commento : Ho cercato di capire / …
Leggendo alcuni recenti thread sull'informatica quantistica ( qui , qui e qui ), mi fanno ricordare un'interessante domanda sulla potenza di una sorta di macchina per preservare -norm.ℓpℓp\ell_p Per le persone che lavorano nella teoria della complessità andando alla complessità quantistica un ottimo testo introduttivo è l'articolo di Fortnow il …
L'autoreferenzialità del problema P / NP è stata talvolta evidenziata come una barriera alla sua risoluzione, vedi, ad esempio, il documento di Scott Aaronson, P vs. NP è formalmente indipendente ? Una delle molte possibili soluzioni a P / NP sarebbe una dimostrazione che il problema è formalmente indipendente da …
In generale, il nastro di query per un oracolo conta per la complessità dello spazio di una TM. Tuttavia, sembra plausibile consentire un nastro oracolo di sola scrittura (come viene utilizzato nelle riduzioni dello spazio L). Una tale costruzione è utile? Produce risultati particolarmente assurdi?
Oggi a New York e in tutto il mondo viene celebrato il compleanno di Christos Papadimitriou. Questa è una buona opportunità per chiedere informazioni sulle relazioni tra la classe di complessità PPAD di Christos (e le sue altre classi correlate) e i computer quantistici. Nel suo celebre articolo del 1994 …
Sia una funzione a valore intero tale che sia in . Ne consegue che è in ? Ci sono ragioni per ritenere improbabile che ciò avvenga sempre? Qualche riferimento che dovrei sapere?2 F # P F # PFFF2 F.2F2F# P#P\#PFFF# P#P\#P Un po 'sorprendentemente, questa situazione si presentò (con una …
Attualmente, il calcolo dei reali nelle lingue più popolari viene ancora eseguito tramite operazioni in virgola mobile. D'altra parte, teorie come l'efficacia del tipo due (TTE) e la teoria dei domini hanno da tempo promesso il calcolo esatto dei reali. Chiaramente, il problema della precisione in virgola mobile non si …
Wikipedia ha elencato quattro problemi che si trovano in ma che si siano esterni a : fattorizzazione in numeri interi; Logaritmo discreto; Simulazione di sistemi quantistici; Calcolo del polinomio di Jones su determinate radici dell'unità.PB Q PBQPBQPPPP Ci sono altri problemi simili?
USTCONN è il problema che richiede stabilire se v'è un percorso dal vertice sorgente sss al bersaglio vertice ttt in un grafo GGG , dove questi sono tutti forniti come parte dell'input. Omer Reingold ha mostrato che USTCONN è in L (doi: 10.1145 / 1391289.1391291 ). La dimostrazione costruisce un …
Secondo un resoconto storico (non verificato), Kolmogorov pensava che ogni lingua in PP\mathsf{P} avesse una complessità del circuito lineare. (Vedi la domanda precedente congettura di Kolmogorov che PPP ha circuiti lineari a grandezza naturale .) Si noti che implica P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} . La congettura di Kolmogorov, tuttavia, è probabile che …
Possiamo calcolare un cancello soglia bit per dimensione polinomiale (fan-in illimitato) circuiti di profondità lg nnnn ? In alternativa, possiamo contare il numero di 1s nei bit di ingresso usando questi circuiti?lgnlglgnlgnlglgn\frac{\lg n}{\lg \lg n} È ?TC0⊆AltTime(O(lgnlglgn),O(lgn))TC0⊆AltTime(O(lgnlglgn),O(lgn))\mathsf{TC^0} \subseteq \mathsf{AltTime}(O(\frac{\lg n}{\lg \lg n}), O(\lg n)) Si noti che . Quindi la …
Feedback Vertex Set è NP-completo per grafici generali. È noto per essere NP completo per i grafici limitati di grado 8 a causa di una riduzione dalla copertura del vertice. L' articolo di Wikipedia afferma che è polisolvibile per i grafici limitati di grado 3 ed è NP-completo per i …
Una matrice è chiamata totalmente regolare se tutte le sue matrici quadrate hanno il grado completo. Tali matrici sono state utilizzate per costruire superconcentratori. Qual è la complessità nel decidere se una data matrice è totalmente regolare rispetto ai razionali? Su campi finiti? Più in generale, chiama una matrice totalmente …
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.