Domande taggate «topology»

Topologia lo studio di oggetti che possono essere continuamente deformati in altri oggetti senza lacerare o forare l'oggetto. Può anche significare una famiglia di insiemi che hanno la proprietà di uno spazio topologico. Le proprietà sono convergenza, connessione e continuità.

2
Biiezioni a input limitato di sequenze infinite
Ecco un puzzle che non sono riuscito a risolvere. Vorrei sapere se questo problema è già noto o ha una soluzione semplice. È possibile definire una biiezione usando le proprietà delle categorie chiuse bicartesiane. Andrej Bauer ha pubblicato una spiegazione di ciò che questo significa sul suo blog come " …
2
Complessità delle proprietà topologiche.
Sono uno scienziato informatico che frequenta un corso di topologia (una spolverata di topologia a punti fortemente influenzata dalla teoria del continuum). Mi sono interessato a problemi di decisione testando una descrizione di uno spazio (per mezzo di semplici) per proprietà topologiche; quelli preservati fino all'omeomorfismo. È noto, ad esempio, …
1
Esiste un quadro geometrico per il calcolo quantistico adiabatico?
Nel calcolo quantico adiabatico (AQC), si codifica la soluzione a un problema di ottimizzazione nello stato fondamentale di un [problema] hamiltoniano . Per arrivare a questo stato fondamentale, inizi in uno stato iniziale (terreno) facilmente raffreddabile con Hamiltoniano e "ricottura" (perturbazione adiabatica) verso , cioèHpHpH_pHioHioH_iHpHpH_p H( s ) = s …
1
Uno spazio topologico legato al SAT: è compatto?
Il problema della soddisfazione è, ovviamente, un problema fondamentale nella CS teorica. Stavo giocando con una versione del problema con infinite variabili. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configurazione di base. Sia XXX un insieme di variabili non vuoto e forse infinito . Un letterale è una variabile x ∈ XX∈Xx \in X o …
1
In che misura la matematica dei Real può essere applicata ai Real Computable?
Esiste un teorema generale che affermerebbe, con un'adeguata sanificazione, che i risultati più noti sull'uso dei numeri reali possono essere effettivamente utilizzati quando si considerano solo i reali calcolabili? Oppure esiste una corretta caratterizzazione dei risultati che rimangono validi se si considerano solo i reali calcolabili? Una domanda secondaria è …
3
Applicazioni per la teoria degli insiemi, la teoria ordinale, la combinatoria infinita e la topologia generale in informatica?
Sono un matematico interessato alla teoria degli insiemi, alla teoria ordinale, alla combinatoria infinita e alla topologia generale. Ci sono applicazioni per queste materie nell'informatica? Ho guardato un po 'e ho trovato molte applicazioni (ovviamente) per la teoria dei grafi finiti, la topologia finita, la topologia a bassa dimensione, la …
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.