Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Funzioni non costruibili e risultati anomali
Nel libro Arora-Barak, nella definizione di funzioni costruibili nel tempo, si dice che l'uso di funzioni che non sono costruibili nel tempo può portare a "risultati anomali". Qualcuno ha un esempio di tale "risultato anomalo"? Ho sentito in particolare che potrebbero esistere funzioni tali che il teorema della gerarchia temporale …
2
Gli automi non deterministici che camminano sugli alberi sono più forti di quelli deterministici?
Aggiornamento: sembra che questo problema sia stato studiato e risolto di recente, vedi questo articolo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E anche questo sondaggio: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supponiamo che invece del solito insieme di parole, {0,1} *, le nostre parole non siano lineari ma piuttosto date su una struttura ad albero. Per impedire alle …
1
Qual è il riferimento per il primo teorema di incompletezza di Gödel basato sull'indecidibilità del problema di arresto?
Una forma più debole del primo teorema di incompletezza di Gödel, le cui prove dirette alla maniera di Gödel sono lunghe, coinvolte e in qualche luogo piuttosto contro-intuitive, ha una prova semplice e intuitiva basata sull'indecidibilità del problema di arresto - vedi ad esempio https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Chi per primo …
4
Risultati di bootstrap che si avviano davvero
Esiste un tipo di risultati in TCS generalmente chiamati risultati bootstrap . In generale, è nella forma Se la proposizione UNUNA vale, allora la proposizione UN'UN'A' vale. dove UNUNA e UN'UN'A' sono proposizioni che sembrano simili, e UNUNA è apparentemente "più debole" di UN'UN'A' , che è la ragione per …
2
C'è un problema informatico che si trova in un tempo quasi polinomiale ma non è (forse) in
Il tempo quasi polinomiale, o QP in breve, è una classe di complessità sulla macchina di Turing deterministica. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Mentre βP è una classe di complessità di non determinismo limitato. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap È facile vedere che qualsiasi macchina di βP può essere simulata …
1
È plausibile un non determinismo quadratico che accelera il calcolo deterministico?
Questo è un seguito all'accelerazione non deterministica del calcolo deterministico . È plausibile che il non determinismo (o più in generale l'alternanza) consentirebbe un'accelerazione quadratica generale del calcolo deterministico? Oppure ci sono conseguenze plausibili conosciute per qualcosa come ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)
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.