Sto cercando un riferimento (non una prova, che posso fare) alla seguente estensione di Chernoff. Lasciate X1, . . , XnX1,..,XnX_1,..,X_n essere variabili casuali booleane, non necessariamente indipendenti . Invece, è garantito che Pr ( Xio= 1 | C) < pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Grazie in anticipo!
Supponiamo che uno abbia un algoritmo randomizzato (BPP) AAA usa rrr bit di casualità. I modi naturali per amplificare la sua probabilità di successo a 1−δ1−δ1-\delta , per qualsiasi δ>0δ>0\delta>0 scelto , sono Piste indipendenti + maggioranza: eseguire AAA autonomo T=Θ(log(1/δ)T=Θ(log(1/δ)T=\Theta(\log(1/\delta) . Volte, e prendere il voto della maggioranza delle …
Ci sono ricercatori che dimostrano che la cancellazione di un bit deve consumare energia, ora sono state fatte ricerche sul consumo medio di energia dell'algoritmo con complessità computazionale ? Immagino che la complessità computazionale F ( n ) sia correlata al consumo medio di energia, spero di ottenere qualche risposta …
Chi è stato il primo a dimostrare che una lingua è in NP se un certificato per la lingua può essere verificato in tempo polinomiale? Abbiamo un documento che lo dimostra formalmente? Quando la comunità TCS ha iniziato a de-enfatizzare il non determinismo a favore della verificabilità? Non riesco, per …
Sto cercando un documento di indagine sui concetti importanti nel campo degli Quantum Automata. Ho trovato Quantum Automata Theory - A Review di Hirvensalo, ma sembra troppo conciso per capire l'argomento. Esiste un sondaggio abbastanza completo sul tema degli Quantum Automata? Inoltre, potresti indicarmi la letteratura essenziale sull'argomento?
Diciamo che un grafo ha la proprietà M se i suoi vertici possono essere ordinati v 1 , v 2 , ... v n in modo tale che il grafico H i indotto dai vertici { v 1 , ... , v i } ha d i s t H …
Dato composito campo numero generale setaccio è migliore algoritmo di fattorizzazione noto per intero fattorizzazione di N . È un algoritmo randomizzato e otteniamo una complessità attesa di O ( e √N∈NN∈NN\in\Bbb NNNNper il fattoreN.O(e649√(logN)13(loglogN)23)O(e649(logN)13(loglogN)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN Ho cercato informazioni sulla complessità del caso peggiore su questo algoritmo …
Sono un grande matematico interessato a TCS. Voglio studiare da solo gli algoritmi e la loro complessità per risolvere i problemi teorici di gruppo come trovare l'ordine degli elementi, l'enumerazione dei coset, trovare il generatore, testare se un determinato sottoinsieme genera il gruppo. Quale libro dovrei leggere?
nel 1979 Hopcroft / Ullman scrisse che L ⊆ P ⊆ NP ⊆ PSpace è noto ma L ⊊ PSpace è l'unico contenimento (e banale) noto, anche se tutti sono congetturati per essere contenitori adeguati e "dove stanno ancora le cose" ~ 4 decenni dopo . da allora esiste qualche …
Sto leggendo i sondaggi di Trevisan e Lovett sulle applicazioni dell'additivo combinatorio in TCS. La maggior parte di queste applicazioni rientra nella complessità computazionale , ad esempio limiti inferiori. Mi chiedo se la combinatoria additiva abbia trovato applicazioni anche nella progettazione di algoritmi . La motivazione della mia domanda è …
Sono abbastanza certo di non essere il primo a intrattenere l'idea che presenterò. Tuttavia, sarebbe utile se riuscissi a trovare qualsiasi letteratura relativa all'idea. L'idea è di costruire una Turing Machine M con la proprietà che se P = NP allora M risolverà 3-SAT in tempo polinomiale. (La scelta di …
Quindi conosciamo tutti il limite inferiore dell'albero di confronto di sul numero peggiore di confronti effettuati da un algoritmo di ordinamento del confronto (deterministico). Non si applica all'ordinamento di confronto randomizzato (se misuriamo i confronti previsti per l'input del caso peggiore). Ad esempio, per n = 4 , il limite …
Mentre rispondevo a questa domanda su cstheory , ho (informalmente) dimostrato al volo il seguente teorema: Teorema : per qualsiasi fisso il probem del ciclo hamiltoniano rimane NP-completo anche se limitato a grafici planari bipartiti non indirizzati di massimo grado 3 che non contengono cicli di lunghezza ≤ l .l≥3l≥3l …
Quindi, una rapida ricerca sul web mi ha portato a credere che "APXHardness implica che non esiste un QPTAS per un problema a meno che [qualche classe di complessità] sia inclusa in qualche [altra classe di complessità]" ed è anche noto! Sembra che tutti lo sappiano tranne me. Sfortunatamente, non …
Lingue Dyck è definito dalla seguente grammatica sull'insieme di simboli . Intuitivamente lingue Dyck sono le lingue di parentesi equilibrato di diverso tipo. Ad esempio, è in ma non lo è.Dyck(k)Dyck(k)\mathsf{Dyck}(k)S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k S )_k \,|\, \epsilon {(1,…,(k,)1,…,)k}{(1,…,(k,)1,…,)k}\{(_1,\ldots,(_k,)_1,\ldots,)_k\}kkk([])()([])()(\,[\,]\,)\,(\,)Dyck(2)Dyck(2)\mathsf{Dyck}(2)([)]([)](\,[\,)\,] Nel documento Algoritmi …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.