Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Qual è l'algoritmo deterministico più veloce per la raggiungibilità dinamica della digraph senza cancellazione dei bordi?
Qual è il miglior risultato deterministico per mantenere la chiusura dinamica transitiva in un grafico diretto con solo inserimento del bordo? Ho letto alcuni articoli sul problema dinamico della chiusura transitiva con inserimento e cancellazione dei bordi. Tuttavia, esistono algoritmi migliori per questo con solo l'inserimento dei bordi?
2
Un'estensione dell'operatore di rumore
In un problema su cui sto attualmente lavorando, un'estensione dell'operatore di rumore si presenta naturalmente ed ero curioso di sapere se ci sono stati lavori precedenti. Prima di tutto, vorrei rivedere l'operatore di rumore di base TεTεT_{\varepsilon} sulle funzioni booleane con valore reale. Data una funzione f:{0,1}n→Rf:{0,1}n→Rf: \{0,1\}^n \to \mathbb{R} …
2
In quali circostanze gli algoritmi
Supponiamo che, per ogni , vi sia una macchina di Turing che decide una lingua nel tempo . Esiste un singolo algoritmo che decide nel tempo ? (Qui, il termine viene misurato in termini di , la lunghezza di input.)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn Fa differenza se gli …
1
Numero di cicli hamiltoniani su grafici casuali
Partiamo dal presupposto che . Quindi è noto il fatto seguente:G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=ln⁡n+ln⁡ln⁡n+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr[G has a Hamiltonian cycle]=⎧⎩⎨⎪⎪10e−e−c(c(n)→∞)(c(n)→−∞)(c(n)→c)Pr[G has a Hamiltonian cycle]={1(c(n)→∞)0(c(n)→−∞)e−e−c(c(n)→c)\begin{eqnarray} Pr [G\mbox{ has a Hamiltonian cycle}]= \begin{cases} 1 & (c(n)\rightarrow \infty) \\ 0 & (c(n)\rightarrow - \infty) \\ e^{-e^{-c}} & (c(n)\rightarrow c) \end{cases} \end{eqnarray} …
3
Set più piccolo che interseca alcuni set
Sia insiemi che possono avere elementi in comune. Sto cercando un set X più piccolo tale che ∀ iS1, S2, ... , SnS1,S2,...,SnS_1,S_2,\ldots,S_nXXX .∀ io ,X∩ Sio≠ ∅∀io,X∩Sio≠∅\forall i,\,X\cap S_i \ne \emptyset Questo problema ha un nome? O si riduce a qualche problema noto? Nel mio contesto descrivo i cicli …
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.