Informatica teorica

1

Perché i problemi completi di QMA devono essere promettenti?

Sto leggendo l'eccellente documento di indagine di Watrous su carta sulla teoria della complessità quantistica. In esso afferma che sarebbe sorprendente se un problema completo di QMA fosse trovato avere una promessa vacua (cioè essere una lingua). Perché è così? Ha a che fare con il fatto che il problema …

10 cc.complexity-theory quantum-computing

1

Ragionamento su loop di terminazione non deterministicamente

Ecco una domanda "traccia B" se ce n'è mai stata una. Riepilogo: la prima cosa a cui penso quando provo a dare una semantica a programmi non deterministici si traduce in una semantica in cui non posso provare cose su loop che terminano solo in modo non deterministico. Sicuramente qualcuno …

10 reference-request denotational-semantics

2

Formula più breve per un CNF monotono a n termini

Una formula CNF monotona con m termini su n variabili ( ) è una formula della forma f ( x 1 , … , x n ) = ⋀ C i , dove ogni C i è un OR di un sottoinsieme delle variabili x 1 , … , x …

10 cc.complexity-theory circuit-complexity formulas

4

Disuguaglianze quantiche a campana

Sono curioso di sapere se qualcuno potrebbe consigliare del materiale supplementare per ottenere una comprensione più approfondita del documento: " Alcuni risultati e problemi sulle disuguaglianze quantistiche della campana - Tsirelson ". In particolare qualcosa che può elaborare un po 'di più sull'interpretazione geometrica delle disuguaglianze di tipo a campana. …

10 reference-request quantum-computing quantum-information

1

Limite inferiore del campionamento agnostico PAC

È noto che per l'apprendimento PAC classico, sono necessari esempi per ottenere un limite di errore di ε whp, dove d è la dimensione VC della classe del concetto.Ω ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd È noto che nel caso agnostico sono necessari esempi ?Ω ( d/ ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning machine-learning

7

Ci sono posizioni pre-doc in TCS?

Ci sono posizioni per studenti laureati o master recentemente laureati con un curriculum di ricerca per lavorare come ricercatore prima di impegnarsi nel loro dottorato di ricerca? TCS ha una cultura di posizioni post-dottorato per i recenti dottorandi di ricerca prima di tentare di candidarsi per un posto di docente. …

10 soft-question advice-request career

1

Una pratica operazione di confronto e scambio di più parole

Nel documento con lo stesso titolo di quella di questa domanda, gli autori descrivono come costruire un bloccante linearizzabile multi-word CAS operazione utilizzando solo una parola sola CAS. Inizialmente introducono l'operazione double-compare-single-swap - RDCSS, come segue: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); …

10 dc.parallel-comp concurrency

2

Problemi reticolari

C'è stato un bel po 'di lavoro sui problemi computazionali per gli ordini parziali (ad esempio, riconoscimento, numero di salto, riconoscimento del grafico di comparabilità, ecc ...). Sono curioso di sapere quale lavoro specifico per i reticoli sia stato svolto. Ho cercato in giro e non ho trovato lavori simili …

10 ds.algorithms reference-request graph-algorithms partial-order order-theory

2

Limitazione delle voci di operatori unitari a numeri reali e set di gate universali

In Bernstein e Vazirani di carta seminale "Quantum Complexity Theory", mostrano che una trasformazione unitaria dimensionale può essere efficacemente approssimata da un prodotto di quello che chiamano "near-banale rotazioni" e "sfasamenti quasi banale".ddd "Vicino banale rotazioni" sono -dimensional unitaria matrici che agiscono come l'identità su tutti ma 2 dimensioni, ma …

10 quantum-computing linear-algebra universal-computation

1

Luoghi in cui è utile l'ordine dei punti lungo un semplice poligono che li attraversa

Sappiamo che trovare lo scafo convesso di nnn punti su un piano ha un limite inferiore di Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) sul suo tempo di esecuzione. Tuttavia, se i punti sono indicati nell'ordine in cui si presentano lungo un semplice poligono che ha quei punti come vertici, il …

10 cg.comp-geom

3

Enumerazione di tutte le coppie di percorsi disgiunti

Dato un grafo diretto e due vertici . Una coppia di percorsi semplici da a è bordo disgiunto se non condividono un bordo.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Utilizzando il flusso massimo, è facile decidere se esiste una coppia di percorsi disgiunti del bordo da a . Ora, esiste un algoritmo …

10 cc.complexity-theory graph-algorithms

4

Costi di esecuzione ca. ricerca del vicino più vicino in un quadrifoglio saltato

NOTA : la domanda è stata ribadita nelle mie risposte: supponendo ora che possiamo trovare gli antenati fratelli più bassi in tempo, l'ANN può davvero essere eseguita in O ( log n ) ?O(1)O(1)O(1)O(logn)O(log⁡n)O(\log n) I quadrifici sono indici spaziali efficienti. Ho un enigma con l'implementazione di una ricerca del …

10 ds.algorithms ds.data-structures range-searching near-neighbors

6

Una struttura di dati per gruppi di alberi.

I tentativi consentono una memorizzazione efficiente degli elenchi di elementi. I prefissi sono condivisi, quindi è efficiente nello spazio. Sto cercando un modo simile per conservare gli alberi in modo efficiente. Vorrei poter verificare l'appartenenza e aggiungere elementi, sapendo se un determinato albero è una sottostruttura di alcuni alberi memorizzati …

10 ds.data-structures tree model-checking

4

Limitare il divario tra la complessità delle query quantistica e deterministica

Sebbene siano note separazioni esponenziali tra complessità della query quantistica con errore limitato ( Q(f)Q(f)Q(f) ) e complessità della query deterministica ( D(f)D(f)D(f) ) o complessità della query randomizzata con errore limitato ( R(f)R(f)R(f) ), si applicano solo a determinate funzioni parziali. Se le funzioni parziali hanno alcune strutture speciali, …

10 cc.complexity-theory reference-request quantum-computing query-complexity

5

Macchina di Turing distribuita?

Sono uno studente master focalizzato sui sistemi distribuiti ma anche interessato all'informatica teorica. Mi chiedevo se esiste una rappresentazione formale di un sistema distribuito sopra una macchina da turismo? Cioè, è possibile estendere (fare una variante) il concetto di una macchina turing per sfruttare il calcolo distribuito? Un'idea è quella …

10 turing-machines dc.distributed-comp