Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Relazione tra durezza del riconoscimento di una classe di grafi e caratterizzazione proibita dei sottografi
Sto prendendo in considerazione classi di grafici che possono essere caratterizzate da sottografi proibiti. Se una classe di grafi ha una serie finita di sottografi proibiti, allora c'è un banale algoritmo di riconoscimento del tempo polinomiale (si può semplicemente usare la forza bruta). Ma una famiglia infinita di sottografi proibiti …
2
Il principio Minimax di Yao sugli algoritmi di Monte Carlo
PPPXX\mathcal{X}AA\mathcal{A}PPPDD\mathcal{D}RR\mathcal{R}AA\mathcal{A}minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.\min_{A\in\mathcal{A}}\quad\mathbb{E} cost(A,\mathcal{D}) \leq \max_{x\in\mathcal{X}}\quad\mathbb{E} cost(\mathcal{R},x) \quad\quad\text{for all $\mathcal{D}$ and $\mathcal{R}$}. Principalmente il principio di Yao riguarda solo gli algoritmi di Las Vegas , ma può essere generalizzato agli algoritmi di Monte Carlo come segue. dove indica il costo degli algoritmi Monte Carlo …
1
La durezza NP implica la durezza P?
Se un problema è NP-hard (utilizzando riduzioni dei tempi polinomiali), ciò implica che è P-hard (utilizzando lo spazio del registro o riduzioni NC)? Sembra intuitivo che, se è difficile come qualsiasi altro problema in NP, dovrebbe essere altrettanto difficile di qualsiasi altro problema in P, ma non vedo come concatenare …
2
Rilevamento di due tipi di poligoni quasi semplici
Sono interessato alla complessità di decidere se un determinato poligono non semplice è quasi semplice, in uno dei due diversi sensi formali: debolmente semplice o non auto-attraversante . Dato che questi termini non sono ampiamente conosciuti, vorrei iniziare con alcune definizioni. PPPp0,p1,p2,…,pn−1p0,p1,p2,…,pn−1p_0, p_1, p_2, \dots, p_{n-1}pipip_ipipi+1modnpipi+1modnp_i p_{i+1\bmod n} Un poligono …
1
Flusso massimo con Ford-Fulkerson e DFS
Questa domanda riguarda la complessità temporale dell'algoritmo di flusso massimo Ford-Fulkerson quando si utilizza DFS per trovare percorsi di aumento. C'è un esempio ben noto che mostra che utilizzando DFS è possibile che sia necessario un numero lineare di iterazioni nel flusso massimo, vedere ad esempio la pagina di Wikipedia …
1
Stack divisibile
Che cosa si sa sulle strutture di dati che possono mantenere una sequenza di elementi soggetti alle seguenti due operazioni? Push (x): aggiunge x alla fine della sequenza e restituisce un identificatore per la sua posizione nella sequenza Estrai (S): dato un set non identificato di identificatori, rimuove gli elementi …
1
Considerazioni energetiche sul calcolo
Per verificare la mia comprensione, vorrei condividere alcuni pensieri sui requisiti energetici del calcolo. Questo è un seguito alla mia domanda precedente e potrebbe essere correlato alla domanda di Vinay sulle leggi di conservazione . Mi è venuto in mente che, da un punto di vista termodinamico, l'esecuzione di un …
3
Fonte educativa o indagine sull'analisi del programma semidefinito?
Quando si progettano algoritmi di approssimazione, a volte si risolve un programma semidefinito seguito da una fase di arrotondamento. Un esempio spesso usato per illustrare questo è Max-Cut. (Vedi ad esempio algoritmi di approssimazione di Vijay Vazirani.) Esistono buone fonti educative o sondaggi che vanno oltre il problema di Max-Cut …
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.