Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

8
Migliori limiti superiori su SAT
In un'altra discussione , Joe Fitzsimons ha chiesto "i migliori limiti inferiori attuali su 3SAT". Mi piacerebbe andare dall'altra parte: qual è il miglior limite superiore attuale su 3SAT? In altre parole, qual è la complessità temporale del solutore SAT più efficiente? In particolare, è concepibile trovare un algoritmo sub-esponenziale …
12
Basi Gröbner in TCS?
Qualcuno conosce interessanti applicazioni delle basi di Gröbner all'informatica teorica? Le basi di Gröbner sono utilizzate per risolvere equazioni polinomiali multi-variabile, un problema NP-difficile in generale. Mi chiedevo se fossero stati usati alcuni casi speciali trattabili per fornire algoritmi / costruzioni / prove efficienti nelle aree relative al TCS o …
3
Conseguenze di un algoritmo di tempo quasi polinomiale per il problema dell'isomorfismo grafico
Il problema del grafico isomorfismo (IG) è probabilmente il candidato più noto per un problema NP-intermedio . L'algoritmo più noto è l'algoritmo sub-esponenziale con runtime 2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}. È noto che GI non èNPNP\mathsf{NP}completo a meno che lagerarchia polinomiale noncollassi. Quali sarebbero le conseguenze teoriche della complessità di un algoritmo …
5
Gli accoglienti quartieri di "P" e di "NP-hard"
Lascia che XXX sia un compito algoritmico. (Può essere un problema di decisione o un problema di ottimizzazione o qualsiasi altra attività.) Chiamiamo "dal lato polinomiale" se si presume che sia NP-difficile implica che il crineario polinomiale collassa. Chiamiamo "sul lato NP" se si presume che ammetta un algoritmo polinomiale …
3
Quali sono i motivi per cui i ricercatori nella geometria computazionale preferiscono il modello BSS / RAM reale?
sfondo Il calcolo sui numeri reali è più complicato del calcolo sui numeri naturali, poiché i numeri reali sono oggetti infiniti e ci sono innumerevoli numeri reali, quindi i numeri reali non possono essere rappresentati fedelmente da stringhe finite su un alfabeto finito. A differenza della classica calcolabilità su stringhe …
2
Il programma GCT di Mulmuley
Talvolta si afferma che la teoria della complessità geometrica di Ketan Mulmuley è l'unico programma plausibile per risolvere le questioni aperte della teoria della complessità come la domanda P vs. NP. Ci sono stati molti commenti positivi di famosi teorici della complessità sul programma. Secondo Mulmuley ci vorrà molto tempo …
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.