Informatica teorica cc.complexity-theory

2

Questa domanda è stata migrata dallo Scambio di stack di Informatica perché è possibile rispondere a Scambio di stack di Informatica teorica. Migrato 6 anni fa . Sembra che molte persone credano che , in parte perché credono che il factoring non sia risolvibile con il tempo di polimerizzazione. (Shiva …

27 cc.complexity-theory np conditional-results

5

È una regola che i problemi discreti sono NP-difficili e i problemi continui non lo sono?

Nella mia educazione informatica, noto sempre più che i problemi più discreti sono NP-completi (almeno), mentre l'ottimizzazione dei problemi continui è quasi sempre facilmente realizzabile, di solito attraverso tecniche di gradiente. Ci sono eccezioni a questo?

27 cc.complexity-theory co.combinatorics optimization

3

Una nozione di circuiti quantistici monotoni

Nella complessità computazionale esiste un'importante distinzione tra calcoli monotone e generali e un famoso teorema di Razborov afferma che 3-SAT e persino MATCHING non sono polinomiali nel modello monotono dei circuiti booleani. La mia domanda è semplice: esiste un analogo quantico per circuiti monotone (o più di uno)? Esiste un …

27 cc.complexity-theory quantum-computing circuit-complexity

2

Decidere se un NC

Vorrei porre un caso speciale sulla domanda " Decidere se un determinato circuito NC 0 calcola una permutazione " di QiCheng che è stata lasciata senza risposta. Un circuito booleano viene chiamato circuito NC 0 k se ciascuna porta di uscita dipende sintatticamente dalla maggior parte delle k porte di …

27 cc.complexity-theory open-problem permutations circuit-families

2

Teorema di Ladner vs. Teorema di Schaefer

Durante la lettura dell'articolo "È tempo di dichiarare la vittoria nel contare la complessità?" nel blog "Godel's Lost Letter e P = NP" , hanno menzionato la dicotomia per CSP. Dopo aver seguito alcuni link, googling e wikipeding, mi sono imbattuto nel teorema di Ladner : Teorema di Ladner: Se …

27 cc.complexity-theory np-hardness complexity-classes sat csp

1

Decidere se un dato calcola una permutazione

Qual è la complessità nel decidere se un con bit di input e bit di output calcola una permutazione di ? in altre parole, se ogni stringa di bit in è un'uscita del circuito per un certo ingresso? Sembra un problema che è stato studiato, ma non riesco a trovare …

27 cc.complexity-theory circuit-complexity permutations

2

Complessità delle proprietà topologiche.

Sono uno scienziato informatico che frequenta un corso di topologia (una spolverata di topologia a punti fortemente influenzata dalla teoria del continuum). Mi sono interessato a problemi di decisione testando una descrizione di uno spazio (per mezzo di semplici) per proprietà topologiche; quelli preservati fino all'omeomorfismo. È noto, ad esempio, …

27 cc.complexity-theory big-list topology

2

Problemi NP-intermedi con soluzioni quantistiche efficienti

Peter Shor ha mostrato che due dei più importanti problemi NP-intermedi, il factoring e il problema dei log discreti, sono in BQP. Al contrario, l'algoritmo quantistico più noto per SAT (ricerca di Grover) produce solo un miglioramento quadratico rispetto all'algoritmo classico, suggerendo che i problemi NP-completi sono ancora intrattabili su …

27 cc.complexity-theory quantum-computing np np-intermediate

3

Decidi se il kernel di una matrice contiene un vettore diverso da zero, tutte le cui voci sono -1, 0 o 1

Dato un da matrice binaria (le voci sono o ), il problema è determinare se esistono due vettori binari tali che (tutte le operazioni eseguite su ). Questo problema è NP-difficile?n M 0 1 v 1 ≠ v 2 M v 1 = M v 2 ZmmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = …

27 cc.complexity-theory np-hardness linear-algebra

2

Quali sono le conseguenze di Parity-L = P?

Parity-L è 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) e che è ulteriormente limitato al lavoro nello spazio …

27 cc.complexity-theory complexity-classes conditional-results

2

Problema di conteggio approssimativo durante l'acquisizione di BQP

Nel modello a scatola nera, il problema di determinare l'output di una macchina BPP sull'ingresso è il problema di conteggio approssimativo della determinazione di con errore additivo 1/3 (diciamo).x E r M ( x , r )M( x , r )M(x,r)M(x,r)XxxErM( x , r )ErM(x,r)E_r M(x,r) C'è un problema simile …

27 cc.complexity-theory quantum-computing black-box

6

Come vengono specificati i numeri reali nel calcolo?

Questa potrebbe essere una domanda di base, ma ho letto e cercato di capire documenti su argomenti come il calcolo dell'equilibrio di Nash e il test di degenerazione lineare e non sono sicuro di come i numeri reali siano specificati come input. Ad esempio, quando si afferma che LDT ha …

27 cc.complexity-theory computability na.numerical-analysis computing-over-reals computable-analysis

3

Esiste un candidato per un problema naturale in

Voglio sapere se la non uniformità aiuta nella pratica le funzioni di calcolo. È facile mostrare che ci sono funzioni in , prendere qualsiasi funzione ineccepibile f e considerare la lingua { 0 f ( n ) : n ∈ ω }, che ha chiaramente semplici circuiti non uniformi, ma …

27 cc.complexity-theory uniformity

6

Quali problemi SAT sono facili?

Quali sono le "regioni facili" per la soddisfacibilità? In altre parole, condizioni sufficienti per un risolutore SAT per essere in grado di trovare un compito soddisfacente, supponendo che esista. Un esempio è quando ogni clausola condivide le variabili con poche altre clausole, a causa di prove costruttive di LLL, altri …

27 cc.complexity-theory sat

1

Complessità della potenza della matrice

Sia una matrice di numeri interi quadrati e sia un numero intero positivo. Sono interessato alla complessità del seguente problema decisionale:MMMnnn L'entrata in alto a destra di positiva?MnMnM^n Si noti che l'approccio ovvio della quadratura iterata (o di qualsiasi altro calcolo esplicito) richiede che gestiamo potenzialmente numeri interi di grandezza …

26 cc.complexity-theory linear-algebra matrices

Domande taggate «cc.complexity-theory»