Informatica teorica cc.complexity-theory

1

Algoritmi quantistici per calcoli QED relativi alle costanti della struttura fine

La mia domanda riguarda gli algoritmi quantistici per i calcoli QED (elettrodinamica quantistica) relativi alle costanti della struttura fine. Tali calcoli (come spiegato a me) raggiunge calcolo Taylor-come la serie dove α è la costante di struttura fine (circa 1/137) e c k è il contributo dei diagrammi di Feynman …

10 cc.complexity-theory quantum-computing physics

2

Implicazioni delle varianti di ipotesi di Riemann in TCS

L' ipotesi di Riemann di oltre un secolo e mezzo ha profonde implicazioni in matematica e un grande edificio della teoria matematica è ora dimostrato in modo condizionale su di esso e numerose varianti. Di recente mi sono imbattuto in un riferimento a un risultato condizionale nel TCS basato sull'ipotesi …

10 cc.complexity-theory algebraic-complexity arithmetic-circuits

1

Isomorfismo di Berman-Hartmanis per NP

Usando il modello RAM reale / BSS, abbiamo la classe NP R , (dove un BSS è il modello Blum-Shub-Smale di un computer con operazioni su reali). Abbiamo NP R problemi completi. Quindi, la domanda è: esiste un analogo della congettura di Berman Hartmanis per la classe NP R ? …

10 cc.complexity-theory computing-over-reals

1

Problema che si trova in P solo se P! = NP

Ci sono problemi che sono risolvibili nel tempo polinomiale solo se P! = NP, e altrimenti risolvibili nel tempo (diciamo) ?O ( 2n)O(2n)O(2^n) Un semplice esempio potrebbe essere: Se P! = NP, calcola un test di primalità per un numero casuale di n-bit, altrimenti valuta una posizione casuale nel caso …

10 cc.complexity-theory reference-request

1

Definizione di 3-SAT planare

Qual è la definizione standard di Planar 3-SAT? Ho visto diverse definizioni. Qual era il documento originale che lo definiva e lo dimostrava NP-completo?

10 cc.complexity-theory reference-request np-hardness sat planar-graphs

1

Problema NP completo con polinomialmente molti certificati?

Chiamiamo una lingua NP scarsamente certificata se e solo se:L ∈L∈L \in Esiste un polinomio tale che per ogni input x ∈ Σ ∗ di dimensione n , se x ∈ L, quindi l'insieme U x dei certificati u che verifica che x ∈ L abbia dimensioni polinomiali, ovvero | …

10 cc.complexity-theory complexity-classes

1

Percorso nascosto in griglie quadrate

Mi sono imbattuto in un problema aperto posto da David Eppstein e sono interessato al suo stato di complessità. Ha ipotizzato che fosse NP-completo. Input: per n matrice di 0 e 1, sequenza di n 2 0 e 1nnnnnnn2n2n^2 Domanda: Esiste un percorso attraverso le voci di matrice adiacenti, che …

10 cc.complexity-theory graph-theory

1

Il calcolo affine lambda può risolvere ogni problema in P?

Negli Argomenti avanzati nei tipi e nei linguaggi di programmazione, nel capitolo sui sistemi di tipo sottostrutturale viene menzionato che un calcolo lambda affine "accuratamente elaborato" con un combinatore di ricorsione per elenchi può solo digitare termini che hanno un tempo di esecuzione polinomiale (non presentare la prova a causa …

10 cc.complexity-theory type-theory lambda-calculus

1

Trovare il ciclo uniforme nei grafici diretti

Dato un grafico diretto, vogliamo decidere se contiene un ciclo diretto di lunghezza pari. Questo articolo del 1997 di YUSTER e ZWICK afferma che il problema non è noto per essere in né è noto per essere completo.N PPPPNPNPNP C'è qualche risultato recente che risolve la complessità del problema del …

10 cc.complexity-theory reference-request graph-theory

1

Implicazioni tra

Se possiamo dimostrare che , implica che N L = N P ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Ho pensato che fosse il caso, ma non posso provarlo (anche per il contrario).

10 cc.complexity-theory complexity-classes nondeterminism

1

È in NP verificare se lo scafo convesso contiene la sfera dell'unità?

Dato un insieme di punti spazio euclideo tridimensionale, il problema è quello di determinare se convesso contiene palla unitaria centrata all'origine.dnnnddd Questo problema è in NP? È in co-NP come si può dare un punto nella palla fuori dallo scafo convesso come testimone e verificare questo fatto usando la programmazione …

10 cc.complexity-theory cg.comp-geom

2

Completezza che abbraccia gli alberi

Un albero di spanning di un grafico è chiamato albero di completezza se l'insieme delle sue foglie induce un sottografo completo nel grafico host. Dato un grafico e un intero k , qual è la complessità di decidere se G contiene un albero di completezza con al massimo k foglie?GGGkkkGGGkkk …

10 cc.complexity-theory graph-theory graph-algorithms

1

Biiezioni monotone tra elenchi di intervalli

Ho il seguente problema: Input: due serie di intervalli e T (tutti gli endpoint sono numeri interi). Query: esiste una biiezione monotona f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T La biiezione monotona wrt set ordine inclusione e T . ∀ X ⊆ Y ∈ S , f …

10 cc.complexity-theory ds.algorithms np-hardness partial-order matching

1

L'isomorfismo grafico è in UP

L'isomorfismo grafico (il problema decisionale) è in ? Qui U P è la classe di problemi decisionali accettata da un'ambigua macchina di Turing (vedi lo zoo della complessità ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory graph-isomorphism

1

Classi

Stavo cercando di capire queste lezioni ma mi sono sempre confuso ... le domande sono: Qual è la relazione tra e # P , in particolare è una domanda aperta?FNPFNPFNP#P#P\#P Qual è la relazione di e N P ? questa domanda è aperta?⊕P⊕P\oplus PNPNPNP E la relazione tra e P …

10 cc.complexity-theory

Domande taggate «cc.complexity-theory»