Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Chi per primo ha proposto di utilizzare l' algoritmo Monte Carlo
Sono sicuro che tutti conoscono l' esperimento con ago di Buffon nel 18 ° secolo, che è uno dei primi algoritmi probabilistici per calcolare .ππ\pi L'implementazione dell'algoritmo nei computer di solito richiede l'uso di , o una funzione trigonometrica, che, anche se implementati come serie troncate, in qualche modo vanifica …
2
Quali sono le conseguenze di
Shiva Kintali ha appena annunciato un (cool!) Risultato che isomorfismo grafico per i grafici treewidth limitati di larghezza è ⊕ L -Hard≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informalmente, la mia domanda è: "Quanto è difficile?" Sappiamo che in modo non uniforme , vedi le risposte a questa domanda . Sappiamo …
4
Articoli Wikipedia mancanti
Su quali argomenti TCS mancanti su Wikipedia ti piacerebbe di più che ci fosse un articolo? Potrebbero essere evidenti omissioni o solo argomenti che ritieni debbano davvero contenere un articolo. Un argomento per risposta, per favore, in modo che quelli più ricercati possano essere votati. Aggiornamento 5/2/2017 : Shuchi Chawla …
2
Set massimi / massimi indipendenti
Si sa qualcosa sulla classe di grafici con la proprietà che tutti gli insiemi massimi indipendenti hanno la stessa cardinalità e sono quindi IS massimi? Ad esempio, prendi una serie di punti nel piano e considera il grafico delle intersezioni tra tutti i segmenti tra coppie di punti nella serie. …
3
Problemi succinti in
Lo studio della rappresentazione succinta dei grafici è stato avviato da Galperin e Wigderson in un articolo del 1983, in cui dimostrano che per molti semplici problemi come trovare un triangolo in un grafico, la corrispondente versione succinta in . Papadimitriou e Yanakkakis approfondiscono questa linea di ricerca e dimostrano …
4
Esiste un modello di calcolo non completo di Turing il cui problema di arresto è indecidibile?
Non riesco a pensare a un tale modello, forse a qualche forma di calcolo lambda tipizzato? qualche automa cellulare elementare? Ciò confuterebbe quasi il "Principio dell'equivalenza computazionale" di Wolfram: Quasi tutti i processi che non sono ovviamente semplici possono essere visti come calcoli di raffinatezza equivalente
5
Errori di lunga durata nell'informatica
Questa è la mia prima domanda nello stack cstheory, quindi non essere troppo scortese se in qualche modo sto violando l'etichetta) Come sappiamo, in matematica anche famosi matematici, superstar e geni fanno di volta in volta gravi errori. Ad esempio, sia il teorema a 4 colori che il teorema di …
2
Qual è la complessità nel distinguere un vero spettro di Fourier da uno falso?
A PHPHPH macchina abbia accesso ad un oracolo casuale booleano funzione f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} , e due spettri di Fourier ggg ed hhh . Gli spettri di Fourier di una funzione fff sono definiti come F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) …
3
Calcolo di qualsiasi informazione su Max-3SAT
Per una formula 3CNF lasciate sia il numero massimo di clausole soddisfatti in qualsiasi assegnazione a . È noto che Max-3SAT è difficile da approssimare (soggetto a P ≠ NP), cioè non esiste un algoritmo polytime il cui input è una formula 3CNF e il cui output è il numero …
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.