Parity-P è l'insieme di lingue riconosciute da una macchina di Turing non deterministica che può distinguere solo tra un numero pari o un numero dispari di percorsi di "accettazione" (anziché un numero zero o diverso da zero di percorsi di accettazione). Così Parity-P è sostanzialmente PP stunted sorella minore s': …
Una rete di switch (il nome è inventato) è realizzata con tre tipi di nodi: un nodo iniziale un nodo finale uno o più nodi Switch Il nodo switch ha 3 uscite: sinistra, su, destra; ha due stati L e R e uno stato target TL o TR . Ogni …
Lascia e considera il problema decisionale0 ≤ p ≤ 10≤p≤10\le p\le 1 CLIQUE Ingresso: intero , grafo con vertici e bordi Domanda: non contiene una cricca su almeno vertici?pp_p G t ⌈ p ( tSSssolsolGttt⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil ssolsolGSSs Un'istanza di CLIQUE pp_p contiene una proporzione ppp …
Ho letto che la programmazione lineare intera è risolvibile in tempo polinominale se il numero di variabili è fisso, cioè n ∈ O ( 1 ) . Se il numero di variabili aumenta logaritmicamente, cioè n ∈ O ( log 2 ( N ) ) per un dato input di …
Da un punto di vista matematico / di ragionamento puramente astratto (come) si potrebbe persino scoprire o ragionare su problemi come 3-SAT, somma dei sottoinsiemi, commesso viaggiatore ecc.? Saremmo ancora in grado di ragionare su di loro in modo significativo con il solo funzionale punto di vista? Sarebbe anche possibile? …
FewP è la classe di con polinomio legato al numero di soluzioni (nella dimensione di input). Non è noto alcun problema -Complete in . Sono interessato a quanto possiamo estendere questa osservazione.N P f e w PNPNPNPNPNPNPfewPfewPfewP Esiste un naturale completo di con limite superiore quasi polinomiale legato al numero …
Esiste , un linguaggio NP o P completo che ha una famiglia di gruppi di simmetria (o groupoid , ma poi le domande algoritmiche diventano più aperte) agendo (in tempo polinomiale) sugli insiemi tale che ci sono poche orbite, cioè tale che per abbastanza grande e qualche , e tale …
È menzionato in un commento in un altro post di cstheorySE che la completezza di PSPACE implica la durezza APX. Qualcuno può spiegare / condividere un riferimento per questo? È "stretto"? (vale a dire, ci sono problemi completi di PSPACE il cui problema di ottimizzazione ammette un'approssimazione costante dei fattori …
Il teorema di Rice afferma che ogni proprietà non banale dell'insieme riconosciuta da qualche macchina di Turing è indecidibile. Sto cercando un teorema di tipo Rice-teorico della complessità che ci dice quali proprietà non banali degli insiemi NP sono intrattabili.
Ecco il problema: Abbiamo un quadrato con alcuni numeri da 1..N in alcune celle. È necessario per determinare se può essere completato in un quadrato magico. Esempi: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 …
La domanda mi è venuta in mente quando ho ricevuto la risposta di Dana Moshkovitz a un altro argomento . Sia LLL un linguaggio NP e sia RLRLR_L la rispettiva relazione NP . Sappiamo che esiste un polinomio ppp tale che: ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} …
Supponiamo P NP.≠≠\ne Il teorema di Ladner afferma che ci sono problemi intermedi NP (problemi in NP che non sono né in P né NP-Complete). Ho trovato online alcuni riferimenti velati che suggeriscono (penso) che ci sono molti "livelli" di linguaggi reciprocamente riducibili all'interno di NPI che sicuramente non collassano …
In questi appunti di Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , si dice che non sappiamo se Euclidean TSP sia in NP: Il motivo è che non sappiamo come calcolare le radici quadrate in modo efficiente. D'altra parte c'è questo articolo di Papadimitriou: http://www.sciencedirect.com/science/article/pii/0304397577900123 che dice che è NP-completo, il che significa anche …
Esistono problemi NP completi (o anche NP-difficili, o NP) che hanno buone proprietà topologiche da studiare. I problemi NP hanno formulazioni teoriche del nodo? Conosciamo i risultati # sul polinomio di Jones. I problemi dei grafici (incorporamenti?), In particolare i colori dei grafici, possono avere buone proprietà teoriche sul nodo. …
Una proprietà del grafico viene chiamata ereditaria se chiusa rispetto all'eliminazione dei vertici (ovvero, tutti i sottografi indotti ereditano la proprietà). Una proprietà del grafico è chiamata additiva se è chiusa rispetto al prendere unioni disgiunte. Non è difficile trovare proprietà ereditarie, ma non additive. Due semplici esempi: \;\;\; (1) …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.