Scienza del computer complexity-theory

3

Perché usare le lingue nella teoria della complessità

Sto appena iniziando ad entrare nella teoria del calcolo, che studia cosa può essere calcolato, quanto velocemente, usando quanta memoria e con quale modello computazionale. Ho una domanda piuttosto semplice, ma spero davvero che alcuni di voi ragazzi possano aiutarmi a capire il concetto alla base: Perché tutto è incentrato …

10 complexity-theory formal-languages

2

Possiamo costruire una riduzione del Karp da una riduzione di Cook tra problemi NP?

Abbiamo avuto diverse domande sulla relazione tra le riduzioni di Cook e Karp . È chiaro che le riduzioni di Cook (riduzioni di Turing a tempo polinomiale) non definiscono la stessa nozione di completezza NP delle riduzioni di Karp (riduzioni a tempo multiplo di polinomio), che di solito vengono utilizzate. …

10 complexity-theory reference-request np-complete reductions

1

Un modo semplice per dimostrare che questo algoritmo alla fine termina

Introduzione e notazioni: Ecco una nuova e semplice versione del mio algoritmo che sembra terminare (secondo i miei esperimenti), e ora vorrei dimostrarlo. Lascia che la notazione riferisca a un punto dati p dimensionale (un vettore). Ho tre set A, B e C, tali che | A | = n …

10 algorithms complexity-theory algorithm-analysis optimization

1

Mostrando che la minima eliminazione del vertice in un grafico bipartito è NP-completa

Considera il seguente problema la cui istanza di input è un semplice grafico e un intero naturale k .solGGKkk Esiste un insieme tale che G - S è bipartito e | S | ≤ k ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S| ≤k|S|≤k|S| \leq k Vorrei …

10 complexity-theory np-complete reductions

1

Intuizione alla base della relativizzazione

Prendo corso sulla complessità computazionale. Il mio problema è che non capisco il metodo di relativizzazione . Ho cercato di trovare un po 'di intuizione in molti libri di testo, sfortunatamente, finora senza successo. Apprezzerò se qualcuno potesse far luce su questo argomento in modo che io possa continuare da …

10 complexity-theory np-complete complexity-classes relativization np

1

Matematica per TCS major

Sto cercando una specializzazione in Teorica Informatica; in particolare, sono interessato alla teoria della complessità e alla teoria degli automi probabilistici. Mentre mi sto laureando in un anno, quali corsi avanzati di matematica (come la teoria di Galois o l'analisi armonica, per esempio) pensi che sarebbe utile prendere in carico …

10 complexity-theory automata education

2

Complessità informatica

Qual è la complessità dell'informatica ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory integers number-theory

1

Dimostra che una funzione booleana calcolabile in T (n) da una macchina RAM è in DTIME (T (n) ^ 2)

La domanda è l'esercizio 1.9 del libro Compora complessità computazionale di Arora-Barak : un approccio moderno : Definire una macchina di Turing RAM come macchina di Turing con memoria ad accesso casuale. Formalizziamo questo come segue: La macchina ha un array infinito A che è inizializzato su tutti gli spazi. …

10 complexity-theory turing-machines machine-models simulation

3

Le isole di collegamento con i pontoni NP sono complete?

Ho un problema nella mia mente, penso che sia un problema NPC ma non so come dimostrarlo. Ecco il problema: Ci sono k isole in un lago molto grande e ci sono n pontoni a forma di ventaglio. Quei pontoni hanno le stesse dimensioni ma hanno direzioni iniziali diverse e …

10 complexity-theory np-complete np-hard

2

NP-completezza di un problema di colorazione del grafico

Formulazione alternativa Ho trovato una formulazione alternativa al problema seguente. La formulazione alternativa è in realtà un caso speciale del seguente problema e utilizza grafici bipartiti per descrivere il problema. Tuttavia, credo che la formulazione alternativa sia ancora NP-difficile. La formulazione alternativa utilizza un insieme disgiunto di nodi in entrata …

10 complexity-theory graphs graph-theory np-complete

1

Come provare che una versione vincolata di 3SAT in cui nessun letterale può verificarsi più di una volta, è risolvibile in tempo polinomiale?

Sto cercando di elaborare un compito (tratto dal libro Algorithms - di S. Dasgupta, CH Papadimitriou e UV Vazirani , Cap 8, problema 8.6a), e sto parafrasando quello che afferma: Dato che 3SAT rimane NP-completo anche se limitato alle formule in cui ogni letterale appare al massimo due volte, mostra …

10 complexity-theory satisfiability 3-sat

3

Tutti i problemi NP si riducono a problemi NP-completi: quindi come possono i problemi NP non essere completi?

Il mio libro afferma questo Se un problema decisionale B è in P e A si riduce a B, il problema decisionale A è in P. Un problema decisionale B è NP completo se B è in NP e per ogni problema in A in NP, A si riduce a …

10 complexity-theory np-complete decision-problem

1

Perché P e P / poly non sono banalmente la stessa cosa?

La definizione di P è un linguaggio che può essere deciso da un algoritmo temporale polinomiale. La definizione di P / poly può essere intesa come un linguaggio che può essere deciso da un circuito di dimensioni polinomiali (vedi http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Ora, perché non è possibile simulare un circuito di …

10 complexity-theory time-complexity circuits

4

Una lingua in NSPACE (O (n)) e molto probabilmente non in DSPACE (O (n))

In realtà ho scoperto che l'insieme delle lingue sensibili al contesto, ( lingue accettate) non sono così ampiamente discusse come (lingue normali) o \ mathbf {CFL} (lingue senza contesto). E anche il problema aperto \ mathbf {DSPACE (O (n))} = ^ {?} \ Mathbf {NSPACE (O (n))} non è così …

10 complexity-theory np-complete space-complexity context-sensitive

2

Complessità di unione-ricerca con path-compressione, senza rango

Wikipedia afferma che l'unione per grado senza compressione del percorso fornisce una complessità temporale ammortizzata di e che sia l'unione per grado che la compressione del percorso danno una complessità temporale ammortizzata di (dove è il inverso della funzione di Ackerman). Tuttavia, non menziona il tempo di esecuzione della compressione …

10 complexity-theory time-complexity union-find

Domande taggate «complexity-theory»