Scienza del computer complexity-theory

1

Mio libro di testo dice: "Definiamo la funzione f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} come segue: ed . Si noti che dato , abbiamo può facilmente trovare in tempo il numero tale che è inserita tra e ."f ( i + 1 ) = 2 f ( i ) 1.2 n O ( n …

10 complexity-theory algorithm-analysis nondeterminism

2

Fa

È NPNPNP con accesso Oracle per NPNPNP più grande di un semplice ? A quanto ho capito è solo una macchina di turing che può fare domande a un'altra macchina se così può simulare ? C'è qualcosa di sbagliato in questo argomento?NPNPNPNPNPNPNPNP^ {NP}NPNPNPNPNPNPNPNPNPNPNP^{NP}

10 complexity-theory

2

Qual è la complessità del calcolo del coefficiente di correlazione dei ranghi di Spearman?

Ho studiato il coefficiente di correlazione dei ranghi di Spearman .ρ = ∑io( xio- x¯) ( yio- y¯)Σio( xio- x¯)2Σio( yio- y¯)2-------------------√ρ=Σio(Xio-X¯)(yio-y¯)Σio(Xio-X¯)2Σio(yio-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} per due elenchi e . Qual è la complessitàX1, ... , xnX1,...,Xnx_1, \dots, x_ny1, ... , yny1,...,yny_1, \dots, y_n dell'algoritmo? Dato che …

10 complexity-theory time-complexity space-complexity

6

Esistono variazioni dei normali runtime della Big-O-Notation?

Esistono più OOO -Notations, come O(n)O(n)O(n) o O(n2)O(n2)O(n^2) e così via. Mi chiedevo se ci sono variazioni di quelli nella realtà come O(2n2)O(2n2)O(2n^2) o O(logn2)O(log⁡n2)O(\log n^2) , o se quelli sono matematicamente errati. O sarebbe giusto dire che è possibile migliorare una O(5n2)O(5n2)O(5n^2) a una O(3n2)O(3n2)O(3n^2) ? Non riesco e …

9 complexity-theory time-complexity optimization big-o-notation

2

Esistono problemi "O (1) completi"?

Molte classi di complessità hanno problemi "completi". Esistono problemi completi per la classe di complessità dei problemi che possono essere risolti in O(1)O(1)O(1) tempo? Una complicazione è che questa classe dipende dal modello di calcolo; un problema può essere risolto in un tempo in un modello di calcolo ragionevole ma …

9 complexity-theory time-complexity constant-time

1

Il trucco usato nella dimostrazione della doppia complessità esponenziale dell'aritmetica di Presburger

L'ho pubblicato su MathUnderflow ma non ho ricevuto risposte, quindi ho pensato di provarlo qui, Sto leggendo il vecchio documento di Rabin e Fischer [pubblicherò un link quando possibile] dove, tra le altre cose, è dimostrata la doppia complessità esponenziale dell'aritmetica di Presburger. La dimostrazione si basa sull'esistenza di una …

9 complexity-theory reference-request logic

2

Trova il punto centrale in un set di punti dello spazio metrico, in meno di

Ho un set di punti che sono definiti in uno spazio metrico, quindi posso misurare una 'distanza' tra i punti ma nient'altro. Voglio trovare il punto più centrale all'interno di questo set, che definisco il punto con la somma minima delle distanze da tutti gli altri punti. Il calcolo della …

9 complexity-theory computational-geometry lower-bounds search-problem

2

L'ordinamento dei numeri interi è possibile in O (n) nel modello transdicotomico?

Per quanto ne so, non esiste un algoritmo caso peggiore che risolva il seguente problema:O(n)O(n)O(n) Data una sequenza di lunghezza composta da numeri interi finiti, trova la permutazione in cui ogni elemento è minore o uguale al suo successore.nnn Ma c'è una prova che non esiste, nel modello di calcolo …

9 complexity-theory sorting computation-models lower-bounds

4

L'unicità degli elementi può essere risolta nel tempo lineare deterministico?

Considera il seguente problema: Input : elenca di numeri interiX,YX,YX,Y Obiettivo : determinare se esiste un numero intero presente in entrambi gli elenchi.xxx Supponiamo che entrambe le liste siano della dimensione n . Esiste un algoritmo deterministico a tempo lineare per questo problema? In altre parole, puoi risolvere questo problema …

9 algorithms complexity-theory lower-bounds

2

In che modo l'uso delle macchine Oracle Turing non porta a contraddizioni?

Come possiamo assicurarci di continuare a fare affermazioni valide e valide sulle classi di complessità quando utilizziamo oracle Turing Machines? Secondo la mia comprensione (basata sulle definizioni fornite nei libri di testo introduttivi sull'argomento), le macchine di Oracle Turing possono determinare lo stato di appartenenza di una stringa rispetto a …

9 complexity-theory oracle-machines

1

Se uno mostra che UNI-k-SAT è in P, implica P = NP?

Valiant & Vazirani hanno dimostrato che il SAT è riducibile a SAT UNICO con riduzioni probabilistiche randomizzate nel tempo polinomiale. Calabro et al . ha dimostrato che il K-SAT UNICO è duro quanto il k-SAT. Ora la domanda è: se qualcuno mostra che UNICO k-SAT è in P, implica P …

9 complexity-theory satisfiability p-vs-np

1

Qual è il nome del problema? (grafico di partizionamento in tre copertine)

Mi chiedevo se questo problema ha un nome: Dato un semplice grafico i cui bordi sono di colore rosso, blu e verde, , esiste una colorazione dei vertici tale che ogni bordo ha un endpoint con lo stesso colore?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Inoltre, questo è noto per essere NP-completo? Questo …

9 algorithms complexity-theory graphs satisfiability colorings

1

Distribuzioni di probabilità e complessità computazionale

Questa domanda riguarda l'intersezione della teoria della probabilità e della complessità computazionale. Un'osservazione chiave è che alcune distribuzioni sono più facili da generare rispetto ad altre. Ad esempio, il problema Dato un numero nnn , restituisce un numero uniformemente distribuito iii con 0≤i<n0≤i<n0 \leq i < n . è facile …

9 complexity-theory reference-request probability-theory probabilistic-algorithms

1

Quali sono gli isomorfismi appropriati tra i linguaggi formali?

Un linguaggio formale sopra un alfabeto è un sottoinsieme di , cioè un insieme di parole su quell'alfabeto. Due linguaggi formali e sono uguali, se gli insiemi corrispondenti sono estensivamente uguali a sottoinsiemi di . Si possono usare le lingue nella teoria della complessità per formalizzare il concetto di "problema". …

9 complexity-theory formal-languages reference-request

1

Sottoinsieme NTIME (f) di DSPACE (f)

Come afferma la domanda, come possiamo dimostrare che ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Qualcuno può indicarmi una prova o delinearla qui? Grazie!

9 complexity-theory time-complexity space-complexity

Domande taggate «complexity-theory»