Informatica teorica

1

I grafici del "genere delimitato dall'esterno" hanno una larghezza degli alberi costante?

Lascia che e denoti con l'insieme di tutti i grafici che possono essere incorporati su una superficie del genere tale che tutti i vertici siano situati sulla faccia esterna . Ad esempio, è l'insieme dei grafici del piano esterno. La larghezza degli alberi dei grafici in essere limitata da una …

12 graph-theory co.combinatorics parameterized-complexity graph-classes

2

Qual è l'ampiezza del percorso della griglia 3D (mesh o reticolo) con sidelength k?

Ho fatto questa domanda alcune settimane fa su mathoverflow , ma non ho ricevuto risposta. Qui, per griglia 3D di sidelength intendo il grafico G = ( V , E ) con V = { 1 , … , k } 3 ed E = { ( ( a , …

12 reference-request graph-theory co.combinatorics treewidth integer-lattice

2

Soluzioni massime minime di LP

La programmazione lineare è, ovviamente, al giorno d'oggi molto ben compresa. Abbiamo molto lavoro che caratterizza la struttura delle soluzioni fattibili e la struttura delle soluzioni ottimali. Abbiamo la forte dualità, algoritmi poli-tempo, ecc. Ma cosa si sa sulle soluzioni minime massime di LP? O, equivalentemente, soluzioni minime massime? (Questa …

12 cc.complexity-theory ds.algorithms reference-request linear-programming optimization

2

Qual è la relazione tra QMA e AM?

Ho letto in SP Giordano, D. Gosset, "PJ Amore problemi -Complete per Hamiltoniane stoquastic e matrici di MarkovQMAQMAQMA " che è improbabile che .QMA⊆AMQMA⊆AMQMA \subseteq AM Sono stato sorpreso da questa affermazione. Quindi qual è la relazione corretta tra e A M ?QMAQMAQMAAMAMAM

12 cc.complexity-theory complexity-classes quantum-computing interactive-proofs qma

1

Durezza tipica della decomposizione degli alberi?

La decomposizione degli alberi è difficile nel peggiore dei casi, ma il metodo avido sembra essere quasi ottimale su piccole reti nella vita reale. Si sa qualcosa sulla durezza della decomposizione dell'albero di un'istanza "tipica" di una classe di grafici? C'è un esempio di una famiglia di grafici in cui …

12 ds.algorithms graph-theory graph-algorithms treewidth

3

Un problema multi-taglio

Sto cercando un nome o qualsiasi riferimento a questo problema. Dato un grafico ponderato G = ( V, E, w )G=(V,E,w)G = (V, E, w) trova una partizione dei vertici fino a n = | V|n=|V|n = |V|imposta S1, ... , SnS1,…,SnS_1,\ldots,S_n modo da massimizzare il valore dei bordi tagliati: …

12 ds.algorithms reference-request approximation-algorithms max-cut

10

Risorse per conoscere il problema P vs. NP

Di recente mi è stato ricordato il problema vs. N P , come spiegato da Stephen A. Cook sul Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Ha suscitato il mio interesse e vorrei saperne di più. Il primo passo sarebbe ottenere una comprensione più profonda del problema e una comprensione dell'area in generale. …

12 cc.complexity-theory reference-request survey books p-vs-np

3

Quali sono i problemi con il miglior rapporto di approssimazione raggiunto dall'algoritmo che restituisce una soluzione uniformemente casuale?

Quali sono i problemi con il rapporto di approssimazione più noto raggiunto da un algoritmo che restituisce una soluzione uniformemente casuale? Conosco uno di questi esempi per il problema del negozio di flusso di permutazione : nel documento " Limiti rigorosi per la pianificazione dei negozi di flusso di permutazione …

12 ds.algorithms reference-request approximation-algorithms

2

Complessità nel conteggio di tutti i sottografi collegati

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 …

12 cc.complexity-theory graph-theory counting-complexity

2

Cosa succede se proviamo ad estrarre un testimone ma in realtà non esiste da un termine di tipo esistenziale?

Dato un termine t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))nella teoria dei tipi di Martin-Lof, qual è il valore w(t(0)), dov'è wl'operatore che estrae la testimonianza di un termine di tipo esistenziale?

12 lo.logic type-theory proof-theory

1

Polinomi espliciti in 1 variabile con limiti inferiori della complessità del circuito superlogaritmico?

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 …

12 cc.complexity-theory circuit-complexity polynomials algebraic-complexity

2

Problemi che sono decidibili ma non possono essere verificati in tempo polinomiale

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 …

12 cc.complexity-theory complexity-classes

1

Operazioni quantistiche del gruppo Clifford e calcolo classico

Il gruppo Clifford di operatori quantistici è generato dalle operazioni quantistiche: Controlled-Z , Hadamard e Fase ( ).= | 0 ⟩ ⟨ 0 | + i | 1 ⟩ ⟨ 1 |=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Un circuito composto solo da queste porte può essere simulato in modo efficiente su …

12 quantum-computing

1

Condizioni per la rintracciabilità di 3SAT-Satisfiability

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 …

12 cc.complexity-theory ds.algorithms sat np

1

I risultati della relativizzazione possono essere usati per dimostrare frasi formalmente indipendenti?

È possibile dimostrare che una frase deve essere formalmente indipendente in base al fatto che non è relativizzante? In altre parole, ci sono esempi di frasi nella teoria della computabilità / complessità in cui si può dimostrare sia a) che tutte le prove che risolvono la questione se due classi …

12 lo.logic relativization