Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

5
Curioso delle prove di completezza NP assistita da computer
Nell'articolo "LA COMPLESSITÀ DEI PROBLEMI DI SODDISFAZIONE" di Thomas J. Schaefer, l'autore ha menzionato che This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The …
6
Dichiarazioni che implicano
Questa è una specie di domanda a risposta aperta - per cui mi scuso in anticipo. Ci sono esempi di affermazioni che (apparentemente) non hanno nulla a che fare con la complessità o le macchine di Turing ma la cui risposta implicherebbe P≠NPP≠NP\mathbf{P}\neq \mathbf{NP} ?
3
Giustificare l'analisi asintotica nel caso peggiore per gli scienziati
Ho lavorato per introdurre alcuni risultati della complessità computazionale nella biologia teorica, in particolare evoluzione ed ecologia , con l'obiettivo di essere interessante / utile per i biologi. Una delle maggiori difficoltà che ho incontrato è quella di giustificare l'utilità dell'analisi asintotica del caso peggiore per i limiti inferiori. Esistono …
10
Problemi facili su grafici non ponderati, ma difficili per grafici ponderati
Molti problemi di grafici algoritmici possono essere risolti in tempi polinomiali sia su grafici non ponderati che ponderati. Alcuni esempi sono il percorso più breve, l'albero di spanning minimo, il percorso più lungo (nei grafici aciclici diretti), il flusso massimo, il taglio minimo, la corrispondenza massima, l'arborescenza ottimale, alcuni problemi …
4
Circuiti aritmetici monotoni
Lo stato delle nostre conoscenze sui circuiti aritmetici generali sembra essere simile allo stato delle nostre conoscenze sui circuiti booleani, cioè non abbiamo buoni limiti inferiori. D'altra parte, abbiamo limiti inferiori di dimensione esponenziale per circuiti booleani monotoni . Cosa sappiamo dei circuiti aritmetici monotoni ? Abbiamo buoni limiti inferiori …
1
Generare un labirinto di difesa della torre, noto anche come Trovare i nodi K più vitali ("interdizione nodewise") in un grafico a griglia non ponderato
In un gioco di difesa della torre, hai una griglia NxM con un inizio, una fine e un numero di muri. I nemici prendono il percorso più breve dall'inizio alla fine senza passare attraverso i muri (di solito non sono vincolati alla griglia, ma per semplicità diciamo che lo sono. …
4
Articoli sulla relazione tra complessità computazionale e geometria / topologia algebriche?
Mi chiedevo quali documenti avrei dovuto leggere per capire questa domanda Una connessione inaspettata ad altre aree della matematica come la geometria algebrica o la coomologia superiore. Forse anche un'area della matematica non ancora sviluppata. Forse qualcuno svilupperà una direzione completamente nuova per la matematica al fine di gestire la …
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.