Informatica teorica

1

quali sono noti limiti alla complessità dell'automorfismo grafico non banale

Dato qualsiasi semplice grafico non indirizzato G, non è banale determinare se G ha automorfismi non banali (non identitari). Ma quali sono i risultati sui limiti superiore / inferiore di questo problema decisionale?

11 cc.complexity-theory graph-isomorphism automorphism

4

Riduzione dimensionale con gioco lento?

Il lemma di Johnson-Lindenstrauss dice approssimativamente che per ogni raccolta di punti in , esiste una mappa where tale che per tutte : È noto che affermazioni simili non sono possibili per la metrica , ma è noto se esiste un modo per aggirare un valore così basso limiti offrendo …

11 ds.algorithms approximation-algorithms cg.comp-geom metrics embeddings

1

Qualcuno può suggerire un recente sondaggio sulle catene di prodotti Markov?

Sono particolarmente interessato al loro utilizzo nelle applicazioni di verifica dei modelli. Ho reti aperte, chiuse e miste di code con diverse classi di clienti di Baskett et al. Altri suggerimenti per la lettura di materiale? Grazie.

11 reference-request markov-chains queueing-theory model-checking

7

In che modo l'Informatica teorica si collega alla sicurezza?

Quando penso a un software insicuro, penso che sia "troppo utile" e possa essere maltrattato da un utente malintenzionato. Quindi, in un certo senso, proteggere il software è il processo che rende il software meno utile. In Theoretical Computer Science non stai lavorando con il mondo reale. Quindi ci sono …

11 cr.crypto-security big-picture

2

Qualche algoritmo veloce per il problema di impostazione dell'arco di feedback di costo minimo?

In un grafico diretto, , , se G \ setminus F è un DAG (grafico aciclico diretto), F viene chiamato set di archi di retroazione. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Se a ciascun fronte è associato un peso www , il problema con l'arco di retroazione del costo minimo è trovare una …

11 ds.data-structures graph-theory np-hardness approximation-algorithms

7

Calcolo quantistico - Postulati di QM

Ho appena iniziato a studiare (indipendentemente) il calcolo quantistico in generale dal libro Nielsen-Chuang. Volevo chiedere se qualcuno potesse provare a trovare il tempo per aiutarmi con quello che sta succedendo con il postulato di misurazione della meccanica quantistica. Voglio dire, non sto cercando di mettere in discussione il postulato; …

11 quantum-computing quantum-information

3

Due varianti di NP

Ecco due variazioni sulla definizione di NP. Definiscono (quasi certamente) distinte classi di complessità, ma la mia domanda è: ci sono esempi naturali di problemi che rientrano in queste classi? (La mia soglia per ciò che conta come naturale qui è un po 'più bassa del solito.) Classe 1 (una …

11 cc.complexity-theory complexity-classes np

2

Qual è un problema naturale in teoria del calcolo?

Nel documento di Stephen Cook sul problema P vs NP, [1] afferma quanto segue [2]: Tesi di fattibilità: un problema naturale ha un algoritmo fattibile se ha un algoritmo tempo polinomiale. La mia domanda è: cosa intende esattamente (o in generale davvero, cosa si intende) per "un problema naturale "? …

11 time-complexity p-vs-np complexity fixed-parameter-tractable

1

Qual è l'istanza più difficile per il problema dell'isomorfismo di gruppo?

Si dice che due gruppi ( G , ⋅ )(G,⋅)(G,\cdot) e ( H, × )(H,×)(H, \times) siano isomorfi se esiste un omomorfismo da solGG a HHH che è biiettivo. Il problema dell'isomorfismo di gruppo è il seguente: dati due gruppi, verificare se sono isomorfi o meno. Esistono diversi modi per …

11 ds.algorithms gr.group-theory

3

Formulazione equivalente della teoria della complessità in Lambda Calculus?

Nella teoria della complessità, la definizione di complessità temporale e spaziale fa riferimento a una macchina di Turing universale: resp. il numero di passaggi prima dell'arresto e il numero di celle sul nastro toccato. Data la tesi di Church-Turing, dovrebbe essere possibile definire la complessità anche in termini di calcolo …

11 time-complexity lambda-calculus

3

Limiti dimensionali VC di apprendimento PAC corretti

È noto che per un concetto di classe CC\mathcal{C} con dimensione VC ddd , è sufficiente ottenere O ( dεlog1ε)O(dεlog⁡1ε)O\left(\frac{d}{\varepsilon}\log\frac{1}{\varepsilon}\right)esempi etichettati per PAC learn. Non mi è chiaro se l'algoritmo di apprendimento PAC (che utilizza questi numerosi campioni) sia corretto o improprio? Nei libri di testo di Kearns e Vazirani, …

11 machine-learning boolean-functions lg.learning vc-dimension pac-learning

2

Esempio di qualcosa che è diverso per oracoli generici e casuali?

Sia un oracolo generico nel senso della categoria Cohen / Baire. Lascia che sia un oracolo casuale.RGGGRRR Esistono classi di complessità A e B con o il viceversa, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} La domanda è stata ispirata da un commento di Scott Aaronson .

11 cc.complexity-theory complexity-classes

3

Cosa dovrebbe effettivamente dimostrare una prova di correttezza per un typechecker?

Sto programmando da diversi anni, ma non ho molta familiarità con il CS teorico. Di recente ho cercato di studiare i linguaggi di programmazione e, come parte di ciò, il controllo del tipo e l'inferenza. La mia domanda è: se provo a scrivere un'inferenza di tipo e a controllare un …

11 coq type-inference proof-assistants

2

I social network sono in genere buoni espansori?

Sono interessato alle proprietà combinatorie dei social network come grafici. Le persone hanno esaminato cose come la distribuzione dei gradi, il coefficiente di raggruppamento e la compressibilità di questi grafici. Una domanda di base è: questi grafici sono in genere buoni grafici di espansione? Qualcuno ha controllato, diciamo, il gap …

11 graph-theory application-of-theory expanders

1

MLTT è efficacemente pCiC senza Prop?

La teoria del tipo Martin-Löf è fondamentalmente il calcolo predicativo delle costruzioni induttive senza impredicative ?P r o pProp\mathtt{Prop} Se sono strettamente correlati ma con più differenze rispetto al semplice , quali sono queste differenze?P r o pProp\mathtt{Prop}

11 type-theory calculus-of-constructions