Informatica teorica

2

L'esistenza di problemi PH completi è relativizzata?

Il risultato Baker-Gill-Solovay ha mostrato che la domanda P = NP non si relativizza, nel senso che nessuna prova relativizzante (insensibile alla presenza di un oracolo) può eventualmente risolvere la domanda P = NP. La mia domanda è: esiste un risultato simile per la domanda "Esiste un problema di PH …

12 cc.complexity-theory complexity-classes

2

Gaussiani indipendenti a coppie

Dato (tra gaussiani con media e varianza ), è possibile (come? ) (per ) tale che siano gaussiani indipendenti a coppie con media e varianza . 0 1 m = k 2 Y 1 , … , Y m Y i 0 1X1,…,XkX1,…,XkX_1,\ldots,X_k000111m=k2m=k2m=k^2Y1,…,YmY1,…,YmY_1, \ldots, Y_mYiYiY_i000111

12 derandomization pr.probability

3

Grafici cubici di partizionamento dei bordi in artigli e percorsi

Ancora una volta un problema di partizionamento di cui sono curiosa la complessità, motivata da una mia precedente domanda . Input: un grafico cubico G=(V,E)G=(V,E)G=(V,E) Domanda: esiste una partizione di in E 1 , E 2 , ... , E s , in modo tale che il sottografo indotto da …

12 cc.complexity-theory graph-theory np-hardness co.combinatorics

2

È ?

Di http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se è un linguaggio completo di PSPACE, .P A = N P AUNAAPUN= NPUNPA=NPAP^{A}=NP^{A} Se è un oracolo del tempo polinomiale deterministico, (assumendo ).P B ≠ N P B P ≠ N PBBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP # P P ⊆ P P ⊆ P S P A …

12 cc.complexity-theory complexity-classes counting-complexity open-problem oracles

3

Esiste un algoritmo online per tenere traccia dei componenti in un grafico non indirizzato che cambia?

Problema Ho un grafico non orientato (con bordi multipli), che cambierà nel tempo, nodi e bordi possono essere inseriti ed eliminati. Ad ogni modifica del grafico, devo aggiornare i componenti collegati di questo grafico. Proprietà Ulteriori proprietà sono che non verranno mai ricollegati due componenti. Ovviamente, il grafico può avere …

12 ds.algorithms graph-theory approximation-algorithms online-algorithms

3

Come può DES avere S-Box 6x4 ed essere ancora reversibile?

I dati non andrebbero persi quando si mappano i valori a 6 bit su valori a 4 bit nelle S-Box di DES? In tal caso, come possiamo invertirlo in modo che appaia l'output corretto?

12 cr.crypto-security

5

algoritmo di clustering per dati non dimensionali

ho un set di dati di migliaia di punti e un mezzo per misurare la distanza tra due punti qualsiasi, ma i punti di dati non hanno dimensionalità. Voglio un algoritmo per trovare centri di cluster in questo set di dati. immagino che, poiché i dati non hanno dimensioni, un …

12 machine-learning lg.learning clustering

7

Argomenti interdisciplinari tra teoria del controllo e informatica teorica

Sono al mio secondo anno in un Master che non si relaziona troppo con TCS, anche se vorrei che lo facesse. Fondamentalmente si tratta di teoria del controllo, segnali e sistemi e ho preso lezioni in sistemi avanzati (robusto, non lineare, ottimale, stocastico), elaborazione avanzata del segnale e ottimizzazione convessa. …

12 reference-request soft-question

1

Trovare la penombra di un problema di soddisfazione dei vincoli

La seguente domanda è emersa diverse volte durante il test della sicurezza di un sistema o modello. Motivazione: Spesso i difetti di sicurezza del software non provengono da bug dovuti a input validi, ma da errori derivanti da input non validi che sono sufficientemente vicini agli input validi per superare …

12 lo.logic csp security

3

Difficoltà nei problemi di massima soddisfazione dei vincoli?

Una formulazione equivalente del teorema di PCP è: per Max 3-SAT è -hard distinguere tra formule e formule soddisfacenti dove al massimo la r -frazione delle clausole è soddisfacente (per alcuni r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Esiste un teorema di dicotomia noto che classifica tutti i CSP Max in base …

12 cc.complexity-theory pcp csp

6

Qual è davvero un buon problema per sporcarti le mani nella geometria computazionale?

La geometria computazionale è un'area che trovo piuttosto interessante e mi piacerebbe dedicare circa un mese o due a un progetto che mi introdurrà a questo e mi aiuterà a imparare concetti chiave. Qual è un buon modo per affrontare questo e quali sono i concetti chiave che dovrei essere …

12 soft-question cg.comp-geom

2

Prodotto a matrice booleana sparsa veloce con possibile preelaborazione

Quali sono gli algoritmi più efficienti per moltiplicare due matrici booleane molto sparse (diciamo, N = 200 e ci sono solo circa 100-200 elementi diversi da zero)? In realtà, ho il vantaggio che quando sto moltiplicando A per B, le B sono predefinite e posso eseguire una pre-elaborazione arbitrariamente complessa …

12 ds.algorithms matrix-product sparse-matrix boolean-matrix implementation

4

Problemi diretti NP-hard sui DAG

La larghezza dell'albero misura la vicinanza di un grafico a un albero. Numerosi problemi NP-difficili sono trattabili su grafici con larghezza dell'albero limitata. Se un problema rimane NP-duro sugli alberi, la larghezza dell'albero non può salvarci. Questa era la motivazione dietro una delle mie precedenti domande che chiedevano problemi NP-difficili …

12 np-hardness directed-acyclic-graph

1

Complessità della comunicazione per decidere l'associatività

Sia { 0 , . . . , N - 1 } e ∘ : S × S → S . Voglio calcolare la complessità della comunicazione nel decidere se ∘ è associativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow …

12 cc.complexity-theory communication-complexity

3

Esiste una limitazione naturale della logica VO che cattura P o NP?

La carta Lauri Hella e José María Turull-Torres, Query di calcolo con logiche di ordine superiore , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propone la logica VO, la logica di ordine variabile. Ciò consente la quantificazione degli ordini rispetto alle variabili. VO è abbastanza potente e può esprimere …

12 cc.complexity-theory complexity-classes lo.logic computability descriptive-complexity