Informatica teorica

1

Questo è un seguito alla recente domanda di David Eppstein ed è motivato dagli stessi problemi. Supponiamo che io abbia una dag con pesi in numero reale sui suoi vertici. Inizialmente, tutti i vertici non sono contrassegnati. Posso modificare l'insieme dei vertici contrassegnati da (1) contrassegnando un vertice senza predecessori …

12 ds.algorithms directed-acyclic-graph partial-order

6

Algoritmi del flusso di dati "Dividi e conquista"

Quali algoritmi utili esistono che funzionano su enormi flussi di dati e anche i loro risultati sono abbastanza piccoli e si può calcolare il risultato per una miscela di due flussi unendo in qualche modo i loro risultati? Posso citarne alcuni: Le cose ovvie come sum, min, max, count, top-K …

12 ds.algorithms big-list data-streams

3

Quali sono alcuni esempi di schemi di condivisione segreta effettivamente utilizzati nelle applicazioni del mondo reale?

Il concetto di uno schema di condivisione segreta è spesso attribuito a Shamir (A. Shamir, How to share a secret , Comm. ACM, 22 (1979), pp. 612-613.) E Blakey (GR Blakey, Salvaguardia delle chiavi crittografiche , in Proc. NCC, vol.48, 1979, pagg. 313-317.). L'idea generale è che alcuni S segreto …

12 cr.crypto-security application-of-theory

1

Algoritmo efficiente per colorazioni dei bordi quasi ottimali degli ipergrafi

I problemi di colorazione dei grafici sono già abbastanza difficili per la maggior parte delle persone . Anche così, dovrò essere difficile e porre un problema sulla colorazione dell'ipermetrografo. Domanda. Quali algoritmi efficienti ci sono per trovare una colorazione dei bordi approssimativamente ottimale per gli ipergrafi k-uniformi? Dettagli --- Un …

12 co.combinatorics hypergraphs graph-colouring

3

Streaming derandomizzazione

Gli algoritmi di streaming richiedono la randomizzazione per la maggior parte per fare qualcosa di non banale e, a causa del vincolo di spazio ridotto, hanno bisogno di PRG che utilizzano poco spazio. Conosco due metodi che sono stati citati per l'uso negli algoritmi di stream finora: PRG indipendenti k …

12 ds.algorithms derandomization streaming pseudorandom-generators

3

Lingue

Quali altri problemi linguaggi diversi dall'isomorfismo grafico sono in ? Puoi darci dei riferimenti?NP∩coAMNP∩coAMNP\cap coAM Aggiornamento: Ho dimenticato di dire che mi interessa in lingue non conosciute per essere in .coNPcoNPcoNP

12 cc.complexity-theory reference-request complexity-classes graph-isomorphism

2

Complessità di query computazionale dell'apprendimento SQ

È noto che per l'apprendimento PAC, esistono classi concettuali naturali (ad esempio sottoinsiemi di elenchi di decisioni) per le quali vi sono lacune polinomiali tra la complessità del campione necessaria per l'apprendimento teorico delle informazioni da parte di uno studente computazionalmente illimitato e la complessità del campione richiesta da un …

12 machine-learning lg.learning sample-complexity

3

Complessità della localizzazione nelle reti wireless

Lasciare punti distinti 1...n1...n1 ... n siediti in R2R2\mathbb{R}^2 . Diciamo che punti jiii e sono vicini se | ij | <3 \ pmod {n-2} , il che significa che ogni punto è vicino con punti con indici entro 2 , che si avvolgono.jjj|i−j|<3(modn−2)|i−j|<3(modn−2)|i-j| < 3 \pmod{n-2}222 Il problema è: …

12 cg.comp-geom

2

Alberi bilanciati semplici con O (1) concat?

Nel peggiore dei casi puramente funzionali , elenchi ordinati catenabili a tempo costante , Brodal et al. presenta alberi bilanciati puramente funzionali con O (1) concatenato e O (lg n) inserisci, elimina e trova. La struttura dei dati è alquanto complicata. Esiste un albero di ricerca bilanciato più semplice con …

12 functional-programming ds.data-structures

1

Problemi da ridurre per dimostrare un limite inferiore di

Quali sono i problemi standard che possiamo ridurre per dimostrare limiti inferiori?Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) Naturalmente, problemi di stato diversi dall'ordinamento e dalla distinzione degli elementi.

12 cc.complexity-theory lower-bounds

1

Problema tecnico con la prova del teorema di PCP

Sto leggendo la prova da qui e mi sono imbattuto in un problema tecnico (ma cruciale). So che questo è piuttosto specifico e il contesto è problematico, ma non sono riuscito a capirlo da solo. Nelle pagine 51 e 55, dopo aver presentato i verificatori "standard", si alternano per modificare …

12 cc.complexity-theory pcp

2

Quali sono i lavori teorici di informatica?

Oltre al mondo accademico che è chiaramente la casa dei teorici, mi chiedo quali lavori industriali siano collegati all'informatica teorica, quelli che richiedono un background matematico puro. Saluti !

12 career computational-mathematics

4

Come essere più "teorici"?

Ci scusiamo in anticipo per questo una domanda delicata che non ha una risposta chiusa e corretta. Questo è probabilmente il miglior forum per porre la mia domanda. Sono uno studente del terzo anno nel gruppo di teoria di una delle 15 migliori scuole negli Stati Uniti. Finora ho fatto …

12 soft-question advice-request

1

Esempio di testimone della lunghezza logaritmica più facile da verificare che da trovare

Un'osservazione semplice è che se un problema è decidibile da un programma non deterministico in tempo polinomiale che usa bit non deterministici (cioè, tutti i testimoni sono di lunghezza logaritmica), allora .AAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Se uno si pone quindi la domanda "È più facile verificare un testimone che trovarlo?" …

12 cc.complexity-theory

1

Un esempio in cui il termine lambda normale più piccolo non è il più veloce

Lasciare la di λ Capitolato essere definita come segue:sizesizesizeλλ\lambda ,size(x)=1size(x)=1size(x) = 1 ,size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 .size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 Lasciare la complessità di un -term t essere definito come il numero di riduzioni beta parallele da t x alla sua forma normale (usando un …

12 lo.logic computability pl.programming-languages lambda-calculus