Lascia che G sia un grafico collegato. Qual è la complessità del conteggio di tutti i sottografi collegati se G è dei seguenti tipi? G è generale. G è planare. G è bipartito. Non mi interessa nessuna struttura o ..., ho solo bisogno di contare tutti i sottografi collegati! Sono …
Contando gli argomenti, si può dimostrare che esistono polinomi di grado n in 1 variabile (cioè qualcosa della forma che hanno complessità del circuito n. Inoltre, si può dimostrare che un polinomio come richiede almeno moltiplicazioni (è necessario solo per ottenere un grado abbastanza alto). Ci sono esempi espliciti di …
Mentre stavo lavorando a un progetto in qualche modo non correlato per Suresh, di recente mi sono imbattuto in un lavoro svolto da Page e Opper sui sistemi componibili dall'utente e una parte del loro lavoro ha discusso brevemente di problemi che non possono essere verificati in tempo polinomiale. Non …
Quello che mi chiedo in particolare è se esiste una condizione interessante sulla percentuale di incarichi che soddisfano una formula 3SAT per garantire che tali problemi siano trattabili. Supponiamo ad esempio la classe di problemi 3SAT che delle 2 n possibili assegnazioni soddisfano la formula booleana; possiamo trovare in modo …
Il risultato Baker-Gill-Solovay ha mostrato che la domanda P = NP non si relativizza, nel senso che nessuna prova relativizzante (insensibile alla presenza di un oracolo) può eventualmente risolvere la domanda P = NP. La mia domanda è: esiste un risultato simile per la domanda "Esiste un problema di PH …
Ancora una volta un problema di partizionamento di cui sono curiosa la complessità, motivata da una mia precedente domanda . Input: un grafico cubico G=(V,E)G=(V,E)G=(V,E) Domanda: esiste una partizione di in E 1 , E 2 , ... , E s , in modo tale che il sottografo indotto da …
Di http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se è un linguaggio completo di PSPACE, .P A = N P AUNAAPUN= NPUNPA=NPAP^{A}=NP^{A} Se è un oracolo del tempo polinomiale deterministico, (assumendo ).P B ≠ N P B P ≠ N PBBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP # P P ⊆ P P ⊆ P S P A …
Una formulazione equivalente del teorema di PCP è: per Max 3-SAT è -hard distinguere tra formule e formule soddisfacenti dove al massimo la r -frazione delle clausole è soddisfacente (per alcuni r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Esiste un teorema di dicotomia noto che classifica tutti i CSP Max in base …
Sia { 0 , . . . , N - 1 } e ∘ : S × S → S . Voglio calcolare la complessità della comunicazione nel decidere se ∘ è associativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow …
La carta Lauri Hella e José María Turull-Torres, Query di calcolo con logiche di ordine superiore , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propone la logica VO, la logica di ordine variabile. Ciò consente la quantificazione degli ordini rispetto alle variabili. VO è abbastanza potente e può esprimere …
Quali altri problemi linguaggi diversi dall'isomorfismo grafico sono in ? Puoi darci dei riferimenti?NP∩coAMNP∩coAMNP\cap coAM Aggiornamento: Ho dimenticato di dire che mi interessa in lingue non conosciute per essere in .coNPcoNPcoNP
Quali sono i problemi standard che possiamo ridurre per dimostrare limiti inferiori?Ω ( n logn )Ω(nlogn)\Omega(n\log n) Naturalmente, problemi di stato diversi dall'ordinamento e dalla distinzione degli elementi.
Sto leggendo la prova da qui e mi sono imbattuto in un problema tecnico (ma cruciale). So che questo è piuttosto specifico e il contesto è problematico, ma non sono riuscito a capirlo da solo. Nelle pagine 51 e 55, dopo aver presentato i verificatori "standard", si alternano per modificare …
Un'osservazione semplice è che se un problema è decidibile da un programma non deterministico in tempo polinomiale che usa bit non deterministici (cioè, tutti i testimoni sono di lunghezza logaritmica), allora .AAAO(logn)O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Se uno si pone quindi la domanda "È più facile verificare un testimone che trovarlo?" …
Quali sono alcune affermazioni (non ben note) secondo cui, se vero, il PH deve collassare? Sono apprezzate le risposte contenenti una breve asserzione di alto livello con riferimento (i). Ho provato a cercare indietro senza molta fortuna.
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.