Informatica teorica

5

Articoli che ogni teorico della complessità dovrebbe leggere

Sto iniziando il mio dottorato di ricerca in autunno e sto programmando di lavorare sulla teoria della complessità per la mia tesi. Sto compilando un elenco di documenti importanti che ogni teorico della complessità dovrebbe conoscere. Quali documenti consiglieresti a una persona come me? E per favore spiega brevemente perché …

14 cc.complexity-theory reference-request big-list

1

Il gap zero integrity implica zero duality gap per alcuni problemi?

Sappiamo che se il divario tra i valori di un programma intero e il suo doppio (il "divario di dualità") è zero, allora i rilassamenti di programmazione lineare del programma intero e il doppio del rilassamento, entrambi ammettono soluzioni integrali (zero "integralità gap "). Voglio sapere se il contrario vale, …

14 ds.algorithms optimization linear-programming integrality-gap

1

La complessità computazionale della moltiplicazione di matrici

Sto cercando informazioni sulla complessità computazionale della moltiplicazione di matrici di matrici rettangolari. Wikipedia afferma che la complessità della moltiplicazione di A ∈ Rm × nUN∈Rm×nA \in \mathbb{R}^{m \times n} per è (moltiplicazione del libro di scuola).B ∈ Rn × pB∈Rn×pB \in \mathbb{R}^{n \times p}O ( m n p )O(mnp)O(mnp) …

14 cc.complexity-theory time-complexity linear-algebra matrix-product

1

Migliore complessità di query dell'algoritmo di apprendimento di Goldreich-Levin / Kushilevitz-Mansour

Qual è la complessità di query più nota dell'algoritmo di apprendimento di Goldreich-Levin? Gli appunti delle lezioni del blog di Luca Trevisan , Lemma 3, lo come O ( 1 / ϵ 4 n log n ) . È questo il più noto in termini di dipendenza da n ? …

14 cc.complexity-theory reference-request lg.learning fourier-analysis

1

Condizioni sufficienti per la regolarità di un linguaggio privo di contesto

Sarebbe bello raccogliere un elenco di condizioni che implicano che una lingua senza contesto L sia regolare, vale a dire le condizioni del modulo: "se un determinato CFG / PDA ha proprietà P, allora le sue lingue sono regolari" La proprietà P non deve caratterizzare i CFG che generano linguaggi …

14 reference-request fl.formal-languages regular-language context-free survey

2

Qual è il problema "più vicino" alla congettura di Collatz che è stata risolta con successo?

Sono interessato al problema "più vicino" (e "più complesso") alla congettura di Collatz che è stata risolta con successo (che Erdos ha affermato che "la matematica non è ancora matura per tali problemi"). È stato dimostrato che una classe di problemi "simili a Collatz" è indecidibile. Tuttavia, problemi che sono …

14 reference-request open-problem nt.number-theory halting-problem computability

2

Complessità di ottimizzazione rispetto al gruppo unitario

Qual è la complessità computazionale dell'ottimizzazione di varie funzioni rispetto al gruppo unitario ?U( n )U(n)\mathcal{U}(n) Un compito tipico, derivanti spesso in teoria dell'informazione quantistica, sarebbe massimizzando quantità di tipo (o superiore polinomi di ordine nelle U ) in tutto unitario matrici U . Questo tipo di ottimizzazione è calcolabile …

14 cc.complexity-theory reference-request optimization quantum-information

2

Miglior metodo di correzione degli errori nella distribuzione quantistica delle chiavi

Per quanto ne so, quasi tutte le implementazioni di QKD utilizzano l'algoritmo CASCADE di Brassard e Salvail per la correzione degli errori. È davvero questo il metodo più noto per correggere gli errori in una sequenza condivisa di qubit casuali o esiste una proposta migliore che le implementazioni di QKD …

14 cr.crypto-security quantum-computing quantum-information

1

È necessaria una buona panoramica degli algoritmi di Succinct Data Structure

(già chiesto sul sito principale , ma chiedendo anche qui una migliore copertura, scusate) Da quando ho saputo di Succinct Data Structures, ho un disperato bisogno di una buona panoramica degli sviluppi più recenti in quell'area. Ho cercato su Google e letto molti articoli che ho potuto vedere in cima …

14 reference-request ds.data-structures advice-request space-time-tradeoff

1

Storia iniziale di alcuni risultati sui compromessi spazio-temporali?

Sono interessato alla prima storia dei risultati pubblicati sui compromessi spazio-tempo generici. In particolare, voglio sapere chi ha descritto per primo il seguente tipo di algoritmo per valutare un calcolo avente un grafico di flusso di dati arbitrario con in gradi O (1) usando lo spazio proporzionale alla profondità (non …

14 cc.complexity-theory ho.history-overview space-time-tradeoff

3

P contiene linguaggi la cui esistenza è indipendente da PA o ZFC? (Wiki della community TCS)

Risposta: non nota. Le domande poste sono naturali, aperte e apparentemente difficili; la domanda ora è un wiki della comunità. Panoramica La domanda cerca di dividere le lingue appartenenti alla classe di complessità PPP - insieme alle macchine di Turing (TM) che accettano queste lingue - in due sottoclassi complementari: …

14 cc.complexity-theory polynomial-time undecidability independence

2

Una domanda alla prova completa # P del permanente di Ben-Dor / Halevi

Nel documento di Ben-Dor / Halevi [1] viene fornita un'altra prova che il permanente è P-completo. Nella parte successiva del documento, mostrano la catena di riduzione mentre il valore permanente è conservato lungo la catena. Dal momento che il numero di assegnazioni satiesfying di una formula 3SAT può essere ottenuto …

14 cc.complexity-theory counting-complexity permanent

1

Sulla complessità della minimizzazione della larghezza di banda

Il problema della larghezza di banda del grafico è definito come segue. Dato un grafico , un layout f di G è una mappatura uno-a-uno dei vertici di G sugli interi { 1 , … , | V | } . La larghezza di banda di f è definita comeG …

14 cc.complexity-theory

1

Algoritmo esatto per problemi di etichettatura dei bordi in DAG

Sto implementando una parte del sistema che richiede un aiuto. Pertanto lo sto inquadrando come un problema grafico per renderlo indipendente dal dominio. Problema: ci viene dato il grafico aciclico diretto G=(V,E)G=(V,E)G=(V,E) . Senza perdita di generalità supporre che solsolG ha esattamente un vertice sorgente SSs ed esattamente un vertice …

14 ds.algorithms reference-request co.combinatorics graph-algorithms directed-acyclic-graph

1

Abbinamenti perfetti in una scacchiera?

Considera il problema di trovare il numero massimo di cavalieri che possono essere posizionati su una scacchiera senza che due di loro si attacchino l'un l'altro. La risposta è 32: non è troppo difficile trovare una corrispondenza perfetta (il grafico indotto dalle mosse del cavaliere è bipartito e c'è una …

14 co.combinatorics matching