Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Ordinamento usando una scatola nera
Supponiamo di voler ordinare un elenco di numeri reali. Supponiamo che ci venga data una scatola nera che può ordinare istantaneamente numeri reali. Quanto vantaggio possiamo ottenere usando questa scatola nera?n √SSSnnnn--√n\sqrt n Ad esempio, possiamo ordinare i numeri con solo chiamate nella casella nera? Il miglior algoritmo che ho …
4
A cosa servono gli infiniti grafici?
Ho appena letto sulla Wikipedia tedesca che un grafico infinito è un grafico con un numero infinito di nodi o un numero infinito di bordi. Conosco solo applicazioni e algoritmi per grafici finiti. A cosa servono gli infiniti grafici? Quali sono le applicazioni di quelli? Non riesco a immaginare algoritmi …
2
Esiste un calcolo lambda tipizzato che è coerente e Turing completo?
Esiste un calcolo lambda tipizzato in cui la logica corrispondente nella corrispondenza Curry-Howard è coerente e dove esistono espressioni lambda tipizzabili per ogni funzione calcolabile? Questa è certamente una domanda imprecisa, mancante di una definizione precisa di "calcolo lambda tipizzato". Mi chiedo sostanzialmente se ci sono (a) esempi noti di …
4
Isomorfismi della struttura dei dati
Disclaimer: non sono un teorico CS. Proveniente dall'algebra astratta, sono abituato a trattare cose che sono uguali a un isomorfismo, ma ho difficoltà a tradurre questo concetto in strutture di dati. Per prima cosa ho pensato che sarebbero bastati dei morfismi teorici biiettivi, ma mi sono imbattuto in un muro …
1
FPT vs W [P] - Complessità parametrizzata
Nella complessità parametrizzata, ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . Si presume che ciascuno dei contenitori sia corretto.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Se allora P = W [ P ] .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Ma segue questo Se allora F P T = …
4
Permutazione gioco redux
Questa è una riaffermazione di una domanda precedente . Considera il seguente gioco imparziale perfetto tra due giocatori, Alice e Bob. Ai giocatori viene data una permutazione degli interi da 1 a n. Ad ogni turno, se la permutazione attuale aumenta, il giocatore attuale perde e vince l'altro giocatore; in …
1
Problemi in NP ma non in Average-P / poly
Il Theoem Karp – Lipton afferma che se , allora crolla in . Pertanto, supponendo che le separazioni tra e , nessun apparterrà a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yNP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Sono interessato alla seguente domanda: …
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.