Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Esiste un'estensione delle espressioni regolari che cattura le lingue libere dal contesto?
In molti articoli che coinvolgono grammatiche senza contesto (CFG), gli esempi di tali grammatiche presentati spesso ammettono facili caratterizzazioni del linguaggio che generano. Per esempio: S →S→aaSbS→aaSbS \to a a S b S→S→S \to genera ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a …
3
Crittografia senza ipotesi: ricerca di una panoramica
Supponiamo che e un algoritmo a tempo lineare veloce per SAT compaiano domani. All'improvviso RSA è insicuro, gran parte del nostro moderno sistema di comunicazione si rompe e dobbiamo riconsiderare come mantenere segreti gli uni dagli altri.P=NPP=NPP = NP Domanda: esiste un buon riferimento singolo (o un breve elenco) per …
1
Regolarità Lemma per grafici sparsi
La regolarità di Szemeredi Lemma afferma che ogni grafico denso può essere approssimato come un'unione di O ( 1 )O(1)O(1) molti grafici di espansori bipartiti. Più precisamente, esiste una partizione della maggior parte dei vertici in serie O ( 1 )O(1)O(1) tale che la maggior parte delle coppie di serie …
2
A volte è meglio non pubblicare affatto?
Spero che questa non sia una domanda politicamente scorretta da porre, ma per uno studente di dottorato che di solito pubblica presso CCC / ITCS / ICALP (e occasionalmente presso FOCS / STOC), potrebbe essere dannoso (in termini di carriera) pubblicare lavori meno significativi in conferenze meno prestigiose (ad es. …
5
Implicazioni matematiche delle congetture della teoria della complessità al di fuori del TCS
Conosci interessanti conseguenze di congetture (standard) nella teoria della complessità in altri campi della matematica (cioè al di fuori dell'informatica teorica)? Preferirei risposte dove: la congettura della teoria della complessità è il più generale e standard possibile; Sono d'accordo anche con le conseguenze della durezza di problemi specifici, ma sarebbe …
3
Complessità di "è un grafico un prodotto"
Questa domanda nasce dalla pura curiosità (è emersa pensando a riordinare una stringa , ma non sono sicuro che sia effettivamente correlata), quindi spero sia appropriata. Ci sono vari prodotti grafici e sono interessato a nessuno di questi qui. Qual è la complessità nel determinare se un grafico è isomorfo …
2
Consigli per partecipare alla mia prima conferenza TCS
Parteciperò alla mia prima conferenza di informatica e dopo aver letto i consigli su come migliorare le conferenze ho notato che i vari suggerimenti riguardavano gli studenti laureati che frequentavano la loro prima conferenza. Che consiglio hai per uno studente laureato che frequenta la sua prima conferenza e quale dovrebbe …
3
Arrotondamento per ridurre al minimo la somma degli errori nelle distanze a coppie
Cosa si sa della complessità del seguente problema: Dato: numeri razionali .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Output: numeri interi .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Obiettivo: minimizzare dove∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Cioè, vorremmo arrotondare i numeri razionali in …
2
Perché c'è un'enorme differenza tra i solutori SAT?
I solutori di SAT sono molto importanti negli attacchi algebrici , ad esempio walkingat e minisat . Tuttavia, quando si risolvono i problemi di benchmark disponibili qui c'è un'enorme differenza di prestazioni tra i due: Walksat è molto più veloce di minisat per questi problemi. Perchè è questo? Questa implementazione …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.