Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Perché i rapporti di approssimazione differenziale non sono ben studiati rispetto a quelli standard nonostante i loro benefici dichiarati?
MINsupAOPTsupAOPT\sup\frac{A}{OPT}MINMINMINAAAAAAOPTOPTOPTinfΩ−AΩ−OPTinfΩ−AΩ−OPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega fornisce lo stesso rapporto di approssimazione per problemi come la copertura del vertice minimo e il set indipendente massimo che sono noti per essere solo realizzazioni diverse dello stesso problema; fornisce lo stesso rapporto per le versioni max e min dello stesso problema. Allo stesso tempo, nella teoria standard …


2
Complessità temporale dell'algoritmo Bellman-Held-Karp per TSP, prendere 2
Una recente domanda ha discusso dell'algoritmo di programmazione dinamica ormai classico per TSP, dovuto indipendentemente a Bellman e Held-Karp . L'algoritmo è universalmente segnalato per essere eseguito in tempo . Tuttavia, come ha recentemente sottolineato uno dei miei studenti, questo tempo di esecuzione potrebbe richiedere un modello di calcolo irragionevolmente …




5
"One Way Functions" ha qualche applicazione al di fuori di crypto?
Una funzione f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^* è unidirezionale se fff può essere calcolata da un algoritmo temporale polinomiale, ma per ogni algoritmo temporale polinomiale randomizzato AAA , Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) per ogni polinomio e sufficientemente grande , assumendo che è scelto uniformemente da . La …

7
Organizzazione dei dati di ricerca
Questa è una domanda nello spirito di questa in cui ho risposto che è importante tenere traccia di ciò che hai fatto qualcosa, perché l'hai fatto e cosa non funziona. Personalmente uso i notebook a tale scopo, ma presenta diversi inconvenienti: in primo luogo ho bisogno di molta superficie di …


2
Cosa sappiamo delle versioni limitate del problema di arresto
( AGGIORNAMENTO : qui viene posta una domanda meglio formata poiché i commenti per la risposta accettata di seguito mostrano che questa domanda non è ben definita) La classica dimostrazione dell'impossibilità del problema di arresto dipende dalla dimostrazione di una contraddizione quando si tenta di applicare l'algoritmo di rilevamento dell'arresto …

1
Significato di P = NP? dipende dalla geometria spazio-temporale?
Questa domanda riguarda la pagina 125 del libro "Automi cellulari in spazi iperbolici: volume 2" di Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&amp;pg=PA125 Secondo l'autore, la domanda P = NP è mal posta perché nell'impostazione iperbolica P = NP o nella notazione usata più avanti nel libro P h = …


2
Valanga come processo stocastico
Considera il seguente processo: Ci sono bidoni disposti dall'alto verso il basso. Inizialmente, ogni cestino contiene una palla. In ogni passo, noinnn scegli una palla uniformemente a caso ebbb sposta tutte le palline dal cestino contenente nel cestino sottostante. Se era già il cestino più basso, rimuoviamo le palline dal …

1
Separazione tra equilibri correlati grossolani ed equilibri correlati
Sto cercando esempi di tecniche per dimostrare il prezzo dei limiti dell'anarchia che hanno il potere di separare il prezzo dell'anarchia dagli equilibri correlati grossolani (l'insieme limitante delle dinamiche senza rimpianti esterni) dal prezzo dell'anarchia dagli equilibri correlati (il limite insieme di dinamiche no-swap-regret). Sono note separazioni naturali di questo …


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.