Informatica teorica

7

Applicazioni della teoria dei giochi in informatica?

Come studente di informatica, sono stato introdotto alla teoria dei giochi, ma non ho visto molti dettagli sull'argomento. Ho cercato su Google e guardato alcuni libri sulla teoria dei giochi e hanno fornito la conferma del suo utilizzo nell'informatica. Ho iniziato uno studio formale della teoria dei giochi dal punto …

14 reference-request gt.game-theory

2

Algoritmo ottimale per trovare la circonferenza di un grafico sparso?

Mi chiedo come trovare la circonferenza di un grafico sparso non orientato. Per rado intendo . Per ottimale intendo la minore complessità temporale.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Ho pensato ad alcune modifiche all'algoritmo di Tarjan per i grafici non indirizzati, ma non ho trovato buoni risultati. In realtà ho pensato che se avessi trovato …

14 ds.algorithms graph-theory open-problem

1

Il compilatore Stalin ottimizza brutalmente, ma come?

La dichiarazione di ricerca di JM Siskind afferma: Stalin è un compilatore di ottimizzazione per Scheme che esegue analisi statiche dell'intero programma e utilizza i risultati di tale analisi per generare codice estremamente efficiente. Stalin utilizza una vasta collezione di tecniche di analisi statica. Esegue una nuova forma di analisi …

14 compilers

1

Il tempo è quasi polinomiale in PSPACE?

Ho fatto qualche ricerca su questo, ma non sono riuscito a trovare una risposta in entrambi i modi. Huck rispose completamente. Grazie :)

14 cc.complexity-theory complexity-classes time-complexity space-complexity

5

Qual è il limite dei dati di compressione senza perdita? (se esiste un limite del genere)

Ultimamente ho avuto a che fare con algoritmi relativi alla compressione e mi chiedevo quale sia il miglior rapporto di compressione che può essere raggiunto con la compressione dei dati senza perdita di dati. Finora, l'unica fonte che ho potuto trovare su questo argomento era la Wikipedia: La compressione senza …

14 it.information-theory data-streams

2

Qual è la complessità di Median-SAT?

Sia una formula CNF con variabili e clausole . Consenti a t \ in \ {0,1 \} ^ n di rappresentare un'assegnazione variabile e f _ {\ varphi} (t) \ in \ {0, \ ldots, m \} conteggi il numero di clausole soddisfatte da un'assegnazione variabile a \ varphi . …

14 cc.complexity-theory sat counting-complexity

7

Analisi matematica e complessità computazionale?

la complessità computazionale comporta grandi quantità di combinatoria e teoria dei numeri, alcune ingridienze da stocastica e una quantità emergente di algebra. Tuttavia, essendo un analista, mi chiedo se ci siano applicazioni di analisi in questo campo o forse idee ispirate all'analisi. Tutto quello che so che corrisponde leggermente a …

14 cc.complexity-theory reference-request soft-question big-picture

2

Il problema “Minori discriminanti” è NP-completo?

Questo è un nome che ho inventato per questo problema. Non l'ho mai visto descritto da nessuna parte prima. Non sono stato ancora in grado di trovare una prova della completezza NP né un algoritmo temporale polinomiale per questo problema. Non è un problema di compiti a casa - è …

14 cc.complexity-theory np-hardness

2

Piano proiettivo dell'ordine 12

Obiettivo : risolvere la congettura che non esiste un piano proiettivo di ordine 12. Nel 1989, usando la ricerca al computer su un Cray, Lam ha dimostrato che non esiste un piano proiettivo di ordine 10. Ora che il numero di Dio per il cubo di Rubik è stato determinato …

14 open-problem

3

Garanzie di durezza per AES

Molti sistemi crittografici a chiave pubblica hanno una sorta di sicurezza dimostrabile. Ad esempio, il sistema crittografico Rabin è molto difficile quanto il factoring. Mi chiedo se esiste un tale tipo di sicurezza dimostrabile per i sistemi crittografici a chiave segreta, come AES. In caso contrario, qual è la prova …

14 cr.crypto-security algebra algebraic-complexity

6

Idee per progetti di calcolo quantistico

Sono uno studente di informatica e sto attualmente pianificando il mio progetto di laurea. Ho bisogno di alcune idee nel campo dell'informatica quantistica. qualsiasi aiuto?

14 quantum-computing soft-question

1

Chernoff legato per somme ponderate

Considera , dove lambda_i> 0 e Y_i è distribuito come normale standard. Che tipo di limiti di concentrazione si possono provare su X, in funzione dei coefficienti (fissi) lambda_i?X= ∑ioλioY2ioX=ΣioλioYio2X = \sum_i \lambda_i Y_i^2 Se tutti i lambda_i sono uguali, allora questo è un limite di Chernoff. L'unico altro risultato …

14 chernoff-bound

1

Conseguenze di prove / algoritmi sub-esponenziali per SAT

Ci sarebbero conseguenze importanti se SAT avesse al massimo prove unsat esponenziali o, ancora più fortemente, SAT avesse algoritmi a tempo subesponenziale?

14 cc.complexity-theory sat proof-complexity

2

Numero di tagli di un grafico senza usare l'algoritmo di Karger

Sappiamo che l'algoritmo di taglio di Karger può essere usato per dimostrare (in modo non costruttivo) che il numero massimo di possibili tagli che un grafico può avere è ( n2)(n2)n \choose 2 . Mi chiedevo se potessimo in qualche modo provare questa identità dando una prova biiettiva (piuttosto iniettiva) …

14 ds.algorithms graph-theory co.combinatorics graph-algorithms max-flow-min-cut

1

È {ww '| HamDist (w, w ')> 1} senza contesto?

Dopo aver letto la domanda recente "è il complemento di {www∣...}{www∣...}\{ www \mid ...\} Context-free?" ; Ho ricordato un problema simile che non sono riuscito a confutare: È L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} senza contesto? Qui richiediamo che le due stringhe differiscano …

13 fl.formal-languages context-free