Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

8
Migliori limiti superiori su SAT
In un'altra discussione , Joe Fitzsimons ha chiesto "i migliori limiti inferiori attuali su 3SAT". Mi piacerebbe andare dall'altra parte: qual è il miglior limite superiore attuale su 3SAT? In altre parole, qual è la complessità temporale del solutore SAT più efficiente? In particolare, è concepibile trovare un algoritmo sub-esponenziale …
4
Trovare l'espressione regolare minima è un problema NP-completo?
Sto pensando al seguente problema: voglio trovare un'espressione regolare che corrisponda a un determinato insieme di stringhe (ad esempio indirizzi e-mail validi) e non corrisponda ad altri (indirizzi e-mail non validi). Supponiamo che per espressione regolare intendiamo una macchina a stati finiti ben definita, non ho familiarità con la terminologia …
16
Risultati della fisica in TCS?
Sembra chiaro che una serie di sottocampi dell'informatica teorica sono stati significativamente influenzati dai risultati della fisica teorica. Ne sono due esempi Calcolo quantistico Risultati della meccanica statistica utilizzati nell'analisi della complessità / algoritmi euristici. Quindi la mia domanda è: ci sono delle aree principali che mi mancano? La mia …
10
I computer reali hanno solo un numero finito di stati, quindi qual è la rilevanza delle macchine di Turing rispetto ai computer reali?
I computer reali hanno una memoria limitata e solo un numero limitato di stati. Quindi sono essenzialmente automi finiti. Perché gli informatici teorici usano le macchine di Turing (e altri modelli equivalenti) per studiare i computer? Qual è lo scopo di studiare questi modelli molto più forti rispetto ai computer …
12
Basi Gröbner in TCS?
Qualcuno conosce interessanti applicazioni delle basi di Gröbner all'informatica teorica? Le basi di Gröbner sono utilizzate per risolvere equazioni polinomiali multi-variabile, un problema NP-difficile in generale. Mi chiedevo se fossero stati usati alcuni casi speciali trattabili per fornire algoritmi / costruzioni / prove efficienti nelle aree relative al TCS o …
4
Perché non siamo stati in grado di sviluppare una teoria della complessità unificata del calcolo distribuito?
Il campo dell'informatica distribuita non è andato molto bene nello sviluppo di un'unica teoria matematica per descrivere algoritmi distribuiti. Esistono diversi "modelli" e framework di calcolo distribuito che semplicemente non sono compatibili tra loro. La pura esplosione di diverse proprietà temporali (asincronia, sincronia, sincronia parziale), varie primitive di comunicazione (trasmissione …
8
Rigore che porta all'intuizione
Su MathOverflow, Timothy Gowers ha posto una domanda intitolata " Dimostrare che il rigore è importante ". La maggior parte della discussione riguardava casi che mostravano l'importanza della prova, di cui probabilmente le persone su CSTheory non devono essere convinte. Nella mia esperienza, le prove devono essere più rigorose nell'informatica …
1
Importanza dei lavori per autore singolo?
Sono uno studente di dottorato del quarto anno in informatica teorica. Mi piacerebbe rimanere nel mondo accademico, quindi sto pensando al modo migliore per avanzare nella mia carriera. Ovviamente il modo migliore per farlo è scrivere un sacco di buoni lavori, ma un'altra domanda è se dovrei cercare di avere …
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.