Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Applicazioni di MCTS / UCT
MCTS / UCT è un metodo di ricerca dell'albero dei giochi che utilizza un algoritmo bandito per selezionare nodi promettenti da esplorare. I giochi vengono giocati fino al loro completamento in modo casuale e i nodi che portano a più vittorie vengono esplorati più pesantemente. L'algoritmo del bandito mantiene un …
1
Esiste un algoritmo a tempo polinomiale per risolvere l'isomorfismo dei grafici per i grafici di Delaunay di tessellazioni esagonali (finite)?
Dato un piano finito, ho una tassellatura esagonale di quel piano con un esagono regolare di dimensioni fisse. Quindi computo il grafico Delaunay G per la tassellatura. Dato un tale grafico G, elimino specifici set di nodi in quel grafico per produrre più sottografi di G. Ho bisogno di determinare …
1
È possibile utilizzare una versione della complessità descrittiva del teorema di Rice per separare AC0 e PSPACE?
In questa domanda , è stato menzionato che ci sono versioni descrittive della complessità del teorema di Rice. Ho trovato una prova del seguente teorema: Data una classe di complessità C , le proprietà non banali delle lingue in C non possono essere calcolate in C Avevo precedentemente pubblicato la …
1
reti rispetto alla norma di taglio
La norma di taglio di una matrice reale è il massimo su tutto della quantità.||A||C||UN||C||A||_CA=(ai,j)∈Rn×nUN=(un'io,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| Definire la distanza tra due matrici e daAAABBBdC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = ||A-B||_C Qual è la cardinalità della più piccola rete dello spazio …
1
Nella teoria dei domini, a cosa può servire la struttura extra presente negli spazi metrici?
Il capitolo di Smyth nel manuale di logica in informatica e altri riferimenti descrivono come gli spazi metrici possono essere usati come domini. Capisco che gli spazi metrici completi danno punti fissi unici ma non capisco perché gli spazi metrici siano importanti. Gradirei davvero qualsiasi pensiero sulle seguenti domande. Quali …
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.